Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Mario Bravetti <bravetti@c...>
Subject: CONCUR 2009: Second Call for Participation
================================================================
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