DEADLINE 22 July - Summer School 2011: Verification Technology, Systems & Applications, Liège, Belgium, 19 - 23 September

by **sergio** Mon 20 Jun 2011, 10:24

Summer School 2011:
VTSA 2011 - Verification Technology, Systems & Applications
Liège, Belgium
19 - 23 September

The summer school on verification technology, systems & applications takes place at the Montefiore Institute (University of Liège) from September, 19th-23th, 2011. We believe that all three aspects verification technology, systems & applications strongly depend on each other and that progress in the area of formal analysis and verifiation can only be made if all three aspects are considered as a whole. Our five speakers tbd stand for this view in that they represent and will present a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems.

Topics
- The Rewriting Approach to Decision Procedures
- Automatic Symbolic Analysis of Access Control Policies
- Reasoning in Description Logics
- Automatic Verification of Security Protocols: the verifier ProVerif
- Tree automata techniques for the verification of infinite state-systems
- Verification and Abstraction of Continuous-Time Markov Models

The number of participants in the school is limited to 40. We expect participants to hold a bachelor (or higher) degree in computer science (or equivalent) and to have basic knowledge in propositional and first-order logic.

The summer school is free of charge. It includes the lectures, daily coffee breaks and lunches and the special summer school dinner on Wednesday. Participants take travel, accomodation and daily living costs on their own.

Application until the 22nd of July, 2011.

For further information, please visit the Summer School's website