======================================================
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/.
------------------------------------------------------------------------------
Monitor 25 network devices or servers for free with OpManager!
OpManager is web-based network management software that monitors
network devices and physical & virtual servers, alerts via email & sms
for fault. Monitor 25 devices for free with no restriction. Download now
http://ad.doubleclick.net/ddm/clk/292181274;119417398;o
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
