The Coq mailing list

[geoff AT cs.miami.edu (Geoff Sutcliffe)]

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


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

The 10th edition of the Summer School on Verification Technology, Systems and 
Applications (VTSA) will be organized by the Max-Planck-Institut für 
Informatik Saarbrücken in cooperation with the University of Liège, Inria 
Nancy - Grand Est, and the Université du Luxembourg.  The school will take 
place from July 31st to August 4th, 2017 on Saarland Informatics Campus, 
Saarbrücken, Germany. The following speakers have accepted to give courses 
at VTSA 2017: 

- Rajeev Alur: Syntax-Guided Synthesis & Quantitative Policies over Streaming 
Data 

- Christel Baier: Probabilistic Model Checking 

- Hoon Hong: Symbolic Computation (Quantifier Elimination) 

- Andrew Reynolds: SMT Solvers for Verification and Synthesis 

- Thomas Wies: Introduction to Permission-Based Program Logics 

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 and lunchbreaks, and a school dinner. 
There is a limited number of free shared rooms on campus available for 
distribution by the selection committee. Please express your interest with 
your application. Attendance is limited to 40 participants.  Please apply 
electronically by sending to 
fkunze 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. 

The deadline for application is June 1st, 2017. Notification of acceptance 
will 
be given by June 15th, 2017. 

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

The school is synchronized with the SC2 Summer School 2017, happening at the 
same time in the same place: http://www.sc-square.org/CSA/school/index.html