***************************************************************** *** *** *** ETAPS 2007 *** *** March 24 - April 1, 2007 *** *** Braga, Portugal *** *** *** *** http://www.di.uminho.pt/etaps07/ *** *** *** *** CALL FOR PARTICIPATION *** *** *** *** Normal Registration Deadline: 26th February, 2007 *** *** Students Grant Deadline : 26th February, 2007 *** *** *** ***************************************************************** 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 main conferences, several satellite workshops and other events. ETAPS 2007 is taking place in Braga, Portugal. Braga, capital of the Minho province, is an ancient city in the heart of the green and fertile region known as the Costa Verde. The region is known for its attractiveness in terms of climate, gastronomy, prices, and culture. Braga is known for its barroque churches and splendid 18th century houses. The old city is solemn and antique, but animated with commercial activity and academic life. ============================================================================ 5 Conferences- 18 Satellite Workshops- 3 Tutorials- Tool Demonstrations ============================================================================ ------------------------------------------------------------------------- Main Conferences ------------------------------------------------------------------------- CC 2007: International Conference on Compiler Construction http://cc2007.cs.brown.edu/ ESOP 2007: European Symposium on Programming http://rap.dsi.unifi.it/esop07/ FASE 2007: Fundamental Approaches to Software Engineering http://fase07.di.fc.ul.pt FOSSACS 2007: Foundations of Software Science and Computation Structures http://www2.in.tum.de/~seidl/fossacs07/ TACAS 2007: Tools and Algorithms for the Construction and Analysis of Systems http://www.doc.ic.ac.uk/tacas07/ ----------------------------------------------------------------------- Invited Speakers ----------------------------------------------------------------------- ETAPS 2007: Rance Cleaveland - University of Maryland, USA ETAPS 2007: Bertrand Meyer - ETH Zürich, Switzerland CC 2007: Don Batory - University of Texas at Austin, USA ESOP 2007: Andrew Pitts - Cambridge University, UK FASE 2007: Jan Bosch - Nokia, Finland FOSSACS 2007: Radha Jagadeesan - DePaul University, USA TACAS 2007: K. Rustan M. Leino - Microsoft Research, USA Further invited speakers are giving talks in the satellite workshops. ----------------------------------------------------------------------- Satellite Workshops ----------------------------------------------------------------------- ACCAT: Applied and Computational Category Theory http://tfs.cs.tu-berlin.de/workshops/accat2007/ AVIS: Int. Workshop on Automated Verification of Infinite-State Systems http://chacs.nrl.navy.mil/AVIS07 Bytecode: Bytecode Semantics, Verification, Analysis and Transformation http://www.sci.univr.it/~spoto/Bytecode07/ COCV: Sixth Workshop on Compiler Optimization Meets Compiler Verification http://pes.cs.tu-berlin.de/cocv2007/ FESCA: Formal Foundations of Embedded Software and Component-Based Software Architectures http://palab.dcs.kcl.ac.uk/fesca/ FinCo: Foundations of Interactive Computation http://www.cs.brown.edu/sites/finco07/ GT-VMT: Int. Workshop on Graph Transformation and Visual Modeling Techniques http://www.cs.le.ac.uk/events/GTVMT07/ HAV: Heap Analysis and Verification http://www.cs.tau.ac.il/~msagiv/hav.html HFL: Hardware design using Functional Languages http://hfl07.hflworkshop.org/ LDTA: Seventh Workshop on Language Descriptions, Tools and Applications http://www.di.uminho.pt/ldta07 MBT: Third Workshop on Model Based Testing http://react.cs.uni-sb.de/mbt2007/ MOMPES: Model-based Methodologies for Pervasive and Embedded Software http://www.di.uminho.pt/mompes OpenCert: Foundations and Techniques for Open Source Software Certification http://opencert.iist.unu.edu/ QAPL: Fifth Workshop on Quantitative Aspects of Programming Languages http://www.cse.yorku.ca/qapl07 SC: Software Composition http://ssel.vub.ac.be/sc2007 SLA++P: Model-driven High-level Programming of Embedded Systems http://web.uni-bamberg.de/wiai/gdi/SLAP07/ TERMGRAPH: Fourth International Workshop on Computing with Terms and Graphs http://www.termgraph.org.uk WITS: Seventh Workshop on Issues in the Theory of Security http://www.dsi.unive.it/IFIPWG1_7/wits2007.html ----------------------------------------------------------------------- Tutorials ----------------------------------------------------------------------- Program Transformation with Stratego/XT Martin Bravenboer (Utrecht University) and Eelco Visser (Delft University of Technology) Beyond the Generators: Practical Techniques for Real-World Software Generation Anthony M. Sloane (Macquarie University) Mobility, Ubiquity, and Security Gilles Barthe (INRIA), David Pichardie (IRISA), David Aspinall (Univ. of Edinburgh), Peter Müller (ETH Zurich), Lennart Beringer (LMU Munich) and Joe Kiniry (UC Dublin) ----------------------------------------------------------------------- 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 and Contact Details ----------------------------------------------------------------------- For online registration, please visit http://www.di.uminho.pt/etaps07/ and go to menu item "Registration". Contact details are available at the menu item "Contact us". In case of any questions not addressed on the web pages, please email etaps07@di.uminho.pt.