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

\begin{document}

\maketitle
\begin{multicols}{2}

\subsection*{Interview with Rance Cleaveland}


\begin{figwindow}[0,l,{
  \includegraphics[width=0.5\columnwidth]{rance-cleaveland}
},Rance Cleaveland] Yesterday we had the first unifying invited talk
of this year's ETAPS. The speaker told us how he and colleagues
decided to start a commercial project after a 15 year academic career,
and shared his
impressions on how to reach out to industry.\\ 
\textbf{ETAPS daily} What advice can you offer to an academic computer
scientist who wants to start a company?
\end{figwindow}

\begin{description}

% \item[ETAPS daily] What advice can you offer to an academic computer
%   scientist who wants to start a company?

\item[D.B.] Well, my talk was a series of advice. To sum up, the first
  thing is to know exactly who your customers are, and the second is
  to listen to what they are saying: the tool that you have in mind
  does not necessarily address the customer's needs. And for course,
  it takes money to start a company, so you have to make sure
  sufficient funds are available, from grants or investors.


\item[ETAPS daily] How did you feel, after 15 years, that the timing
  was right to start a company?

\item[D.B.] I think it was a combination of factors. One the one hand
  we felt that the product developed as part of our research had
  reached a level of maturity that allowed us to commercialize it
  successfully. The other factor had to to do with the environment at
  the time: with the internet boom we felt there could be
  opportunities for us, as there had been for other people starting
  companies.

\item[ETAPS daily] How did your commercial activity feed back into 
  your research work?

\item[D.B.] In more than one way. We found an appreciation for testing
  and realized the lack of formal work devoted to testing. A second
  aspect was the importance of decision procedures involving data. In
  pure finite-state model checking data is somewhat irrelevant, but
  when you're doing actual modeling it is the most important.

\end{description}




\subsection*{Message from S. C. Chair Perdita Stevens}

This is my third ETAPS as steering committee chair; in the middle of
this week I handed over to my successor, Vladimiro Sassone. It has
been a privilege to hold this job, although three years is long enough
and I am looking forward to being free to submit papers to ETAPS
again!

The ETAPSen while I've been SC chair have been in Edinburgh (by
coincidence my own city, though I did *not* also act as local
organiser!), Vienna and Braga. Looking forward, ETAPS'08 will be in
Budapest, ETAPS'09 in York. Enquiries from energetic potential local
organisers of future ETAPSen -- especially, but not exclusively, in
equally beautiful cities -- are welcome at any time; talk to
Vladimiro!

The first ETAPS, in Lisbon in 1998, was one of the first conferences I
ever attended. Since then I have missed only Barcelona in 2004 (I was
on maternity leave with a small baby who didn't sleep much...). In
that time I have seen ETAPS grow from promising beginnings into its
current preeminent position, in which authors submit their best work
and even the best research leaders seem to feel honoured to be invited
to speak. What I particularly value about ETAPS is the opportunity it
provides to dip into conferences one would not normally attend: coming
to ETAPS is an educational experience both in its depth and in its
breadth. The main challenge I see facing ETAPS in the future is to
allow for further growth without making ETAPS too daunting to
organise, or forcing it to take place in expensive conference
centres. I look forward to attending future ETAPSen, and I hope you do
too!


%\columnbreak


\subsection*{Day Programme}

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

\begin{itemize}
\item
\textbf{FASE} - Invited Talk \\(Chair: Matt Dwyer, room: Enabler-Wipro)\\
    Software Product Families: Towards Compositionality \\
    Jan Bosch (Nokia, Finland) 
\end{itemize}

\subsubsection*{10:00 - 10:30 Coffee}
\subsubsection*{10:30 - 12:30 SESSION 2 }


\begin{itemize}
\item
\textbf{ESOP} - Static Analysis and Abstract Interpretation I \\(Chair: Sophia
Drossopulou, room: Multicert)
\item
\textbf{FASE} - Specification \\(Chair: Marsha Chechik, room: Cisco)
\item
\textbf{TACAS} - Specification Languages \\(Chair: Marsha Chechik, room: Enabler-Wipro)
\end{itemize}

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

\begin{itemize}
\item
\textbf{Unifying Invited Talk} \\(Chair: João Saraiva, room: Enabler-Wipro)\\
    Contract-Driven Development \\
    Bertrand Meyer (ETH Zürich, Switzerland) 
\end{itemize}

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

\begin{itemize}
\item
\textbf{ESOP} - Static Analysis and Abstract Interpretation II \\(Chair: Sophia
Drossopulou, room: Multicert)
\item
\textbf{TACAS} - Security \\(Chair: Michael Huth, room: Enabler-Wipro)
\end{itemize}

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

\begin{itemize}
\item
\textbf{ESOP} - Semantic Theories for OO Languages \\(Chair: Gerard Boudol, room:Multicert)
\item
\textbf{FASE} - Services \\(Chair: José Fiadeiro, room: Cisco)
\item
\textbf{TACAS} - Software and Hardware Verification \\(Chair: Orna Grumberg, room:Enabler-Wipro)
\end{itemize}


\subsection*{Suggested Cultural Activities for March 29}

\begin{description}
\item[Grupo de Câmara do Porto]: Igreja do Hospital de S. Marcos, Chamber music, 21:30 (free admitance).\\
  \textbf{Bach} -- motet \emph{Jesu meine Freunde};\\
  \textbf{Rheinberger} -- \emph{Stabat Mater}\\
\end{description}

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

% \subsubsection*{Walk Around the City Centre}

% Today at 18:30. Meeting point: Theatro Circo

\subsubsection*{Shuttle Information \& Weather}


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

Partly Cloudy, $14^\circ/6^\circ$ C.


\subsubsection*{A Geographic Information System in Braga in 1750}
The Braga District Archives keep a quite unique document dated 1750: a collection of
drawings of nearly 60 streets in town meticulously drawn with accurate dimensions
(see that of \emph{Souto} street below). This
document --- known as the \emph{Mapa das Ruas de Braga} (Braga's Street Map) --- is
the geographic component of a complex information system which associates to each house
number records of relevant legal documents concerning it. In many cases,
the history of the house can be traced back to the 14c.

% JSP repetido e editado em baixo
% \noindent
% The \emph{Mapa} was commissioned to priest Ricardo Ro\-cha
% (1702--1767) in order for the archbishop's provisor to calculate taxes, which were
% proportional to facade dimensions, number of windows and so on.
% This information system was of great help to reorganize the archdiocesan archives,
% which were in complete disarray after a long period of \emph{sede vacante}
% (1728-1741) in which Braga had no archbishop.

\noindent
The \emph{Mapa} was commissioned to priest Ricardo Ro\-cha
(1702--1767) in order for the archbishop's provisor to calculate
taxes.  This information system was of great help in reorganizing the
archdiocesan archives, which were in complete disarray after a long
period of \emph{sede vacante} (1728-1741) in which Braga had no
archbishop.


\emph{Mapa das Ruas} provides clear evidence that (geographic) information systems
predate computers by more than two hundred years.
A facsimiled edition of the \emph{Mapa}
was published in 1989/91 thanks to the joint effort of the Archives and the
Informatics Department, supported by IBM Portugal.
(See \emph{Preserving Portugal's Past For the Future}, The IBM Magazine,
vol.\ 58, 1992.)



\end{multicols}

\begin{center}
  \includegraphics[width=.9\textwidth]{RSouto2.jpg}
\end{center}
\vfill



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

\small

%% aqui estao os paragrafos de texto da EDigma para aparecer no jornal diario.
%% Provavelmente e texto em demasia. Se for sugiro que na lista de produtos fiquem so com a primeira linha.


Displax® - Touching the future (Displax® is a trademark of Edigma.com, SA.)

Edigma.com, SA was founded in Portugal, in 2000, and started by
developing a wide range of applications for several sectors of
organizations to manage their business online and remotely anytime,
anywhere they want. In 2004, believing that it was capable of
reinventing the future, Edigma.com, SA started a R\&D program in
interactive technologies with CCG/ZGDV and Minho University. This was
the basis to support the appearance of Displax® technology. In 2004,
Displax® - Interactive window, a highly innovative product, was
successfully launched, winning immediately the award of the most
innovative product presented at Comtec.

Displax® products make it possible to innovate and re-invent ourselves
as time goes by, discovering the path into the future. Our concern
with R\&D is a dedication and it is without a doubt our major
investment, and as enabled us to create and provide products such as
the Displax® Interactive Holo: a cutting-edge concept of interaction,
98\% transparent, composed of an holographic and transparent
interactive display, similar to a glass, providing a new way of
engaging viewers and providing interactive content.

% Displax® Interactive Foil: a revolutionary removable adhesive touch
% sensor, allowing instant shop window applications. This technology is
% totally transparent, and it can be quickly and easily attached inside
% a window in less than half an hour, creative an interactive
% transparent surface on any existing glass window. It is the result of
% a deep know-how on how to produce effective interactive technologies.

% Displax® Interactive Floor: a completely new way of interacting by
% walking on the floor. WOW contents can surprise clients by turning a
% shop floor into an interactive surface! Now you can use your floor to
% display interactive contents and games, not just static publicity.
% Displax® Interactive LCD/Plasma frames: interactivity taken to
% professional wide-screen displays. LCD´s and Plasmas feature sleek
% design, large viewing area and indoor exceptional picture quality for
% business and professional applications. Our wide range of interactive
% touch frame sizes allows optimum and low cost system integration
% capability with a wide range of commercial LCD and Plasma displays.

Displax® is opening a new window to the world. Be more than a
spectator. Get in contact and you will feel the future in your own
hands.
%
Visit us at www.displax.com or www.edigma.com

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