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

\begin{document}

\maketitle
\begin{multicols}{2}

\subsection*{Interview with Don Batory}

\begin{center}
  \includegraphics[width=0.9\columnwidth]{don-batory}
\end{center}

Yesterday's CC invited talk by Don Batory was on ``Program
Refactoring, Program Synthesis, and Model-Driven Development''. Don
proposed a new, uniform  way of looking at metaprogramming
technologies, using tools from Algebra and Category theory. 

\begin{description}

\item[ETAPS daily] Can you tell us the story of how you became
  interested in the intersection of these three areas?

\item[D.B.] I used to work on databases, in particular on extensible
  databases. I realized how you could build databases from components,
  long before anyone was looking at architectures.  Unfortunately, the
  database community was not interested in this at all; they thought
  of it as Software Engineering, and in fact that was how I became
  interested in Software Engineering, to see if my ideas could be
  applied. If you look at a problem long enough and you represent
  programs mathematically, you start to realize that transformations
  are related to lots of other things. So there has to be something
  happening at an underlying level.

\item[ETAPS daily] Many mathematically-oriented people are applying
  algebraic tools in the context of component-based software
  architectures, but most of them do not have the insights from
  Software Engineering that you have. Since you seem to be coming in
  the opposite direction, would it be interesting to join forces and
  try to find out where both worlds meet?

\item[D.B.] Yes, that's precisely what I expect from events like this,
  to reach out to those people. There must be so many results that can
  be applied!

\item[ETAPS daily] You were introduced as someone with an interest in
  cactuses. Can you tell us a little bit about that? 

\item[D.B.] It's a hobby of mine. I grow cactuses in my backyard, I
  have several hundreds of species. 

\end{description}



\subsection*{Day Programme}

% Programme of Wednesday, March 28
\subsubsection*{09:00 - 10:10 SESSION 1 }

\begin{itemize}
\item
\textbf{Unifying Invited Talk} \\(Chair: Perdita Stevens, room: Enabler-Wipro)\\
    There and Back Again: Lessons Learned on the Way to the Market \\
    Rance Cleaveland 
(University of Maryland/Fraunhofer USA Center for Experimental Software Engineering and Reactive Systems Inc., USA) 
\end{itemize}

\subsubsection*{10:10 - 10:30 Coffee\\10:30 - 12:30 SESSION 2 }
\begin{itemize}
\item
\textbf{ ESOP} - Models and Languages for Web Services\\ (Chair: Matthew Hennessy, room:
Multicert)

\item
\textbf{ FASE} - Model Driven Development \\
(Chair: Maura Cerioli, room: Unicre)
\item
\textbf{ FOSSACS} - Automata \\
(Chair: Markus Mueller-Olm, room: Cisco)
\item
\textbf{ TACAS} - Abstraction Refinement \\
(Chair: Shmuel Katz, room: Enabler-Wipro)
\end{itemize}

\subsubsection*{12:30 - 14:30 Lunch\\14:30 - 15:40 SESSION 3A }
\begin{itemize}
\item

\textbf{ TACAS} - Invited Talk \\
(Chair: Rance Cleaveland, room: Enabler-Wipro)\\
Verifying Object-oriented Software: Lessons and Challenges\\
K. Rustan M. Leino (Microsoft Research, USA)
\end{itemize}

\subsubsection*{15:40 - 15:50 Break\\15:50 - 16:50 SESSION 3B }

\begin{itemize}
\item
\textbf{ ESOP} - Verification \\
(Chair: Pierpaolo Degano, room: Multicert)
\item
\textbf{ ESOP} - Term Rewriting \\
(Chair: Don Sannella, room: Unicre)
\item
\textbf{ FASE} - Tool Demonstrations \\
(Chair: José Nuno Oliveira, room: Cisco)
\item
\textbf{ TACAS} - Message Sequence Charts \\
(Chair: Nina Amla, room: Enabler-Wipro)
\end{itemize}

\subsubsection*{16:50 - 17:15 Coffee\\17:15 - 18:45 SESSION 4 }

\begin{itemize}
\item
\textbf{ ESOP} - Language Based Security \\
(Chair: Joshua Guttman, room: Multicert)
\item
\textbf{ ESOP} - Logics and Correctness Proofs \\
(Chair: Walid Taha, room: Unicre)
\item
\textbf{ FASE} - Distributed Systems \\
(Chair: Holger Giese, room: Cisco)
\item
\textbf{ TACAS} - Automata-Based Model Checking \\
(Chair: Daniel Kroening, room:
Enabler-Wipro)
\end{itemize}


\subsection*{Social Programme}

\subsubsection*{Banquet at Paço dos Duques (tickets required)}
\subsubsection*{19:00  Departure From Theatro Circo to Guimarães}




\subsection*{Paço dos Duques and the Castle of Guimarães}

The Palace of the Dukes of Braganza \emph{(Pa\-\c co dos Duques de
  Bragan\c ca)} in Gui\-ma\-r\~aes, was built around 1420 for a
bastard son of king John I of Portugal, the future Duke of Bragan\c
ca.  The construction of the pa\-la\-ce coincided with the
consecration of his marriage, when he came to live in Gui\-ma\-r\~aes.

% ~\footnote{Many toponyms in Nothern
%   Portugal stem from Gothic roots; Gui\-ma\-r\~aes, for instance,
%   stems from Count \emph{Vimara Peres}, where Peres means \emph{son of
%     Peter} and \emph{Vimara} means Weimar.}

\begin{center}
  \includegraphics[width=.9\columnwidth]{IPPARpacoDuques.jpg}
\end{center}

\noindent
The 16c marked the beginning of the pa\-la\-ce's ruin, which went
worse and worse during the 19c, when the pa\-la\-ce served as a quarry
for the neighboring population.  Rebuilding (started in 1937) gave the
pa\-la\-ce the European look that it has today.

The \emph{Pa\-\c co dos Duques} is classified as National Heritage
since 1910.  Many ta\-pes\-tries and porcelains are among the various
articles of workmanship on display in the pa\-la\-ce.  Among other 17c
paintings, visitors will find a portrait of Catarina de Bragan\c ca,
daughter of the eighth duke of Bragan\c ca and Queen consort of King
Charles II of England.

%JSP comentei
% The main wing on the palace's 2nd floor is destined to the Official
% Residence for the Presidency of the Republic. The \emph{Pa\-\c co} is
% located in the Conde Henrique Street in Gui\-ma\-r\~aes and it is open
% to the public.

\subsubsection*{The Castle of Gui\-ma\-r\~aes}

The Castle of Gui\-ma\-r\~aes was ordered to be built by Dona Mumadona
Dias in the 10c, in order to defend her monastery from Muslim and
Norman attacks. Count Dom Henrique (to whom the Portuguese county of
Portucale had been granted) chose Gui\-ma\-r\~aes to establish his
court. The fortress, then over a century old, needed urgent
renovation. The nobleman chose to destroy what remained of Mumadona's
construction, while extending the area of the castle and adding two
new doors. The castle continued to be the official royal residence
until the 12c, when the royal family moved to Coimbra and then to
Lisbon.


\begin{center}
  \includegraphics[width=.9\columnwidth]{250px-Pt-gmr-castelo.jpg}
\end{center}

\noindent

% JSP
% In 1836, a member of the \emph{Sociedade Patri\'otica Vimaranense}
% (Patriotic Society of Gui\-ma\-r\~aes) defended the demolition of the
% Castle, and suggested that its stones be used to pave the streets of
% Gui\-ma\-r\~aes, because the fortress had been used as a political
% prison during the reign of King Michael I. This was not accepted and
% 45 years later


In 1881 the \emph{Di\'ario do Governo} (Government Official Journal)
listed the Castle of Gui\-ma\-r\~aes as the most unique historic
monument in the whole region of Minho.  However, the castle had to
wait until 1910 to be formally classified as National Heritage, and
until 1937 for its restoration to start.  It was reopened on the
symbolic date of June 4, 1940, when Portugal's 800 years were
celebrated.


%\subsection*{Suggested Cultural Activities for March 28}


\subsubsection*{Shuttle Information}

\begin{tabular}{|r|r|l|l|}
\hline
Day	&	 Time &	From&		To \\
\hline
Wed, 28 	& 8:15 & 	 Bom Jesus &	 Theatro Circo \\
& 19:00 & 	Theatro Circo  &	Banquet \\
\hline
\end{tabular}

\subsubsection*{Walk Around the City Centre}

Tomorrow at 18:30. Meeting point: Theatro Circo

\subsubsection*{Weather}

Showers / wind, $13^\circ/7^\circ$ C.


\end{multicols}


\vfill


\hrule

\subsection*{Sponsor of the Day: \textsc{Multicert}}

\small

% JSP comentei
% Citizen Card, Portuguese Electronic Passport and the Electronic Vote
% are some of the most known security projects developed by MULTICERT in
% Portugal.

Focused on electronic certification and electronic
communication/transaction security, MULTICERT is broadly connected to
the new information and communication technologies and offers several
security solutions for individuals and companies. MULTICERT's products
and services range from the issuance of digital certificates (to
individuals, web server, codesigning, and others) to PKI Systems for
Enterprise and Government.

The company's core activity lies however in its larger
projects. Besides the Citizen Card, the Portuguese Electronic Passport
and the Electronic Vote project, the company retains an integrant part
in the EMV/CAP Authentication Platform, in the Electronic PostMark
(MDDE) and in the Electronic Invoice. MULTICERT has begun its activity
in 2002 and is committed to rendering electronic certification
services for security in electronic business, and to valuating,
diffusing and stimulating the development of the Digital Economy, in
Portugal and in Europe.

The company has its headquarters in Lisbon, and a branch office in
Porto. For more information visit the website www.multicert.com or
contact info@multicert.com.



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