Call for Participation
International PhD School on
Verification of Protocols for Security and Mobility
http://www.first.dk/VPSM
Copenhagen, Denmark, October 9-13, 2006
This one-week PhD school will give young researchers, doctoral students,
and others a comprehensive overview of contemporary automatic verification
methods and tools. The participants will meet a variety of techniques
including: static analysis, (on-the-fly, probabilistic, and real-time)
model checking, and Coloured Petri Nets. The emphasis will be put on
verification of protocols for security and mobility.
The school will offer lectures by key researchers in automatic
verification,
security and mobility. The exercise classes will introduce the students to
state-of-the-art tools for automatic verification.
Speakers:
* Professor David Basin,ETH Zurich, Switzerland
* Professor Marta Kwiatkowska, University of Birmingham, UK
* Professor Kim Guldstrand Larsen, Aalborg University, Denmark
* Professor Hanne Riis Nielson, IMM, Technical University of Denmark
* Professor Flemming Nielson, IMM, Technical University of Denmark
* Associate Professor Gerd Behrmann, Aalborg University, Denmark
* Associate Professor Lars M. Kristensen, University of Århus, Denmark
Venue:
The school will be held at the campus of the IT University of Copenhagen.
Registration:
Information about registration is available from the school's web page
(http://www.first.dk/VPSM).
Deadline for registration is 1 June.
Organizer:
Jens Chr. Godskesen
----
[[ 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] ]]
