<br><tt><font size=2>[ our apologies should you receive this message more
than one time ]</font></tt><font size=3> </font>
<br><tt><font size=2>=====================================================================</font></tt><font size=3>
</font>
<br>
<br><tt><font size=2>CALL FOR PARTICIPATION</font></tt>
<br>
<br><tt><font size=2>Please consider the below call for participation in
our summer school</font></tt><font size=3> </font>
<br><tt><font size=2>on Verification Technology, Systems & Applications,
September 15-19, 2008.</font></tt><font size=3> </font>
<br><tt><font size=2>The school aims at participants starting at the bachelor
level. </font></tt>
<br>
<br><tt><font size=2>Please forward the announcement to potentially interested
students</font></tt><font size=3> </font>
<br><tt><font size=2>and researchers.</font></tt><font size=3> </font>
<br>
<br><tt><font size=2>thanks, best</font></tt><font size=3> </font>
<br><tt><font size=2> Stephan Merz</font></tt><font size=3> </font>
<br><tt><font size=2> Christoph Weidenbach</font></tt><font size=3>
</font>
<br><tt><font size=2> Manuel Lamotte</font></tt><font size=3> </font>
<br><tt><font size=2> Roxane Wetzel</font></tt><font size=3> </font>
<br>
<br><tt><font size=2>======================================================================</font></tt>
<br>
<br><tt><font size=2>
* CALL FOR PARTICIPATION *</font></tt>
<br>
<br><tt><font size=2>
1st Summer School</font></tt>
<br>
<br><tt><font size=2> Verification
Technology, Systems & Applications</font></tt>
<br>
<br><tt><font size=2>
VTSA 2008</font></tt>
<br>
<br><tt><font size=2> Saarbruecken, Germany,
September 15-19, 2008</font></tt>
<br>
<br><tt><font size=2> </font></tt><a href="http://www.mpi-inf.mpg.de/vtsa08/"><tt><font size=2 color=blue><u>http://www.mpi-inf.mpg.de/vtsa08/</u></font></tt></a>
<br>
<br>
<br><tt><font size=2>PROGRAM</font></tt>
<br><tt><font size=2>-------</font></tt>
<br>
<br><tt><font size=2>We believe that all three aspects verification technology,
systems & applications strongly </font></tt><font size=3> </font>
<br><tt><font size=2>depend on each other and that progress in the area
of formal analysis and verifiation can </font></tt><font size=3> </font>
<br><tt><font size=2>only be made if all three aspects are considered as
a whole. Our five speakers </font></tt><font size=3> </font>
<br>
<br><tt><font size=2> Clark Barrett
SAT and SMT: Theory and Practice</font></tt><font size=3>
</font>
<br><tt><font size=2> Gilles Barthe
Formal Methods for Software Correctness and Security</font></tt><font size=3>
</font>
<br><tt><font size=2> Martin Fraenzle
Automatic Analysis of Hybrid Systems</font></tt>
<br><tt><font size=2> Radu Mateescu
Model Checking of Action-Based Concurrent Systems</font></tt><font size=3>
</font>
<br><tt><font size=2> Grégoire Sutre
Software Model Checking</font></tt><font size=3> </font>
<br>
<br><tt><font size=2>stand for this view in that they represent and will
present a particular verification technology </font></tt><font size=3> </font>
<br><tt><font size=2>and its implementation in a system in order to successfully
apply the approach to real world </font></tt><font size=3> </font>
<br><tt><font size=2>verification problems.</font></tt><font size=3> </font>
<br>
<br>
<br><tt><font size=2>PARTICIPATION</font></tt>
<br><tt><font size=2>-------------</font></tt>
<br><font size=3> </font>
<br><tt><font size=2>The number of participants in the school is limited
to 40. We expect participants to hold a </font></tt><font size=3> </font>
<br><tt><font size=2>bachelor (or higher) degree in computer science (or
equivalent) and to have basic knowledge </font></tt><font size=3> </font>
<br><tt><font size=2>in propositional and first-order logic.</font></tt><font size=3>
</font>
<br>
<br><tt><font size=2>Please apply electronically by sending an email to
Manuel Lamotte (lamotte (at) mpi-inf.mpg.de) </font></tt><font size=3> </font>
<br><tt><font size=2>including</font></tt><font size=3> </font>
<br>
<br><tt><font size=2> - a one page CV </font></tt><font size=3> </font>
<br><tt><font size=2> - an application letter
explaining your interest in the school and your experience in the area
</font></tt><font size=3> </font>
<br><tt><font size=2> - a copy of your bachelor
certificate (or equivalent or a more significant certificate) </font></tt>
<br>
<br><tt><font size=2>until the 20th of July, 2008. Notifications on acceptance
will be given by July, 31st.</font></tt><font size=3> </font>
<br><tt><font size=2>The registration will be open to accepted applicants
starting on August, 1st, 2008.</font></tt><font size=3> </font>
<br>
<br>
<br><tt><font size=2>LOCATION & TRAVEL INFORMATION</font></tt>
<br><tt><font size=2>-----------------------------</font></tt>
<br>
<br><tt><font size=2>VTSA will be held at the Max-Planck-Institute for
Informatics</font></tt>
<br><tt><font size=2>in Saarbruecken, Germany. Saarbruecken is the capital
of one of</font></tt>
<br><tt><font size=2>Germany's 16 federal states, the Saarland. It is conveniently
located</font></tt>
<br><tt><font size=2>in the center of Europe, on the border of Germany
with France, between</font></tt>
<br><tt><font size=2>Luxembourg, the Saar-Mosel valley, Frankfurt, and
Strasbourg. Being</font></tt>
<br><tt><font size=2>located on several main train and road routes, Saarbruecken
is easily</font></tt>
<br><tt><font size=2>reachable from Frankfurt, Stuttgart, Paris, or Luxembourg.</font></tt>
<br><tt><font size=2>Saarbruecken also has its own (small) international
airport.</font></tt><font size=3> </font>
<br>
<br>
<br><tt><font size=2>ABOUT VTSA</font></tt>
<br><tt><font size=2>----------</font></tt>
<br><font size=3> </font>
<br><tt><font size=2>The scope of VTSA is international and it is addressed
at students holding </font></tt><font size=3> </font>
<br><tt><font size=2>a bachelor degree or researchers. The goal of VTSA
is to bridge theory, system</font></tt><font size=3> </font>
<br><tt><font size=2>development and applications in formal analysis and
verification.</font></tt><font size=3> </font>
<br>
<br><tt><font size=2>VTSA is supported by the German-French University,
INRIA, the Max Planck</font></tt><font size=3> </font>
<br><tt><font size=2>Institute for Informatics, and the Graduate School
on Trustworthy Software</font></tt><font size=3> </font>
<br><tt><font size=2>Systems.</font></tt>
<br>
<br>
<br>
<br><tt><font size=2>CONTACT</font></tt>
<br><tt><font size=2>-------</font></tt>
<br>
<br><tt><font size=2>The homepage of VTSA, providing further details can
be found at</font></tt>
<br>
<br><tt><font size=2>
</font></tt><a href="http://www.mpi-inf.mpg.de/vtsa08"><tt><font size=2 color=blue><u>http://www.mpi-inf.mpg.de/vtsa08</u></font></tt></a><font size=3>
</font>
<br>
<br><tt><font size=2>If you have further questions, please do not hesitate
to contact us</font></tt>
<br><tt><font size=2>by sending an email to Roxane Wetzel (address is wetzel
at mpi-inf.mpg.de)</font></tt>
<br>
<br><tt><font size=2>Organizers: Stephan Merz & Christoph Weidenbach</font></tt><font size=3>
</font>
<br><tt><font size=2>Local Organizers: Manuel Lamotte & Roxane Wetzel</font></tt>
<br>
<br>
<br><font size=3 face="sans-serif"><br>
<br>
</font>