%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\subsection{Activités doctorales}

%tableau nom / date / position actuelle pour HdR

%tableau nom / date / position actuelle pour thèses

\subsubsection{cours de DEA et stages / Master 2 recherche}

\subsubsubsection{Cours de DEA / Master 2 recherche}
\begin{itemize}
\item 2002-2005 (C. Fouqueré) : introduction aux logiques de description, \acs{DEA} IA-OC Paris 8 - Paris 13
\item 2001-2003 (P. Baillot, C. Fouqueré, J. Vauzeilles) : cours de théorie de la démonstration (option), \acs{DEA} logique et fondements de l'informatique, Paris 7
\item 2005-2006 (C. Fouqueré, V. Mogbil, J. Vauzeilles) : cours de Programmes et Preuves (option), master 2 recherche Informatique, Paris 13
\item 2003-04 (P. Baillot, avec O. Laurent): cours de théorie de la démonstration (option), \acs{DEA} logique et fondements de l'informatique, Paris 7
\item 2004-2007 (P. Baillot) : participation au cours 
\textit{Logique linéaire et paradigmes logiques du calcul} de R. Di Cosmo et D. Miller 
(3h/an en 2004-05, 9h/an depuis 2005), 
Master Parisien de Recherche en Informatique (P7-ENS Paris-ENS Cachan-X).
\item 2005-2007 (C. Fouqueré) : cours de théorie de la démonstration, \acs{DEA} Mathématique - Informatique, Antananarivo (Madagascar)
\end{itemize}

\subsubsubsection{Stages de DEA / Master 2 recherche}
\begin{itemize}
\item 2003 (P. Baillot) : D. de Carvalho (\acs{DEA} de logique université P7), \textit{Logique
 linéaire, complexité polynomiale et théorie des ensembles
 naive}. 
\item 2004 (C. Fouqueré) : L. Falempe (\acs{DEA} de logique université P7), \textit{Langage de Programmation Quantique: un prototype simple}
\item 2005 (P. Baillot, J. Vauzeilles) : V. Atassi (\acs{MPRI},
 Master STL université P6), \textit{Inférence de type en logique linéaire élémentaire}.
\item 2006 (V. Mogbil) : V. Rahli (\acs{MPRI}), \textit{Réseaux de preuves et  circuits
booléens}
\end{itemize}