==================================================================
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 jmuel...@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/
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
