[DL] VTSA 2010 - Call for participation

Manuel Lamotte-Schubert lamotte at mpi-inf.mpg.de
Tue Jun 15 15:39:48 CEST 2010


[Apologies for multiple copies of this announcement]

---------------------------------------------------------------------------
 VTSA 2010 - Summer School on Verification Technology, Systems & 
Applications
                      Luxembourg, September 06-10, 2010
                     http://www.mpi-inf.mpg.de/VTSA10/
 
                          Call for Participation
---------------------------------------------------------------------------

A summer school on verification technology, systems and applications
will be organized by the Interdisciplinary Centre for Security,
Reliability and Trust at the University of Luxemburg, in cooperation
with the Max Planck Institute for Informatics in Saarbrücken and the
INRIA research center in Nancy. The school will take place from
September 6th to 10th 2010 in Luxembourg.

The following speakers have accepted to give courses:

Javier Esparza: Building a Software Model-Checker
Wan Fokkink: Protocol Validation with mCRL
Marta Kwiatkowska: Probabilistic Model Checking
Markus Müller-Olm: Fundamentals of Software Model Checking
Wang Yi: Modeling and Analysis of Timed Systems

Participation is free (except for travel and accommodation costs) and
open to anybody holding at least a Bachelor degree (or equivalent) in
computer science. The number of participants is limited. Please apply
electronically by *July 23th, 2010* by sending

- a one-page CV,
- an application letter explaining your interest in the school and
 your experience in the area,
- a copy of your bachelor certificate (or equivalent or higher)

to jun.pang at uni.lu.

For details please see the Web page of the school.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20100615/a6ec2cba/attachment.html>


More information about the dl mailing list