\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 2}
\date{March 25, 2007}

\begin{document}

\maketitle
\begin{multicols}{2}

\subsection*{How to get to the University Campus at Gualtar}

Satellite events on March 24 and 25 will take place at the University
Campus, in the area of the city known as Gualtar. If the weather is
nice, you may want to walk. It should take you about 30 minutes from
the city center. Walk in the direction of Bom Jesus, through Rua de
S. Vitor, Rua de D. Pedro V, and Rua Nova de Sta. Cruz.

Alternatively you can use the shuttle that will run on Saturday and
Sunday. Shuttles will leave from two locations in the city center, see
timetable below and map.

At the campus (see map) you should have no trouble in finding the CP2
building, where events will be located. This is the first building you
will see coming from the city center. 

The registration desk will be located in the entrance hall of the CP2
building. The opening hours are 8:30 - 18:00. Lunch (included in the
workshops daily fees) will be served at the university restaurant (see
map).

\includegraphics[width=\columnwidth]{campus}



\subsubsection*{Shuttle Information}


\begin{tabular}{|r|r|l|l|}
\hline
Day	&	 Time &	From&		To \\
\hline
Sun, 25     & 	 8:15 &	Train Station& 	Univ. Campus\\
	      	&	 8:15 &	H. Turismo &	Univ. Campus\\
		&	 8:15 &	Bom Jesus &	Univ. Campus\\
		&	 18:45 &	Univ. Campus &	City Center\\
		&	 18:45 &	Univ. Campus &	Bom Jesus: WS
Dinner\\
		&	 23:00 &	Bom Jesus &	City Center\\
\hline
Mon, 26 	&  8:15 &	 Bom Jesus &	 Theatro Circo\\
& 22:00 &	Theatro Circo &	Bom Jesus \\
\hline
\end{tabular}


\subsection*{Day Programme}

\paragraph{Workshops}

\begin{itemize}
\item ACCAT -- Applied and Computational Category Theory\\ 
09:00-18:00, room: CP2-103
\item COCV -- Compiler Optimization meets Compiler Verification\\ 
09:00-18:00, room: CP2-108
\item HAV -- Heap Analysis and Verification\\ 
09:00-18:00, room: CP2-104
\item HFL -- Hardware design using Functional Languages\\ 
09:00-18:00, room: CP2-110
\item LDTA -- Seventh Workshop on Language Descriptions, Tools and
  Applications\\ 
09:00-18:00, room: CP2-111
\item QAPL -- Fifth Workshop on Quantitative Aspects of Programming
  Languages\\ 
09:00-18:00, room: CP2-105
\item SC -- Workshop on Software Composition\\ 
09:00-18:00, room: CP2-101
\item WITS -- WITS -- 7th International Workshop on Issues in the Theory of
  Security\\
09:00-18:00, room: CP2-102
\end{itemize}

\paragraph{Social Programme}

\begin{itemize}

\item Joint Workshops Pre-Conference Dinner at Bom Jesus (tickets required)\\
  18:45 Shuttle departure from University Campus, Gualtar

\end{itemize}

\vfill


\subsection*{The \emph{Bom Jesus} Funicular} 

The Bom Jesus funicular was the first built in the Iberian Peninsula
(1880-1882). It was the initiative of Manuel Joaquim Gomes
(1840-1894), a businessman from Braga who commissioned the project
from Niklaus Riggenbach (1817-1899), the well-known Swiss engineer and
locomotive builder. The project was directed locally by Raoul Mesnier
du Ponsard (1848-1914), a Portuguese engineer of French origin.

\begin{center}
  \includegraphics[width=0.8\columnwidth]{Elevador_Bom_Jesus}
\end{center}

This funicular, which had a great impact at its time, is the oldest in
the world powered by water ballast and still in regular service: water
is loaded into the car at the top of the hill, which weights it down
as it slides to the bottom, at the same time drawing the lighter,
drained car up the hill, where the process starts all over again. 
The drained water is used for irrigation.

The
funicular track is 274 meters long and descends 116 meters, giving an
average gradient of around 42\%. Journey time is 2.4 to 4 minutes and
its capacity is 38 passengers per car. Its timetable is from 8am to
8pm, every half hour.

\subsubsection*{Challenge:}
Build a model of the Bom Jesus funicular tracking system in your 
favorite formal notation, framework or tool and prove the 
following (liveness) property: ``the Bom Jesus funicular will 
remain the most environment-friendly means of  transportation in the
world as long as water springs off the Bom Jesus hill top''. 

\subsection*{Suggested Cultural Activities for March 25}

If you have free time in the afternoon, why not visit the Photography
Museum?  On Sundays, open from 14:30 to 18:00.

\begin{center}
  \includegraphics[width=0.8\columnwidth]{museu-imagem}
\end{center}
Museu da Imagem\\
Campo das Hortas, 35-37\\
Tel: 253 278 633


\subsubsection*{Answer to the Quiz of Number 1}
Pablo Picasso

\subsection*{Weather}

Mostly Sunny, $17^\circ/8^\circ$ C.

\end{multicols}


\vfill

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


