[isabelle] summer school VTSA 2011

Summer School on Verification Technology, Systems & Applications

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.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.