Call for Papers
[PostScript version]

CONCUR 2002, the international conference on concurrency theory, will be organised by the Faculty of Informatics of Masaryk University. The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scientific relevance of their foundations. Submissions are solicited in all areas of semantics, logics and verification techniques for concurrent systems.

Principal topics include (but are not limited to) concurrency related aspects of: models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, verification techniques, refinement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, tools and environments for programming and verification.

Programme committee

Invited talks of broad and stimulating orientations are offered, consistent with more than 10 years tradition of CONCUR. The list of speakers includes: A. Pnueli and V. Pratt (keynotes), W. Fokkink, A. Rabinovich, D. Sangiorgi.

CONCUR 2002 will have two tutorials given by J. Bradfield and A. Gordon, and it will also be accompanied by satellite pre- and post-conference workshops including:
  • CMCIM'02 - Categorical Methods for Concurrency, Interaction, and Mobility
  • EXPRESS'02 - Expressiveness in Concurrency
  • FATES'02 - Formal Approaches to Testing of Software
  • FOCLASA'02 - Foundations of Coordination Languages and Software Architectures
  • INFINITY'02 - Verification of Infinite State Systems
  • MTCS'02 - Models for Time-Critical Systems
  • PDMC'02 - Parallel and Distributed Model Checking
The conference fee is expected to be very reasonable. Accommodation expenses will range from those of business-like level to very moderate. Students will be able to participate at a very low cost. The best students papers (written solely by one or more students) will be awarded. Social program will include a reception, an excursion to nearby attractions, and a conference dinner.

Authors are invited to submit an extended abstract not exceeding 15 pages electronically. Simultaneous submissions to other conferences are not allowed.

Important dates

Submission deadline (extended):      April 2, 2002, 7:00 am GMT
Notification of acceptance: May 20, 2002
Final version due: June 6, 2002