-----------------------------------------------------------------------
-- REGISTRATION --
-----------------------------------------------------------------------

For online registration visit: http://www.etaps.org/registration

Early (and normal) registration fees are historically low.
Early registration is limited to the first 222 registrants.

-----------------------------------------------------------------------
-- ABOUT ETAPS --
-----------------------------------------------------------------------

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five conferences, and embedded in associated events, satellite workshops and other events.

-----------------------------------------------------------------------
-- ETAPS MAIN CONFERENCES --
-----------------------------------------------------------------------

CC 2011       International Conference on Compiler Construction

ESOP 2011     European Symposium on Programming

FASE 2011     Fundamental Approaches to Software Engineering

FOSSACS 2011  Foundations of Software Science and Computation

TACAS 2011    Tools and Algorithms for the Construction and Analysis
               of Systems

-----------------------------------------------------------------------
-- ETAPS 2011 INVITED SPEAKERS --
-----------------------------------------------------------------------

    Ross Anderson, Cambridge, UK
    Andrew Appel, Princeton, USA
    Gerard J. Holzmann, NASA, USA
    Marta Kwiatkowska, Oxford, UK
    Martin Odersky, EPFL, Switzerland
    Prakash Panangaden, McGill, Canada
    Andreas Podelski, Freiburg, Germany

-----------------------------------------------------------------------
-- Host City: Saarbruecken, Germany  --
-----------------------------------------------------------------------

Saarbrücken is the capital of the Saarland, the smallest German federal state. Saarbrücken has approximately 190,000 inhabitants and hence is of pleasant size. Picturesque attractions and places of historic interest are scattered around the city, and offer the perfect destination for a hike or a daytrip. The cultural palette attracts visitors from far and wide. Saarbrücken is located very close to the French border, and half way on the high-speed railway connecting Paris and Frankfurt. Both are in less than two hours distance. For travel and accomodation information, please consult the ETAPS 2011 website:

http://www.etaps.org/

ETAPS 2011 is organized by the Department of Computer Science, Saarland University and will take place in the Saarbruecken Informatics Campus, on the Saarland University premises.

-----------------------------------------------------------------------
-- Associated Event --
-----------------------------------------------------------------------

TOSCA      Theory of Security and Applications

-----------------------------------------------------------------------
-- Satellite Workshops --
-----------------------------------------------------------------------

ACCAT      Applied and Computational Category Theory

Bytecode   Bytecode Semantics, Verification, Analysis and Transformation

COCV       10th Workshop on Compiler Optimization Meets
            Compiler Verification

DICE       2nd International Workshop on Developments in Implicit
            Computational complExity

FESCA      Formal Foundations of Embedded Software and
            Component-Based Software Architectures

GaLoP VI   Games for Logic and Programming Languages

GT-VMT     International Workshop on Graph Transformation and Visual
            Modeling Techniques

HAS        Hybrid Autonomous Systems

iWIGP      International Workshop on Interactions, Games and
            Protocols

LDTA       11th Workshop on Language Descriptions, Tools and
            Applications

PLACES     Programming Language Approaches to Concurrency and
            Communication-cEntric Software

QAPL       9th Workshop on Quantitative Aspects of Programming
            Languages

ROCKS      Rigorous dependability analysis using model checking
            techniquesfor stochastic systems

SVARM      Workshop on Synthesis, Verification, and Analysis of
            Rich Models

TERMGRAPH  6th International Workshop on Computing with Terms and
            Graphs

WGT        3rd Workshop on Generative Technologies

-----------------------------------------------------------------------
-- Tool Demonstrations --
-----------------------------------------------------------------------

Demonstrations of tools presenting advances on the state of the art have been selected and are integrated in the programmes of the main conferences.

-----------------------------------------------------------------------
-- Registration (again) --
-----------------------------------------------------------------------

For online registration visit: http://www.etaps.org/registration

Early (and normal) registrations fees are historically low.
Early registration is limited to the first 222 registrants.

-----------------------------------------------------------------------
-- Contact --
-----------------------------------------------------------------------

See http://www.etaps.org/

Any question can be adressed to etaps2011@cs.uni-saarland.de