Atlas home || Conferences | Abstracts | about Atlas
Host: Eindhoven University of Technology
Homepage: http://www.win.tue.nl/concur99/
Email: concur99@win.tue.nl
Organizers: Jos Baeten, Sjouke Mauw
Description:
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.
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.
Speakers: Rance Cleaveland (State University of New York at Stony Brook, USA), Javier Esparzaa (Technische Universität München, Germany), Rob van Glabbeek (Stanford University, USA), Catuscia Palamidessi
Date received: February 03, 1999
© 2008 Atlas Conferences Inc.