PhD Fellowships in the Doctorate Programme:
``Program and Model Analysis''
http://puma.in.tum.de
The German Research Council (DFG) funds 12 doctoral fellowships through the
new Doctorate Programme (Graduiertenkolleg) ``Program and Model Analysis''.
The programme has started in July 2008. Applications for up to 5
positions welcome.
Hosting institutions.
The programme is hosted by the Technische Universität and
Ludwig-Maximilians-Universität
München, two of the three universities selected in the first round of
the highly
competitive Excellence Initiative. Their Computer Science departments
are among the
oldest and most reputed in Germany. The Professors involved in the
programme are:
Manfred Broy, Javier Esparza, Martin Hofmann, Alois Knoll, Tobias Nipkow,
Andrey Rybalchenko, Helmut Seidl and Martin Wirsing.
Objective.
The programme will help PhD students to conduct excellent research on
methods,
algorithms and tools for the analysis of programs and models of
information systems.
The research topics seek to establish and exploit links between the four
leading
approaches for this task (theorem proving, model checking, abstract
interpretation
and type systems) and to apply them to software-intensive systems. PhD
students will
get excellent supervision, and will participate in a structured
programme of courses
and seminars offered by world experts.
Positions.
The doctorate programme offers doctoral fellowships for a period of
three years.
Retribution is according to Level 13 of the TV-L German salary scale.
This amounts
to an initial gross salary of 3100 Euro per month, increased to 3450
Euro per month
after one year. Doctoral degrees are awarded by the Technische
Universität or the
Ludwig-Maximilians-Universität. Possible starting dates are
negotiable.ligibility.
Eligibility.
Applicants should be at most 28 years old and hold a MSc (or an
equivalent degree)
in computer science or related disciplines (typically mathematics,
physics, or
engineering). Applications from MSc candidates who expect to get their
degrees
within the next months are also welcome. Fluency in spoken and written
English or
German is required.
Applications.
Applications will be considered until all positions are filled. They
should contain
a full curriculum vitae, a statement on the candidate's scientific
interests,
names and contact information of 2 references, and should be sent to
Graduiertenkolleg PUMA, c/o. Prof. Dr. Helmut Seidl
Technische Universität München
Institut für Informatik, Boltzmannstraße 3
85748 Garching
Email: puma(a)in.tum.de
Shortlisted applicants will usually be invited to visit München and give
a talk on
their Master's Thesis or on a scientific topic to be agreed upon. The
decision on
admission will be communicated shortly after the talk.
[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(a)cs.rwth-aachen.de
