Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
CONCUR 2009: Call for Affiliated Workshops
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-06-12 (15:21)
From: Mario Bravetti <bravetti@c...>
Subject: CONCUR 2009: Call for Participation
CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy

CONCUR 09, the 20th International Conference on Concurrency
Theory, will take place in Bologna, on September 1-4, 2009.
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.

To celebrate 20 years of International Conference on Concurrency
Theory the conference program will include a special session
jointly organized by the IFIG Working Groups 1.8 "Concurrency
Theory" and 2.2 "Formal Description of Programming Concepts".

The CONCUR 09 programme includes also invited talks given by:
- Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA
- Christel Baier, University of Bonn, Germany
- Robin Milner, University of Cambridge, UK
- Corrado Priami, University of Trento and CoSBi, Italy

Furthermore, there will be the following colocated events:
- 7th Int. Conf. on Computational Methods in Systems Biology
- 6th Int. Workshop on Web Services and Formal Methods
and the following satellite workshops:
Express, ICE, Infinity, MecBIC, SecCo, SOS, and Young
Researchers Worshop.