<tt><font size=3>[Apologies for multiple copies of this announcement]<br>
<br>
---------------------------------------------------------------------------<br>
 VTSA 2010 - Summer School on Verification Technology, Systems & Applications<br>
                    
 Luxembourg, September 06-10, 2010<br>
                    
</font></tt><a href="http://www.mpi-inf.mpg.de/VTSA10/"><tt><font size=3 color=blue><u>http://www.mpi-inf.mpg.de/VTSA10/</u></font></tt></a><tt><font size=3><br>
              <br>
                    
     Call for Participation<br>
---------------------------------------------------------------------------<br>
<br>
A summer school on verification technology, systems and applications<br>
will be organized by the Interdisciplinary Centre for Security,<br>
Reliability and Trust at the University of Luxemburg, in cooperation<br>
with the Max Planck Institute for Informatics in Saarbrücken and the<br>
INRIA research center in Nancy. The school will take place from<br>
September 6th to 10th 2010 in Luxembourg.<br>
<br>
The following speakers have accepted to give courses:<br>
<br>
Javier Esparza: Building a Software Model-Checker<br>
Wan Fokkink: Protocol Validation with mCRL<br>
Marta Kwiatkowska: Probabilistic Model Checking<br>
Markus Müller-Olm: Fundamentals of Software Model Checking<br>
Wang Yi: Modeling and Analysis of Timed Systems<br>
<br>
Participation is free (except for travel and accommodation costs) and<br>
open to anybody holding at least a Bachelor degree (or equivalent) in<br>
computer science. The number of participants is limited. Please apply<br>
electronically by *July 23th, 2010* by sending<br>
<br>
- a one-page CV,<br>
- an application letter explaining your interest in the school and<br>
 your experience in the area,<br>
- a copy of your bachelor certificate (or equivalent or higher)<br>
<br>
to jun.pang@uni.lu.<br>
<br>
For details please see the Web page of the school.</font></tt>