%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\subsection{Collaborations et Invitations}

\subsubsection{Collaborations universitaires}
% seulement celles relativement officielles
\begin{itemize}
\item ONERA, co-encadrement par C. Choppy et P. Carle de la thèse de 
  O. Bertrand (depuis février 2006)
\item University of South Australia et University of Adelaide (Australie), PAI
  FAST 2004--2006
\item University of South Australia et University of Adelaide (Australie), ARC
  Linkage International grant, 2004
\item University of South Australia small grant (Australie), 2005
\item Århus Universitet (Danemark), BRI Paris 13, 2004
\item USTHB (Algérie), encadrement de 2 thésards (C. Boukala et S. Mazouz) par
  L. Petrucci
\item LSV, ENS Cachan. Co-encadrement par L. Petrucci et A. Finkel de la thèse
  de S. Bardin, soutenue le 20 octobre 2005
\item Paris 7, encadrement par C. Choppy de la thèse de E. Sendroiu, soutenue
  le 16 décembre 2004
\item groupe de travail MeFoSyLoMa (Méthodes Formelles pour les Systèmes
  Logiciels et Matériels): LIP6, Lamsade, LIPN, CEDRIC et LTCI
\end{itemize}

%\subsubsection{Collaborations industrielles}
%\begin{itemize}
%\item projet Marie Curie - Transfer of Knowledge avec Net7 (Pise, Italie), 2006-2010. 
%\end{itemize}


\subsubsection{Séjours scientifiques}

\begin{description}
	\item[Christine Choppy] :
	\begin{itemize}
		\item Université de Gênes, Italie, 1 semaine en août 2003.
		\item Université de Duisburg-Essen, Allemagne, 1 semaine en 
                      Décembre 2003 et 1 semaine en Août 2005.
		\item University of South Australia et University of Adelaide,
			Australie, 1 mois en Avril/Mai 2005 et 1 mois en
			Avril 2006.
	\end{itemize}
	\item[Micaela Mayero] :
	\begin{itemize}
		\item Universidad de la Coru\~na, Espagne, 1 semaine en 
			septembre 2006.
	\end{itemize}
	\item[Laure Petrucci] :
	\begin{itemize}
		\item Université d'\AA rhus, Danemark, 2 semaines en octobre
			2004, et 1 semaine en octobre 2006.
		\item University of South Australia et University of Adelaide,
			Australie, 1 mois en Août 2004 et 1 mois en
			novembre/décembre 2005.
		\item Université de Yaoundé, Cameroun, 1 semaine en juillet
			2004.
		\item USTHB, Alger, Algérie, 1 semaine en mai 2005, 10 jours en
		  mai 2007.
	\end{itemize}
\end{description}