<tt><font size=2>[Apologies for multiple copies of this announcement]
</font></tt>
<br>
<br><tt><font size=2>------------------------------------------------------------------------------</font></tt>
<br><tt><font size=2>VTSA 2012 - Summer School on Verification Technology,
Systems & Applications</font></tt>
<br><tt><font size=2>          Max Planck Institute
for Informatics, Saarbruecken, Germany</font></tt>
<br><tt><font size=2>               
          September 03-07, 2012</font></tt>
<br><tt><font size=2>             </font></tt>
<br><tt><font size=2>               
    </font></tt><a href="http://www.mpi-inf.mpg.de/VTSA12/"><tt><font size=2>http://www.mpi-inf.mpg.de/VTSA12/</font></tt></a>
<br><tt><font size=2>             </font></tt>
<br><tt><font size=2>               
         Call for Participation</font></tt>
<br><tt><font size=2>------------------------------------------------------------------------------
</font></tt>
<br>
<br><tt><font size=2>The summer school on verification technology, systems
and applications </font></tt>
<br><tt><font size=2>happens this year at the Max Planck Institute for
Informatics. </font></tt>
<br><tt><font size=2>The school will take place from September 3rd to 7th,
2012. </font></tt>
<br>
<br><tt><font size=2>The following speakers have accepted to give courses:
</font></tt>
<br>
<br><tt><font size=2>- Armin Biere: Understanding Modern SAT Solvers </font></tt>
<br>
<br><tt><font size=2>- Jürgen Giesl: Automated Termination Analysis </font></tt>
<br>
<br><tt><font size=2>- David Monniaux: Abstract Interpretation </font></tt>
<br>
<br><tt><font size=2>- Ahmed Bouajjani: Verification of Concurrent Programs
under Weak Memory Models</font></tt>
<br>
<br><tt><font size=2>- Carsten Schürmann: Logical Frameworks - The Art
of Representation </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. The number of participants is limited.
Please apply </font></tt>
<br><tt><font size=2>electronically by *July 20th, 2012* by sending </font></tt>
<br>
<br><tt><font size=2>- a one-page CV, </font></tt>
<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><tt><font size=2>- a copy of your bachelor certificate (or equivalent
or higher) </font></tt>
<br>
<br><tt><font size=2>to lamotte@mpi-inf.mpg.de </font></tt>
<br>
<br><tt><font size=2>For details please see the Web page of the school.</font></tt>
<br>
<br>
<br><tt><font size=2>General Organization:</font></tt>
<br><tt><font size=2>- Bernard Boigelot (boigelot@montefiore.ulg.ac.be)</font></tt>
<br><tt><font size=2>- Stephan Merz (Stephan.Merz@loria.fr)</font></tt>
<br><tt><font size=2>- Jun Pang (jun.pang@uni.lu)</font></tt>
<br><tt><font size=2>- Christoph Weidenbach (weidenbach@mpi-inf.mpg.de)</font></tt>
<br>
<br><tt><font size=2>Local Organization</font></tt>
<br><tt><font size=2>- Manuel Lamotte-Schubert (lamotte@mpi-inf.mpg.de)</font></tt>
<br><tt><font size=2>- Jennifer Müller (jmueller@mpi-inf.mpg.de)</font></tt>