Email Gateway (Aug 22 2022 at 10:19): Email Gateway (Aug 22 2022 at 10:19):From: Stephan Merz <stephan.merz@loria.fr>
======================================================
Summer School on Verification Technology, Systems, and Applications
August 24-28, 2015,
University Koblenz-Landau, Koblenz, Germany
======================================================
The summer school Verification Technology, Systems, and Applications
(VTSA 2015) will be organized from August 24-28, 2015 at the
University Koblenz-Landau, Koblenz, Germany.
This is the eighth edition of a yearly school organized by Inria Nancy,
Max-Planck-Institut für Informatik Saarbrücken, Université de Liège,
Université du Luxembourg and this year also Universität Koblenz-Landau.
The following lecturers have agreed to give courses at VTSA 2015:
Bernhard Beckert:
Deductive Verification of Object-Oriented Software
Stephanie Delaune:
Verification of Security Protocols: from Confidentiality to Privacy- Alberto Griggio:
Exploiting SMT for Verification of Infinite-State Systems
Tobias Schubert:
SAT-based Approaches for Test and Verification of Integrated Circuits
Mihaela Sighireanu:
Modelling, Specification and Formal Analysis of Complex Software Systems
Participation to the school is free to anybody holding at least a bachelor
degree or equivalent; it includes the lectures, daily coffee and lunchbreaks,
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 the participant's interest in the
school and any experience in the area, and
a copy of the participant's bachelor certificate
(or equivalent or a more significant certificate)
The deadline for application is July 17, 2015.
Notification of acceptance will be given by July 24, 2015.
Full details are available at http://www.mpi-inf.mpg.de/vtsa15/.
smime.p7s
Last updated: Nov 21 2024 at 12:39 UTC