Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

27-30 August 2006, CONCUR'06: 17th International Conference on Concurrency Theory, Bonn, Germany

Date: 27-30 August 2006
Location: Bonn, Germany
Deadline: 23 March 2006

CONCUR 2006, the 17th International Conference on Concurrency Theory, will take place in Bonn, Germany, August 27 - 30, 2006. The purpose of the CONCUR conferences is to bring together researchers working on the theory of concurrency and its applications. About ten workshops will be held in affiliation with CONCUR 2006, including the 2nd German Verification Day, and the 11th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.

For more information, see http://depend.cs.uni-sb.de/concur06/.

Submissions are solicited in all areas of semantics, logics, and verification techniques for concurrent systems. Submission deadline is March 23, 2006.

Please note that this newsitem has been archived, and may contain outdated information or links.