\documentclass[english,a4paper]{article}
\usepackage{etaps}
\usepackage[T1]{fontenc}
\usepackage[latin1]{inputenc}
\usepackage[english]{babel}
\usepackage{aeguill}
\usepackage{url}
%\usepackage{graphicx}
%\usepackage{compact}
\usepackage{multicol}
\usepackage{picinpar,graphicx}
%\usepackage{fancyvrb}
%\fvset{fontsize=\small, numbers=left, frame=single, numberblanklines=false, xleftmargin=6mm}

\author{Number 3}
\date{March 26, 2007}

\begin{document}

\maketitle
\begin{multicols}{2}


\subsection*{Day Programme}

\subsubsection*{09:00 - 10:30 SESSION 1 }
\begin{itemize}
\item \textbf{Welcome }
\item \textbf{FOSSACS} - Invited Talk\\ Chair: Helmut Seidl (Enabler Wipro
room) \\
Formal foundations for Aspects \\
Radha Jagadeesan (DePaul University, USA) 
\end{itemize}

\subsubsection*{10:30 - 11:00 Coffee}
\subsubsection*{11:00 - 12:30 SESSION 2 }
\begin{itemize}
\item \textbf{CC} - Architecture\\ Chair: Martin Odersky (Cisco room)
\item \textbf{FOSSACS} - Games and Mu Calculus\\ Chair: Helmut
Seidl (Multicert room) 
\item \textbf{TACAS} - Software Verification\\ Chair: Natasha
Sharygina (Enabler Wipro room) 
\end{itemize}

\subsubsection*{12:30 - 14:30 Lunch}
\subsubsection*{14:30 - 16:30 SESSION 3 }
\begin{itemize}
\item \textbf{CC} - Garbage Collection and Program Analysis\\ Chair: Reinhard
Wilhelm (Cisco room)
\item \textbf{FOSSACS} - Logic\\ Chair: Hubert Comon (Multicert room)
\item \textbf{TACAS} - Probabilistic Model Checking and Markov Chains Chair:
  Holger Hermanns (Enabler Wipro room)
\end{itemize}

\subsubsection*{16:30 - 17:00 Coffee}
\subsubsection*{17:00 - 18:30 SESSION 4 }
\begin{itemize}
\item \textbf{CC} - Register Allocation\\ Chair: Ganesan Ramalingam (Cisco
room)
\item \textbf{FOSSACS} - Formal Languages and Complexity\\ Chair: Igor
Walukiewicz (Multicert room)
\item \textbf{TACAS} - Static Analysis\\ Chair: Tiziana Margaria (Enabler
Wipro room)
\end{itemize}

\subsection*{Social Programme}

\subsubsection*{19:00 Welcome Reception (free admittance)}
Largo do Pa\c{c}o (\emph{University Rectorate Building}
) \\
The \emph{Etaps Organization} invites all ETAPS participants to the
welcome reception.


% passou para outro número, a definir (talvez 4a.fa.)
% \fbox{
% \parbox{\columnwidth}{
% \subsubsection*{ETAPS Numbers}
% Participants registered for main conferences: 445+21\\
% Participants registered for satellite events: 160+13
% }}

\columnbreak

\subsection*{Largo do Paço}
The University of Minho's Rectorate and Central Administration services are
located at the Paço Square, in a palace that used to be the archbishops'
official residence. This palace has a long record of successive constructions
and renovations, leading to a complex building incorporating the Gothic,
mannerist and baroque styles.

\begin{center}
  \includegraphics[width=.90\columnwidth]{Reitoria.jpg}
\end{center}

\noindent
The oldest wing is that facing Saint Barbara's
Gardens, which was built by archbishop Gonçalo Pereira in the 14c. The inner
part of the eastern wing is due to archbishop Manuel de Sousa (1544-1549)
and the southern wing was built at the time of archbishop Agostinho de Jesus
(1587-1609).

%\includegraphics[width=.30\columnwidth]{StaBarbara.jpg}

The plant of the building in the 16c can be seen on the map
of Braunio (1597) depicted below. The Paço is the quadrangular
red-roofed building close to the cathedral.

\begin{center}
  \includegraphics[width=.90\columnwidth]{BraulioMap.jpg}
\end{center}

The beautiful fountain at the center of the main square is known as
the Castle Fountain (1723) and has become a spot for students
entertainment, when they push down into the fountain the new students
at the beginning of the school year, as part of a tradition called
\emph{praxe}.  Finally, the block facing the Council Square is
ba\-roque in style and was the initiative of archbishop Jos\'e de
Bragan\c ca, a natural son of the Portuguese king John V.  This
building currently hosts the Braga Public Library and the Braga
District Archives, which are regarded by medieval history specialists
as the second most relevant in the country, after the Tombo Tower
Archives in Lisbon.

\begin{center}
  \includegraphics[width=.90\columnwidth]{BibliotecaBraga.jpg}
\end{center}

There are lively records of a busy life at the Pa\c co in the 17th and
18th centuries, either crowded with clergymen dealing with matters
concerning their parishes or animated with parties, music and games,
often open to the public.



\subsection*{Suggested Cultural Activities for March 26}

Exhibition on the life of the Portuguese writer Miguel Torga.

\begin{center}
  \includegraphics[width=.40\columnwidth]{miguel-torga}
\end{center}


  Miguel Torga, pseudonym of Adolfo Correia Rocha (São Martinho de
  Anta, Portugal, August 12, 1907- Coimbra, January 17, 1995) was one
  of the greatest Portuguese writers of the 20th century. He wrote
  poetry, short stories, theater and a 16 volume diary.

  He was a member of the literary movement Presença for a short period
  before founding two cultural magazines in the 1930´s.
  After the value of his work was being recognized, he went on to
  receive several awards, as the Prémio Camões in 1989 and the
  Montaigne award in 1981.

  His work deals mainly with the nobility of the human condition in a
  beautiful but ruthless world where God is nothing but a passive and
  silent, indiferent creator.\\[4mm]

Organised by the public library of Braga, the exhibition is presented
at the university rectorate at Largo do Paço (main foyer). It will be
shown until the end of the month, Monday to Friday from 9:00 to 12:30
and 14:00 to 17:30.


\subsubsection*{Shuttle Information}


\begin{tabular*}{1.03\columnwidth}{|r|r|@{\extracolsep{\fill}}l|@{\extracolsep{\fill}}l|}
\hline
Day	&	 Time &	From&		To \\
\hline
Mon, 26 	&  8:15 &	 Bom Jesus &	 Theatro Circo\\
& 22:00 &	Theatro Circo &	Bom Jesus \\
\hline
Tue, 27 	& 8:15 &	 Bom Jesus &	 Theatro Circo\\
& 23:00 &	Theatro Circo 	& Bom Jesus \\
\hline
\end{tabular*}


\subsubsection*{Quiz}
How wide is the narrowest house in Braga? (You can see it from the 
entrance of Paço)

\subsubsection*{Walk Around the City Centre}

Tomorrow at 12:30. Meeting point: Theatro Circo

	
\subsubsection*{Weather}
Mostly Sunny, $16^\circ/7^\circ$ C.

\fbox{
\parbox{\columnwidth}{
\subsubsection*{Suggested Vegetarian Restaurants}

\begin{itemize}
\item Restaurante Gostosuperior\\
Praça Mouzinho de Albuquerque, 29 (Campo Novo)\\
Tel: 253 217 681

\item Sabor Natural\\ 
Praça do Bocage, 29 (S. Victor), 4710-360 Braga,\\
Tel: 253 254 259

\item Anjo Verde\\
Largo da praça Velha, 21\\
Tel: 253264010

\item O Alfacinha\\
Rua D. Gonçalo Pereira, 75\\
Tel: 253261021 
\end{itemize}
}}

\end{multicols}

\vfill

\hrule

\subsection*{Sponsor of the Day: \textsc{Enabler Wipro}}

Enabler Wipro is an international IT and business services company
that delivers measurable value to the world's best-known
retailers. The company works with retailers on their business and IT
transformation programmes to achieve competitive advantage.

Enabler Wipro's knowledge, retail and IT experience help retailers
reduce risk when deploying critical projects.  With an increasing
worldwide presence, the company has over 300 employees and reached a
turnover exceeding Euros 30 million in 2006.
%
Enabler Wipro is proud to serve leading international retailers and
wholesalers including Tesco, Nisa-Today's, Sonae, AVA, Esprit and
Despar.

In 2006 Enabler became a part of Wipro Technologies, a division of
Wipro Limited (NYSE:WIT), one of the largest product engineering and
support service providers worldwide.
%
For more information, please visit www.enabler.com



\includegraphics[width=\textwidth]{pat-jornal}
\end{document}
ç
