[TYPES/announce] ETAPS 2011: First Call for Participation

Joost-Pieter Katoen katoen at cs.rwth-aachen.de
Fri Jan 14 09:26:15 EST 2011


[We apologise for multiple copies.]

  ******************************************************************
  ***                                                            ***
  ***                           ETAPS 2011                       ***
  ***                      March 26 - April 3, 2011              ***
  ***                       Saarbrücken, Germany                 ***
  ***                       http://www.etaps.org/                ***
  ***                                                            ***
  ***                    First CALL FOR PARTICIPATION            ***
  ***                                                            ***
  ***                  222 Early Registrations Available         ***
  ***                                                            ***
  ******************************************************************

-----------------------------------------------------------------------
-- 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 at cs.uni-saarland.de.





More information about the Types-announce mailing list