[SMT-LIB] Summer School VTSA: 24-28 August 2015, Koblenz

[Viorica Sofronie-Stokkermans]

======================================================
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 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

- 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/.