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

\begin{document}

\maketitle
\begin{multicols}{2}


\subsection*{Interview with Jan Bosch}

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

Yesterday's \textbf{FASE} invited talk was on ``Software Product
Families: Towards Compositionality''.  The speaker shared with us some
of his experience as a software engineer and manager at Nokia.


\begin{description}

\item[ETAPS daily] 20000 researchers is a big research group to
  manage. How do you do it?

\item[J.B.] Well, we do have 22000 engineers working on R\&D, but they
  are in different product groups and teams. Large software
  development groups can easily have more than 1000 people working
  there, and that requires a lot of coordination, management, and
  actual architecture support.  There are no ``one size fits all''
  answers; there are some principles that you can apply, but large
  organisations have with time built up a culture that allows to
  manage this complexity.


\item[ETAPS daily] How is the research structure at Nokia organised?

\item[J.B.] Basically we have a horizontal layer called technology
  platforms, which develops both hardware, mechanical, and software
  platforms; they are put together and those integrated platforms are
  given to the business groups: multimedia, enterprise solutions, and
  mobile phones. Business groups take an integrated platform and build
  a product's specific configuration on top of that. Each business
  group has its own R\&D staff.
  
\item[ETAPS daily] Can you tell us a little bit about how Nokia
  connects to universities and other research institutions? Is that
  something the company values?

\item[J.B.] We value it a lot; in fact this is handled mostly through
  the Nokia research centre, a 1000 person organisation. One major
  change that we've made over the last years is that we used to have a
  model in which we worked with many different universities in
  relatively small projects, and we have now moved to a model in which
  we work with just a number of selected universities, in a much
  deeper collaboration. These include the MIT in Boston, where we have
  a joint research centre; a new site in Palo Alto, and a very recent
  collaboration centre at Cambridge university in the UK.

\end{description}




\subsection*{Day Programme}

\subsubsection*{09:00 - 10:00 SESSION 1 }

\begin{itemize}
\item
\textbf{ESOP} - Invited Talk \\
  (Chair: Rocco De Nicola, room: Enabler-Wipro)\\
    Techniques for Contextual Equivalence in Higher-Order, Typed Languages \\
    Andrew Pitts (University of Cambridge, UK) 
\end{itemize}
\subsubsection*{10:00 - 10:05 ETAPS 2008 -- Budapest}
\subsubsection*{10:05 - 10:30 Coffee\\10:30 - 12:30 SESSION 2 }

\begin{itemize}
\item
\textbf{ESOP} - Process Algebraic Techniques \\
  (Chair: Rocco De Nicola, room:
Enabler-Wipro)
\item
\textbf{FASE} - Testing \\
  (Chair: Reiko Heckel, room: Cisco)
\item
\textbf{TACAS} - Decision Procedures and Theorem Provers \\
  (Chair: Parosh Abdulla, room:
Multicert)
\end{itemize}

\subsubsection*{12:30 - 14:30 Lunch\\14:30 - 16:30 SESSION 3 }

\begin{itemize}
\item
\textbf{ESOP} - Applicative Programming \\
  (Chair: Matthew Hennessy, room: Cisco)
\item
\textbf{FASE} - Analysis \\
%% JJ:era  (Chair: Tom Maibaum, room: Unicre)
  (Chair: Juergen Dingel, room: Unicre)
\item
\textbf{TACAS} - Model Checking \\
  (Chair: Orna Grumberg, room: Multicert)
\end{itemize}

\subsubsection*{16:30 - 17:00 Coffee\\17:00 - 18:30 SESSION 4 }

\begin{itemize}
\item
\textbf{ESOP} - Types for Systems Properties \\
  (Chair: Walid Taha, room: Cisco)
\item
\textbf{FASE} - Design \\
  (Chair: Antónia Lopes, room: Unicre)
\item
\textbf{TACAS} - Infinite-State Systems \\
  (Chair: Michael Huth, room: Multicert)
\end{itemize}

\vfill
 \pagebreak

\subsection*{ETAPS 2008 -- Budapest (by Dániel Varró)}

ETAPS 2008 will be hosted by Budapest between March 29th and April 6th as the 11th event in the series.

Budapest, the capital of Hungary, was founded in 1873 as the unification of the separate historic towns of Buda (the royal capital since the 15th century), Pest (the cultural centre) and Óbuda (built on the ancient Roman settlement of Aquinqum). The city is bisected by the River Danube, which makes Budapest a natural geographical centre and a major international transport hub. Budapest has a rich and fascinating history, a vibrant cultural heritage, yet it managed to maintain its magic and charm. It has also been called the City of Spas with a dozen thermal bath complexes served by over a hundred natural thermal springs.

ETAPS will be located on the wonderful Margareth Island  in the heart of Budapest right in the middle of the River Danube, being literally an island of calm and relaxation.





\subsection*{Quizzes for non-Portuguese speakers}
Guess the meaning of the following idiomatic phrases,
all having to do with Braga and widely used throughout the country
(since God knows when...):
\begin{enumerate}
\item	
``To send somebody below Braga'' \emph{(Mandar algu\'em abaixo de Braga)}
\item	
``To watch Braga through a tube'' \emph{(Ficar a ver Braga por um canudo)}
\item	
``You're from Braga and your name is Laurence!'' \emph{(\'Es de Braga e chamas-te Lourenço!)}
\item	
``[To be] older than Braga's Cathedral'' \emph{(Mais velho que a S\'e de Braga)}
\end{enumerate}


\columnbreak



\subsection*{Suggested Cultural Activities for March 30}

\begin{tabular}{ll}
  \includegraphics[width=0.43\columnwidth]{silencio} & 
  \begin{tabular}[b]{l}
    \includegraphics[width=0.39\columnwidth]{croonettes}\\
    \includegraphics[width=0.39\columnwidth]{slimmy}
  \end{tabular}
\end{tabular}

\begin{itemize}
\item Theater: \textbf{Silêncio} (in Portuguese)\\
  Wed. to Sat. at 21:30; Sunday at 16:00\\
  Auditório do Teatro Universitário do Minho\\
  Rua do Farto (close to the cafe ``Frigideiras da Sé'')\\
  Bookings: 965530263


\item Concerts: why not experience the conference venue from a
  different perspective? This evening two concerts will take place at
  Theatro Circo.
  \begin{itemize}
  \item \textbf{The Croonettes}\\
    (Germanland 2007 cycle)\\
    Theatro Circo, 22:00
  \item \textbf{Slimmy}\\
    Theatro Circo, 23:59
  \end{itemize}
\end{itemize}





\subsubsection*{Shuttle Information}


\begin{tabular*}{.95\columnwidth}{|r|r|@{\extracolsep{\fill}}l|@{\extracolsep{\fill}}l|}
\hline
Day	&	 Time &	From&		To \\
\hline
Fri, 30 	&  8:15 &	 Bom Jesus & 	 Theatro Circo \\
& 22:00 &	Theatro Circo &	Bom Jesus \\
\hline
\end{tabular*}

\subsubsection*{Weather}

Showers, $13^\circ/9^\circ$ C.


\subsubsection*{Computer Room}

Will close today at 14:30.




\end{multicols}


\vfill

\hrule
\subsection*{Sponsor of the Day: \textsc{ParadigmaX}}

\small

PARADIGMAXIS - Arquitectura e Engenharia de Software, SA is a
privately held portuguese company that specializes in the development
and integration of software systems dedicated to the processing of
spatio-temporal information, with special emphasis on mobile systems.

PARADIGMAXIS develops high quality custom solutions, using software
engineering best practices and reusing standard components. The
combination of eXtreme Programming, Software Reuse, Object-Orientation
and Literate Programming, is crucial for the success of the solutions
that it develops.

Founded May 2000, located in Porto, it has in its staff PhD, MSc and
Software Engineers with different and complementar backgrounds, thus
allowing it to cover a wide variety of software development, software
integration, or consulting projects. Amongst its clients is the Nato
Consultation Command and Control Agency (NC3A), for which it is
developing components for NATO's command and control system.

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