Verification of Concurrent Systems Summer School
Aim & Focus Areas
Concurrency is an ever-increasing trend in designing and implementing computer systems. However, their analysis is notoriously challenging due to the combinatorial explosion of their state-spaces. Ad-hoc and manual techniques come short of making any substantial claim regarding quality and correctness of such systems. This school addresses this challenge by presenting a rigorous and expressive modeling framework for specifying such systems and an arsenal of verification techniques to efficiently verify their correctness. We report on several case studies where these techniques have been effectively applied and how they have affected the quality of concurrent and communicating system designs.
Target Audience
The course is intended for graduate students in Computer Science and Engineering and related fields. The course does not assume much prior knowledge apart from some basic affinity with logic and discrete mathematics.
Organizers:
- MohammadReza Mousavi
- Mohammad Morovati
- Maryam Hejazinia
Dates: August 8-10, 2017
Venue: The International Trade Summer School will be held at Khatam University located at Hakim Azam Street in Vanak.
Registration: Registration is Mandatory and you must register by Thursday August 3rd 8:00pm to reserve your space. To maintain the interactive and intimate nature of the program, we have very limited space and there will be a selection process. The registration fee is $200 but we offer scholarships for qualified applicants. If you are interested in attending the summer school go to: