31 Jul - 4 Aug 2017
Saarbruecken, Germany
===============================================================================
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@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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam