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 applications, and of the scientific relevance of their foundations. The scope of CONCUR'98 covers all areas of semantics, logics and verification techniques for concurrent systems. A list of specific topics includes (but is not limited to) concurrency related issues about
models of computation and semantic domains, process algebras, Petri nets, event structures, real-time and reactive 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, applications, case studies, tools and environments for programming and verification.
The proceedings will be published by Springer-Verlag in the LNCS series.
Paper submission: | March 10, 1998 |
---|---|
Notifications: | May 8, 1998 |
Final versions: | June 10, 1998 |
Nice is ideally located on the French Riviera. September is still bathing season, while less crowded than full summer. Nice's international airport is well-connected to all major European and non-European cities.
Conference Email Address:
concur98@sophia.inria.fr
Conference Home Page:
http://www.inria.fr/concur98/