[Om-announce] Summer School on Verification Technology
Geoff Sutcliffe
geoff at cs.miami.edu
Mon Apr 10 19:24:35 CEST 2017
===============================================================================
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
More information about the Om-announce
mailing list