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