Posted on behalf of Bernard Boigelot ([email protected]) ----- 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 fuer Informatik in Saarbruecken and the INRIA research center in Nancy. The school will take place from September 19th to 23th 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 [email protected] For details please see the Web page of the school. -- Bernard Boigelot [email protected] +32-(0)43662970) ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
