[We apologise for multiple copies.]
==================================================================
AACHEN CONCURRENCY AND DEPENDABILITY WEEK
CONCUR: 22th Int. Conference on Concurrency Theory
QEST: 8th Int. Conference on Quantitative Evaluation of SysTems
TGC: 6th Int. Symposium on Trustworthy Global Computing
6 Tutorials + 9 Workshops
September 5 - September 10, 2011 Aachen, Germany http://concur2011.rwth-aachen.de
First CALL FOR PARTICIPATION
Early Registration Opened!
==================================================================
----------------------------------------------------------------------- -- REGISTRATION -- -----------------------------------------------------------------------
Online registration: http://concur2011.rwth-aachen.de/registration
Early registration deadline: July 31; Late registration deadline: August 25.
----------------------------------------------------------------------- -- CONCUR/QEST 2011 INVITED SPEAKERS -- -----------------------------------------------------------------------
Parosh Aziz Abdulla (Uppsala University, Sweden) Wil van der Aalst (Technical University Eindhoven, The Netherlands) Ursula Goltz (Technical University Braunschweig, Germany) Rachid Guerraoui (EPFL Lausanne, Switzerland) Geoffrey Smith (Florida International University, USA) Lothar Thiele (ETH Zurich, Switzerland)
----------------------------------------------------------------------- -- QEST 2011 TUTORIAL SPEAKERS -- -----------------------------------------------------------------------
Peter Buchholz (University of Dortmund, Germany) Krishnendu Chatterjee (IST Austria, Vienna, Austria) Kousha Etessami (LFCS University of Edinburgh, UK) Boris Köpf (IMDEA Software, Madrid, Spain) Aad van Moorsel (Newcastle University, UK) Verena Wolf (Saarland University, Germany)
----------------------------------------------------------------------- -- Host City: Aachen, Germany -- -----------------------------------------------------------------------
Aachen is Germany’s most westerly city and is situated directly on the border with Belgium and the Netherlands. It was a royal residence of the emperor Charlemagne, and it served as the principal coronation site of Holy Roman emperors and of German kings from the Middle Ages to the Reformation. The Aachen Cathedral is a UNESCO World Heritage site since 1978. The city has a flair and atmosphere of its own. The attractive layout of the old city center, the important historic monuments, the wells and baths over the hottest natural springs in Europe, the cultural diversity and quality and the many recreational and leisure activities make Aachen an exciting and pleasant place to visit and host a conference.
Aachen is conveniently located in an extensive highway network with regard to transport facilities in the direction of Brussels, Paris and Antwerp. The international airports in Frankfurt, Cologne/Bonn, Düsseldorf, Brussels, Eindhoven and Maastricht-Aachen (NL) together with the international railway network ensure a good connectivity. Every two hours, the high-speed train Thalys operates via Aachen between Paris and Cologne and ICE trains run from Frankfurt to Brussels via Aachen.
The AACHEN CONCURRENCY AND DEPENDABILITY WEEK is organized by the Software Modeling and Verification Group, Dept. of Computer Science, RWTH Aachen University and will take place in the Super C building in the centre of the town.
----------------------------------------------------------------------- -- Affiliated Workshops -- -----------------------------------------------------------------------
COMPMOD Computational Models for Cell Processes EXPRESS Expressiveness in Concurrency FOCLASA Foundations of Coordination Languages and Software Architectures GASICS Games for Design, Verification and Synthesis LAM Logics, Agents, and Mobility MLQA Models and Logics for Quantitative Analysis SECCO Security Issues in Concurrency SOS Structural Operational Semantics YR-CONCUR Young Researchers on Concurrency Theory
----------------------------------------------------------------------- -- Organization -- -----------------------------------------------------------------------
General Chair: Joost-Pieter Katoen (RWTH Aachen University, Germany)
CONCUR PC Chairs: Joost-Pieter Katoen (RWTH Aachen University, Germany) Barbara König (University of Duisburg-Essen, Germany)
QEST PC Chairs: Catuscia Palamidessi (INRIA and Ecole Polytechnique, France) Alma Riska (EMC Corporation, USA)
TGC PC Chairs: Roberto Bruni (University of Pisa, Italy) Vladimiro Sassone (University of Southhampton, UK)
----------------------------------------------------------------------- -- Contact -- -----------------------------------------------------------------------
See http://concur2011.rwth-aachen.de
For further questions, please contact acdw2011@cs.rwth-aachen.de