[TYPES/announce] International PhD School on Verification of Protocols for Security and Mobility

[Jens Chr. Godskesen]

                              Reminder

                       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