[TYPES/announce] VTSA summer school: call for applications

[Stephan Merz]

The following summer school may be of interest to members of the Types community. 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/.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 1898 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150624/cb900d4c/attachment.p7s>