[TYPES/announce] ETAPS 2009: Call for Participation

[Joost-Pieter Katoen]

[We apologize for multiple copies.]

================================================================

CALL FOR PARTICIPATION: ETAPS 2009

*** 5 Conferences, 21 Workshops, 4 Tutorials ***

European Joint Conferences on Theory And Practice of Software
March 22 - March 29, 2009
York, United Kingdom

http://www.etaps.org
http://www.cs.york.ac.uk/etaps09/

================================================================

-- REGISTRATION --

For online registration, visit: http://www.cs.york.ac.uk/etaps09/
and click on menu item "Registration".

The early registration deadline is *February 16, 2009*, and the
normal registration deadline is February 26, 2009.

-- 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 relating to Software Science. ETAPS,
established in 1998, is a confederation of five main annual confe-
rences, accompanied by satellite workshops and other events. ETAPS
2009 is the twelfth event in the series.

-- THE HOST CITY: YORK, UK --

The City of York combines evidence of a history going back to Roman
times, tourist attractions, and a bustling modern city centre. York
Minster, on a site that has been the city's focus in Roman, Norman and
modern times, is among the finest Gothic cathedrals and dominates the
city. The Viking past is represented by preserved archaeological
remains and reconstructed settlements in the world-famous Jorvik
Centre. Since the nineteenth century, York has been a railway city and
houses the National Railway Museum, with its stunning collection of
locomotives, carriages and railway memorabilia (** sign up for the
ETAPS banquet which will be held in this stunning museum! **). York is
the ancient administrative capital of northern England and is at the
heart of the county of Yorkshire, dominating the Vale of York.

ETAPS will take place on the University of York's campus which mixes
iconic 1960s concrete buildings with stylish modern architecture. At
the centre is the largest artificial lake in England, which is
influential in giving York the highest ratio of ducks to students in
the country.

For more information, please visit York's tourism website:
http://www.visityork.org

For travel information, please consult the ETAPS'09 website:
http://www.cs.york.ac.uk/etaps09/

-- MAIN CONFERENCES --

- CC:	   International Conference on Compiler Construction
	   ( http://www.brics.dk/~mis/CC2009/ )

- ESOP:	   European Symposium on Programming
	   ( http://esop09.pps.jussieu.fr )

- FASE:	   Fundamental Approaches to Software Engineering
	   ( http://www.pst.ifi.lmu.de/fase2009/ )

- FOSSACS: Foundations of Software Science and Computation Structures
	   ( http://fossacs09.soe.ucsc.edu/ )

- TACAS:   Tools and Algorithms for the Construction and Analysis of Systems
	   ( http://www.embedded.rwth-aachen.de/tacas2009/ )

-- INVITED SPEAKERS --

Rajeev Alur (UPenn, USA)
Jean-Marc Eber (Paris, France)
Stephen Gilmore (Edinburgh, UK)
Steven Miller (Rockwell Collins, USA)
John Reynolds (CMU, USA)
Vivek Sarkar (Rice, USA)
Wolfgang Thomas (RWTH Aachen, Germany)

-- SATELLITE EVENTS --

The ETAPS 2009 satellite events comprise workshops and tutorials which
will be held on the Sunday (March 22) before and the Saturday/Sunday
(March 28/29) after the main conferences.

WORKSHOPS

   - ACCAT:	Applied and Computational Category Theory
   - ARSPA-WITS:	Automated Reasoning for Security Protocol Analysis &
		Issues in the Theory of Security
   - Bytecode:	Bytecode Semantics, Verification, Analysis and
		Transformation
   - COCV:	Compiler Optimization Meets Compiler Verification
   - COMPASS:	Correctness, Modeling, and Performance of Aerospace
		Systems
   - FESCA:	Formal Engineering Approaches to Components and
		Architectures
   - FORMED:	Formal Methods in Computer Science Education
   - GaLoP:	Games for Logics and Programming Languages
   - GT-VMT:	Graph Transformation and Visual  Modeling Techniques
   - HFL:	Hardware Design using Functional Languages
   - LDTA:	Language Descriptions, Tools and Applications
   - MBT:	Model-Based Testing
   - MLQA:	Models and Logics for Quantitative Analysis
   - OpenCert:	Foundations and Techniques for Open Source Software
		Certification
   - PLACES:	Programming Language Approaches to Concurrency and
		Communication-cEntric Software
   - QAPL:	Quantitative Aspects of Programming Languages
   - RC:		Reversible Computation
   - SafeCert:	Certification of Safety-Critical Software Controlled
		Systems
   - TAASN:	Theory and Applications of Abstraction, Substitution
		and Naming
   - TERMGRAPH:	Computing with Terms and Graphs
   - WING:	Invariant Generation

TUTORIALS

   - Complete and Exhaustive Testing Techniques
     (Mike Stannett & Tony Simons)
   - Formal Foundations for Verifying Security-Critical Software
     (Jan Juerjens)
   - Retrenchment: Straddling Formal Refinement and the Real World
     (Richard Banach)
   - Verification-centric Development in Java with JML and ESC/Java2
     (Joe Kiniry, Dan Zimmerman & Erik Poll)

Additional information about the satellite events is available on the
ETAPS web pages:

http://www.etaps.org
http://www.cs.york.ac.uk/etaps09/

-- FURTHER INFORMATION AND ENQUIRIES --

ETAPS 2009 is organised by the Department of Computer Science at the
University of York, UK. For further information, do not hesitate to
contact the Local Organisers at the following address:

etaps-organisers -AT- cs.york.ac.uk