[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] 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

                       CALL FOR PARTICIPATION

                 Early Registration Until July 31!

  ==================================================================

-----------------------------------------------------------------------
-- 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)

-----------------------------------------------------------------------
-- TGC 2011 INVITED SPEAKERS --
-----------------------------------------------------------------------

Michael Backes        (MPI and Saarland University, Germany)
Michele Bugliesi      (University of Venice, Italy)
Mariangiola Dezani    (University of Torino, Italy)
Matthias Hoelzl       (LMU Munich, Germany)
Bernd Werther         (Volkswagen AG, 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