================================================================ CALL FOR PARTICIPATION: CONCUR 2009: 20th International Conference on Concurrency Theory and colocated events/satellite workshops August 31 - September 5, 2009 Bologna, Italy http://concur09.cs.unibo.it ---------------------------------------------------------------- ** EARLY REGISTRATION IS OPEN UNTIL JULY 31 ** ** SPECIAL ROOM RATES FOR HOTELS CLOSE TO CONFERENCE VENUE GUARANTEED 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 invited talks will be given by: - Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA - Christel Baier, Technical University of Dresden, Germany - Robin Milner, University of Cambridge, UK (joint with WS-FM) - Corrado Priami, Univ. of Trento/CoSBi, Italy (joint with CMSB) The 20 years of CONCUR session will include invited talks by: - Robert van Glabbeek, Kensington Res. Lab., Australia - Bill Roscoe, University of Oxford, UK - Davide Sangiorgi, University of Bologna, 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. The invited speakers of the colocated events are: CMSB - Rita Casadio, University of Bologna, Italy - John K. Heath, University of Birmingham, UK - Corrado Priami, Univ. of Trento/CoSBi, Italy WS-FM - Maurizio Lenzerini, University Sapienza of Rome, IT - Robin Milner, University of Cambridge, UK The invited speakers of the satellite workshops are: Express - Samson Abramsky, University of Oxford, UK - Davide Sangiorgi, University of Bologna, Italy ICE - Farhad Arbab, CWI, The Netherlands - Doron Peled, Bar Ilan University, Israel Infinity - Byron Cook, Microsoft Research, UK - Martin Leucker, Technical Univ. Munich, Germany MecBIC - Luca Cardelli, Microsoft Research, Cambridge, UK SecCo - Riccardo Focardi, University Ca' Foscari, Italy SOS - Robert van Glabbeek, Kensington Res. Lab., Australia - Paul Blain Levy, University of Birmingham, UK ---- [[ 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] ]]
