Friday, June 17, 2011

[qest-announce] First Call for Participation CONCUR/QEST/TGC 2011

[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

_______________________________________________
qest-announce mailing list
qest-announce@iti.illinois.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce