\documentclass[english,a4paper,12pt]{article}
%\usepackage{b5}
\RequirePackage[a4paper,top=2.5cm,left=2cm,right=2cm,bottom=2.5cm]{geometry}
%\parindent 0pt
%\parskip 3pt
\usepackage{babel}
\usepackage[latin1]{inputenc}
%\usepackage[utf8]{inputenc}
%\usepackage{fancyvrb}
\usepackage{t1enc}
\usepackage{url}
\usepackage{aeguill}
\usepackage{graphicx}
\usepackage{pdfpages}
\begin{document}

%\title{Programa ETAPS}
%\author{Braga, 2007}
%\date{}

\includepdf[fitpaper=true]{capa.pdf}

\subsection*{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, Potsdam

      Ugo Montanari, Pisa

      Rocco de Nicola, Firenze

      Hanne Riis Nielson, Copenhagen

      Jens Palsberg,Indiana

      Don Sannella, Edinburgh

      João Saraiva, Braga

      Vladimiro Sassone, Southampton

      Helmut Seidl , Munique

      Peter Sestoft, Copenhagen

      Andreas Zeller, Saarbrücken

      Lenore Zuck, Chicago

\subsection*{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)

      Victor Francisco Fonte (Website)

\newpage

\tableofcontents
\newpage

\section*{Welcome}

\subsection*{Welcome to Braga}

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.


\subsection*{Welcome to ETAPS 2007}

\section{Etaps Locations}