The Coq mailing list

[Stephan Merz <stephan.merz AT loria.fr>]

Some Coq users may be interested in the following summer school. Note that 
participation is free of charge.

Best regards,
Stephan

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

Attachment: smime.p7s
Description: S/MIME cryptographic signature