Email Gateway (Aug 19 2022 at 14:26): Email Gateway (Aug 19 2022 at 14:26):From: Stephan Merz <Stephan.Merz@loria.fr>
Summer School on Verification Technology, Systems and Applications
October 27-31, 2014, University of Luxembourg, Luxembourg
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
organised by the Universities of Liège and of Luxembourg, the
Max-Planck-Institut für Informatik in Saarbrücken, and the Inria
Research Center in Nancy, and will take place at the Interdisciplinary
Centre for Security, Reliability and Trust in University of
Luxembourg, Luxembourg from October 27-31, 2014. This year it is a
co-located event with ICFEM 2014, which will be held in Luxembourg
from November 3-7, 2014. PhD students can apply for scholarships in order
to attend the conference ICFEM 2014 as well. More details will be
available on the following website icfem2014.uni.lu.
The following speakers have agreed to lecture at the school:
Joel Ouaknine: A Survey of Program Termination: Practical and
Theoretical Challenges
Jaco van de Pol: Scalable Multi-core Model Checking: Technology &
Applications of Brute Force
Helmut Veith: Model Checking of Fault-Tolerant Distributed Algorithms
Participation to the school is free to anybody holding at least a
bachelor degree or equivalent; it includes the lectures, daily coffee
and lunch breaks, and a school dinner. Attendance is limited to 40
participants. Please apply electronically by sending an email to Eugen
Denerz (edenerz_AT_mpi-inf.mpg.de) 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 September 05, 2014. Notification of
acceptance will be given by September 12, 2014.
Full details can be found on the school Web page at
http://www.mpi-inf.mpg.de/VTSA14/.
Last updated: Nov 21 2024 at 12:39 UTC