%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\subsection{Dissémination}

% \subsubsection{brevets}

% \subsubsection{logiciels} (distribution open source ou non)

\subsubsubsection{actions de vulgarisation} %(p.e. science en f\^ete)
\begin{itemize}
\item P. Baillot, V. Mogbil:  Fête de la Science/ Savante Banlieue, université Paris 13, octobre 2003 et 2004: Poster (``Raisonner en informatique'').
\end{itemize}

\subsubsubsection{invitations, tutoriels, école d'été}
\begin{itemize}
\item  P. Baillot : exposé invité au  `6th International Workshop on Logic and Computational Complexity (LCC'04)
 (satellite
de LICS'04), ``Type Inference for Light Affine Logic Via Constraints on Words'', 12/7/04, Turku, Finlande.
\item P. Baillot : tutoriel (\textit{Linear logic, lambda-calculus and polynomial time complexity}) dans le cadre d'un cours ``Complexity and Logic'' de l'Ecole d'hivers de la session \textsc{geocal}06 (Geometry 
of Computation), CIRM Marseille, février 2006.
\item P. Baillot : tutoriel (1 séance) dans le cadre du cours \textit{Implicit Computational Complexity}
(responsable: Simone Martini), Bertinoro International Spring School for Graduate Studies in Computer Science, Italie, mars 2006. 
\item P. Baillot: tutoriel "On the Linear Logic Approach to Implicit Computational Complexity"
(avec U.~Dal~Lago), Workshop on Linear Logic deidcated to J.-Y.~Girard on his 60th Birthday, Siena, Italie, 17-20 mai 2007.
\item P. Baillot:  exposé invité à \textit{8th international Conference on Typed Lambda Calculi and Applications}
(TLCA'07),  "From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing",
26-28 juin 2007, Paris.
\item C. Fouqueré a été invité à donner un tutoriel sur les calculs de processus et la mobilité à la 2ème école franco-mexicaine sur les systèmes répartis coopératifs, Oct 2003
\item C. Fouqueré : "Logic programming revisited", \textsc{geocal}06 session, Marseille, 1 mars 2006 ; et Workshop Geometria, Roma 3, 28-30 avril 2006.
\item J. Vauzeilles : Final Meeting of the Project PROTOCOLLO, 14-17 Septembre 2004, Turin
\item J. Vauzeilles : Workshop  La geometria del calcolo, 28-29 avril 2006, Rome
\item J. Vauzeilles : First International Symmetry Conference, 14-17 janvier 2007, Edimburgh.
\end{itemize}