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 conferences, accompanied by satellite
workshops and other events. ETAPS 2007 is the tenth event in the series.

The Host City

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. The
region is served by the Oporto international airport, providing direct
flights to many major European cities.

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.

Some links:

    * http://www.cm-braga.com.pt/turismo/turismo.asp.
    * http://viajar.clix.pt/en/dst3015.php.

ETAPS Steering Committee

    * Perdita Stevens, Edinburgh (Chair)
    * Luca Aceto, Aalborg and Reykjavík
    * Rastislav Bodik, Berkeley
    * Maura Cerioli, Genova
    * Matt Dwyer, Lincoln
    * Hartmut Ehrig, Berlin
    * José Luiz Fiadeiro, Leicester
    * Marie-Claude Gaudel, Paris
    * Roberto Gorrieri, Bologna
    * Reiko Heckel, Leicester
    * Michael Huth, London
    * Joost-Pieter Katoen, Aachen
    * Paul Klint, Amsterdam
    * Jens Knoop, Vienna
    * Shriram Krishnamurthi , Brown
    * Kim Larsen, Aalborg
    * Tiziana Margaria, Göttingen
    * Ugo Montanari, Pisa
    * Rocco de Nicola, Firenze
    * Hanne Riis Nielson, Copenhagen
    * Jens Palsberg,Indiana
    * Don Sannella, Edinburgh
    * João Saraiva, Braga
    * Vladimiro Sassonen, Brighton
    * Helmut Seidl , Munique
    * Peter Sestoft, Copenhagen
    * Andreas Zeller, Saarbrücken
    * Lenore Zuck, Chicago

Organizing Committee

    * João Alexandre Saraiva (Chair)
    * Joost Visser (Satellite events)
    * Luis Soares Barbosa (Satellite events)
    * José Nuno Oliveira
    * Pedro Rangel Henriques
    * José João Almeida
    * António Nestor Ribeiro
    * Jorge Sousa Pinto
    * José Bacelar Almeida (Website)



Main Conferences

    *   CC 2007, International Conference on Compiler Construction
    * ESOP 2007, European Symposium on Programming
    * FASE 2007, Fundamental Approaches to Software Engineering
    * FOSSACS 2007, Foundations of Software Science and Computation
    * Structures
    * TACAS 2007, Tools and Algorithms for the Construction and Analysis of
    * Systems



Invited speakers

    *  Rance Cleaveland - University of Maryland, USA
    * Bertrand Meyer - ETH Zürich, Switzerland
    * CC: Don Batory - University of Texas at Austin, USA
    * ESOP: Andrew Pitts - Cambridge University, UK
    * FASE: Jan Bosch - Nokia, Finland
    * FOSSACS: Radha Jagadeesan - DePaul University, USA
    * TACAS: K. Rustan M. Leino - Microsoft Research, USA