<tt><font size=2>Summer School on Verification Technology, Systems &
Applications</font></tt>
<br><a href="http://www.mpi-inf.mpg.de/vtsa16/"><tt><font size=2>http://www.mpi-inf.mpg.de/vtsa16/</font></tt></a>
<br>
<br><tt><font size=2>The 9th edition of the Summer School on Verification
Technology,</font></tt>
<br><tt><font size=2>Systems and Applications (VTSA) will be organized
by the University of</font></tt>
<br><tt><font size=2>Liège, in cooperation with Inria Nancy - Grand Est,
Max-Planck-Institut</font></tt>
<br><tt><font size=2>für Informatik Saarbrücken, Université du Luxembourg,
and Universität</font></tt>
<br><tt><font size=2>Koblenz-Landau. The school will take place from August
29th to</font></tt>
<br><tt><font size=2>September 2nd, 2016 at the Montefiore Institute in
Liège, Belgium.</font></tt>
<br>
<br><tt><font size=2>The following speakers have accepted to give courses
at VTSA 2016:</font></tt>
<br>
<br><tt><font size=2>- Hubert Comon:  Communication security: Formal
models and proofs</font></tt>
<br>
<br><tt><font size=2>- Thomas Eiter:  Answer set programming and extensions</font></tt>
<br>
<br><tt><font size=2>- Jean Krivine:  Executable knowledge representation
in systems</font></tt>
<br><tt><font size=2>  biology: The rule-based approach</font></tt>
<br>
<br><tt><font size=2>- Tobias Nipkow: Introduction to interactive proof
with Isabelle/HOL</font></tt>
<br>
<br><tt><font size=2>- Ruzica Piskac: SMT-based verification of heap-manipulating
Programs</font></tt>
<br>
<br><tt><font size=2>Participation is free (except for travel and accommodation
costs) and</font></tt>
<br><tt><font size=2>open to anybody holding at least a bachelor degree
or equivalent in</font></tt>
<br><tt><font size=2>computer science; it includes the lectures, daily
coffee and lunchbreaks, </font></tt>
<br><tt><font size=2>and a school dinner. Attendance is limited to 40 participants.
</font></tt>
<br><tt><font size=2>Please apply electronically by sending to vtsa16@montefiore.ulg.ac.be:</font></tt>
<br>
<br><tt><font size=2>- a one-page CV,</font></tt>
<br>
<br><tt><font size=2>- an application letter explaining your interest in
the school and</font></tt>
<br><tt><font size=2> your experience in the area,</font></tt>
<br>
<br><tt><font size=2>- a copy of your bachelor certificate (or equivalent
or a more significant</font></tt>
<br><tt><font size=2>certificate).</font></tt>
<br>
<br><tt><font size=2>The deadline for application is July 19th, 2016. Notification
of</font></tt>
<br><tt><font size=2>acceptance will be given by July 20th, 2016.</font></tt>
<br>
<br><tt><font size=2>Full details are available at </font></tt><a href="http://www.mpi-inf.mpg.de/vtsa16/"><tt><font size=2>http://www.mpi-inf.mpg.de/vtsa16/</font></tt></a>