Email Gateway (Aug 18 2022 at 18:01): Email Gateway (Aug 18 2022 at 18:01):From: Stephan Merz <Stephan.Merz@loria.fr>
Summer School on Verification Technology, Systems & Applications
http://www.mpi-inf.mpg.de/VTSA11/
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
to vtsa11@montefiore.ulg.ac.be
For details please see the Web page of the school.
Last updated: Apr 23 2024 at 12:29 UTC