[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:
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
|
|||||||
concur02@fi.muni.cz |