================================================================ CALL FOR PARTICIPATION: CONCUR 2009: 20th International Conference on Concurrency Theory September 1-4, 2009 Bologna, Italy http://concur09.cs.unibo.it ---------------------------------------------------------------- ** EARLY REGISTRATION IS OPEN UNTIL JULY 31** ----------------------------------------------------------------
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. ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
