[Om-announce] 14th International Summer School on Verification Technology, Systems & Applications

[geoff at cs.miami.edu]

================================================================== 
              First Call for Participation 


          14th International Summer School on 
    Verification Technology, Systems & Applications 
           http://www.mpi-inf.mpg.de/vtsa22/ 

The 14th edition of the Summer School on Verification Technology, 
Systems and Applications (VTSA) will be organized by the 
Max-Planck-Institute for Informatics Saarbruecken in cooperation 
with the University of Liege, Inria Nancy - Grand Est, and the 
University of Luxembourg. The school will take place from 
September 5th to September 9th, 2022 on Saarland Informatics Campus, 
Saarbruecken, Germany. The summer school is a joint event with 
EuroProfNet, COST action CA20111, see https://europroofnet.github.io/. 
The following speakers have accepted to give courses at VTSA 2022: 

- Frederic Blanqui: Interoperability of Proof Systems 

- Carsten Fuhs: Automated Termination and Complexity Analysis of Programs 

- Andre Platzer: Logic of Autonomous Dynamical Systems 

- Philipp Ruemmer: Solving Constraints with Complex String Operations 

- Martina seidl: Reasoning with Quantified Boolean Formulas 

Participation is free (except for travel and accommodation costs) 
and open to anybody holding at least a bachelor degree or equivalent 
in computer science. It includes the lectures, daily coffee breaks 
and lunches as well as a school dinner. EuroProofNet will refund 
the travel and accommodation of a number of participants. Please 
express your interest with your application. Attendance is limited 
to 40 participants. Please apply electronically by sending 
to jmueller at mpi-inf.mpg.de: 

- a one-page CV, 

- an application letter explaining your interest in the school and your 
  experience in the area, 

- a copy of your bachelor certificate (or equivalent or a more significant 
  certificate), 

- a short statement if you want to contribute to the student sessions 

- an indication whether you ask EuroProofNet to refund your travel 
and accommodation (please include your country, university, age and 
gender as well as your arrival and departure dates and provide an 
estimate in euros of your transportation costs to Saarbruecken). 

The deadline for application is July 20th, 2022. Notification of 
acceptance will be given by July 22nd, 2022. 

Full details are available at http://www.mpi-inf.mpg.de/vtsa22/