\documentclass[12pt]{article}
\usepackage{fullpage}

\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}

\title{ Workshop on Implicit Complexity and Logic \\
(ACI Project GEOCAL) \\
University Paris-Nord,  September 6th and 7th 2004\\
       Preliminary Program }
%\date{}
\begin{document}

\maketitle

 
\textbf{Location}: Institut Galil\'ee, amphith\'e\^atre Copernic.

 Universit\'e Paris-Nord,
 99, av. Jean-Baptiste Clément 
 93430 Villetaneuse, France.
 
\textbf{Organizers}: Patrick Baillot, Virgile Mogbil (LIPN, $ \tt {pb, vm}@lipn.univ-paris13.fr$). 

For updates of the program see the web page:
\begin{center}
\begin{verbatim}
http://www-lipn.univ-paris13.fr/~baillot/workshopGEOCAL/complexite.html
\end{verbatim}
\end{center}

\bigskip

\textbf{Invited speakers}: Luca Roversi (Torino, Italy), Kazushige Terui (NII Tokyo, Japan).

\smallskip

 {\bf Monday September 6th:}

%\vspace{3mm}
\begin{tabular}{lll}
&&\\
10:30   & K.~Terui (NII Tokyo) & \textit{Proof-nets and boolean circuits.}\\
11:15   & & Coffee break\\
11:45 & J.~Vauzeilles (LIPN Paris) & \textit{AI planning problems in the Horn Linear Logic:}\\
 &  & \textit{semantics and complexity.}\\
12:30 & M.~Pedicini (CNR Rome)& \textit{An embedding of Blum-Shub-Smale model of}\\
&&\textit{ computation in LLL.}\\
13:15 & & Lunch\\
14:30 & J.-Y.~Marion (LORIA Nancy) & TBA\\
15:15 & J.-Y.~Moyen (LORIA Nancy) & TBA\\
16:00 &  & Coffee break\\
16:30 & Y.~Guiraud (Montpellier) & \textit{Ordres de réduction pour les présentations d'opérades.}\\
17:15 & & end of the day\\
\end{tabular}

%\vspace{5mm}
\medskip

 {\bf Tuesday September 7th:}

%\vspace{3mm}
\begin{tabular}{lll}
&&\\
10:30    &L. Roversi (Torino)& \textit{Light Logics and recursion.}\\
11:15   & & Coffee break\\
11:45 & D. De Carvalho (IML Marseille) & \textit{Intersection types for}\\
&&\textit{ Light Affine Lambda-Calculus.} \\
12:00  & P. Coppola (Udine)& \textit{Type inference algorithms in}\\
&&\textit{ Elementary Affine Logic.}\\
13:15  & & Lunch \\
14:30 & U. Dal Lago (Bologna)   & TBA\\

15:15 &P. Baillot or V. Mogbil (LIPN Paris) & \textit{Soft lambda-calculus.}\\
16:00 && End of the workshop
\end{tabular} 


\end{document} 
---------------------------------------------------------------------------

{\bf INSCRIPTION}: il n'y a pas de frais d'inscription, mais pour des raisons
 d'organisation il est demandé d'informer Patrick Baillot
 (pb@lipn.univ-paris13.fr) de votre participation.

{\bf ACCES}:
voir: http://www-lipn.univ-paris13.fr/planfac/
En transports en commun: train de banlieue depuis gare du nord (gare de surface) pour
Epinay-Villetaneuse (10 min. de trajet); puis bus numéro 156 ou 356 pour l'arret Paris
 XIII. Sur le campus: Institut Galilée, salle B311 (plan du campus sur la page web).

-------------

\end{document}
