[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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 etaps2...@cs.uni-saarland.de.
