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

Joost-Pieter Katoen katoen at cs.rwth-aachen.de
Sun Feb 27 05:01:47 EST 2011


[We apologise for multiple copies.]

  ******************************************************************
  ***                                                            ***
  ***                           ETAPS 2011                       ***
  ***                      March 26 - April 3, 2011              ***
  ***                       Saarbrücken, Germany                 ***
  ***                       http://www.etaps.org/                ***
  ***                                                            ***
  ***                   Final CALL FOR PARTICIPATION             ***
  ***                                                            ***
  ******************************************************************

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

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

Normal registration closes on March 11.

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

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

(in order of appearance)

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

Saarbruecken is the capital of the Saarland, the smallest German
federal state. Saarbruecken 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. Saarbruecken 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 accommodation 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

Normal registration closes on March 11.

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

See http://www.etaps.org/

Any question can be addressed to etaps2011 at cs.uni-saarland.de



More information about the Types-announce mailing list