====================================================== 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 - a one-page CV, - 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/.
Description: S/MIME cryptographic signature