Affiliated Workshops


EXPRESS'02 - 9th International Workshop on Expressiveness in Concurrency
Deadline:   May 26, 2002
Workshop:August 19, 2002
Contact: Prakash Panangaden, Uwe Nestmann

PDMC'02 - 1st International Workshop on Parallel and Distributed Model Checking
Deadline:   May 25, 2002
Workshop:August 19, 2002
Contact: Lubos Brim, Orna Grumberg

CMCIM'02 - Categorical Methods for Concurrency, Interaction, and Mobility
Deadline:   May 24, 2002
Workshop:August 24, 2002
Contact: Alexander Kurz

FATES'02 - Formal Approaches to Testing of Software
Deadline:   April 28, 2002
Workshop:August 24, 2002
Contact: Robert Hierons, Thierry Jeron

FOCLASA'02 - 1st International Workshop on Foundations of Coordination Languages and Software Architectures
Deadline:   May 25, 2002
Workshop:August 24, 2002
Contact: Antonio Brogi, Jean-Marie Jacquet

INFINITY'02 - 4th International Workshop on Verification of Infinite State Systems
Deadline:   May 27, 2002
Workshop:August 24, 2002
Contact: Antonin Kucera, Richard Mayr

MTCS'02 - 3rd International Workshop on Models for Time-Critical Systems
Deadline:   April 29, 2002
Workshop:August 24, 2002
Contact: Walter Vogler, Kim Larsen

Workshop coordinator
Antonin Kucera
Faculty of Informatics
Masaryk University Brno
Botanicka 68a, 602 00 Brno
Czech Republic

Phone: ++420 5 41512339
Fax: ++420 5 41212568
Email: kucera@fi.muni.cz
concur02@fi.muni.cz