The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organized by Inria Nancy, the Max-Planck-Institut für Informatik in Saarbrücken, and the Universities of Liège and of Luxembourg, and will take place at the research center Inria Nancy – Grand Est in Nancy, France, from August 27 to 31, 2018.
The following speakers have agreed to lecture at the school:
- David Basin: Formal Methods for Security Protocols
- Jean-Christophe Filliâtre: An Introduction to Deductive Program Verification
- Peter Lammich: Algorithm Verification with the Isabelle Refinement Framework
- Anca Muscholl: Distributed Synthesis
- Carsten Sinz: Bounded Model Checking of Software for Real-World Applications
Participation to the school is free to anybody holding at least a bachelor degree or equivalent; it includes the lectures, coffee and lunch breaks, and a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to Stephan Merz including
- a one-page CV,
- an application letter explaining your interest in the school and your experience in the area, and
- a copy of your bachelor (or equivalent or higher) certificate.
Full details can be found on the school Web page