[DL] VTSA 2011 - Call for participation

Manuel Lamotte-Schubert lamotte at mpi-inf.mpg.de
Tue Jul 12 07:49:40 CEST 2011

[Apologies for multiple copies of this announcement]

 VTSA 2011 - Summer School on Verification Technology, Systems & 
                Montefiore Institute Liège, September 19-23, 2011
                          Call for Participation

A summer school on verification technology, systems and applications
will be organized by the University of Liège, in cooperation with the
Interdisciplinary Centre for Security, Reliability and Trust at the
University of Luxembourg, Max-Planck Institute für Informatik in
Saarbrücken and the INRIA research center in Nancy. The school will
take place from September 19th to 23rd 2011 at the Montefiore
Institute in Liège.

The following speakers have accepted to give courses:

- Alessandro Armando: The Rewriting Approach to Decision Procedures,
  Automatic Symbolic Analysis of Access Control Policies

- Franz Baader: Reasoning in Description Logics

- Bruno Blanchet: Automatic Verification of Security Protocols: 
  the verifier ProVerif

- Florent Jacquemard: Tree Automata Techniques for the Verification 
  of Infinite-State Systems

- Joost-Pieter Katoen: Verification and Abstraction of 
  Continuous-Time Markov Models

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 22th, 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 vtsa11 at montefiore.ulg.ac.be

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/20110712/2173ff46/attachment.html>

More information about the dl mailing list