<tt><font size=2>[Apologies for multiple copies of this announcement]</font></tt>
<br>
<br><tt><font size=2>------------------------------------------------------------------------------<br>
 VTSA 2011 - Summer School on Verification Technology, Systems & Applications<br>
                Montefiore Institute
Liège, September 19-23, 2011<br>
                    
</font></tt><a href="http://www.mpi-inf.mpg.de/VTSA11/"><tt><font size=2>http://www.mpi-inf.mpg.de/VTSA11/</font></tt></a><tt><font size=2><br>
              <br>
                    
     Call for Participation<br>
------------------------------------------------------------------------------</font></tt>
<br>
<br><tt><font size=2>A summer school on verification technology, systems
and applications</font></tt>
<br><tt><font size=2>will be organized by the University of Liège, in cooperation
with the</font></tt>
<br><tt><font size=2>Interdisciplinary Centre for Security, Reliability
and Trust at the</font></tt>
<br><tt><font size=2>University of Luxembourg, Max-Planck Institute für
Informatik in</font></tt>
<br><tt><font size=2>Saarbrücken and the INRIA research center in Nancy.
The school will</font></tt>
<br><tt><font size=2>take place from September 19th to 23rd 2011 at the
Montefiore</font></tt>
<br><tt><font size=2>Institute in Liège.</font></tt>
<br>
<br><tt><font size=2>The following speakers have accepted to give courses:</font></tt>
<br>
<br><tt><font size=2>- Alessandro Armando: The Rewriting Approach to Decision
Procedures,</font></tt>
<br><tt><font size=2>  Automatic Symbolic Analysis of Access Control
Policies</font></tt>
<br>
<br><tt><font size=2>- Franz Baader: Reasoning in Description Logics</font></tt>
<br>
<br><tt><font size=2>- Bruno Blanchet: Automatic Verification of Security
Protocols: </font></tt>
<br><tt><font size=2>  the verifier ProVerif</font></tt>
<br>
<br><tt><font size=2>- Florent Jacquemard: Tree Automata Techniques for
the Verification </font></tt>
<br><tt><font size=2>  of Infinite-State Systems</font></tt>
<br>
<br><tt><font size=2>- Joost-Pieter Katoen: Verification and Abstraction
of </font></tt>
<br><tt><font size=2>  Continuous-Time Markov Models</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 22th, 2010* 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 vtsa11@montefiore.ulg.ac.be</font></tt>
<br>
<br><tt><font size=2>For details please see the Web page of the school.</font></tt>