[ 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/ *** *** *** *** 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 etaps2...@cs.uni-saarland.de