Email Gateway (Aug 22 2022 at 17:33): Email Gateway (Aug 22 2022 at 17:33):From: Peter Lammich <lammich@in.tum.de>
UniGR Summer School on Verification Technology, Systems and
Applications (VTSA 2018)
August 27-31, 2018, Nancy, France
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:
Jean-Christophe Filliâtre: An Introduction to Deductive Program
Verification
Peter Lammich: Algorithm Verification with the Isabelle Refinement
Framework
Anca Muscholl: Distributed Synthesis
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 (stephan.merz@loria.fr) including
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.
The deadline for application is July 8, 2018. Notification of
acceptance will be given by July 11, 2018.
Full details can be found on the school Web page at https://www.mpi-inf
.mpg.de/vtsa18.
Email Gateway (Aug 22 2022 at 17:33):From: Stephan Merz <stephan.merz@loria.fr>
UniGR Summer School on Verification Technology, Systems and Applications (VTSA 2018)
August 27-31, 2018, Nancy, France
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:
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 (stephan.merz@loria.fr) including
The deadline for application is July 8, 2018. Notification of acceptance will be given by July 11, 2018.
Full details can be found on the school Web page at https://www.mpi-inf.mpg.de/vtsa18.
Email Gateway (Aug 22 2022 at 17:48):From: Stephan Merz <stephan.merz@loria.fr>
Although the deadline for application has passed, a few places remain available. If you are interested, please send the indicated documents to stephan.merz@loria.fr <mailto:stephan.merz@loria.fr>: registrations remain possible until the remaining slots have been filled.
Thank you,
Stephan Merz
Last updated: Apr 25 2024 at 08:20 UTC