\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} ç