\subsubsubsection{Th\`eses en cours}

	\renewcommand{\arraystretch}{1.5}
	\noindent{\scriptsize \begin{longtable}{l}
	\tabTheseE{Nom}{Pr\'enom}{1\`ere insc.}{Situation}{Titre}{Directeur}{Co-encadrant} \\

	
\tabTheseE{CHEBALLAH}{Hayat}{10/01/07}{Alloc (07-10)}{}{}{} \\
\tabTheseE{SAIU}{Luca}{10/01/07}{Alloc (07-10)}{Définition et compilation d'un langage de programmation logique et fonctionnel inspiré de la logique linéaire et de la théorie des jeux combinatoires}{C. Fouqueré}{J.V. Loddo} \\
\tabTheseE{BERTRAND}{Olivier}{02/01/06}{CDI ONERA}{Simulations distribuées de type HLA et reconnaissance d'activités à base de chroniques}{C. Choppy}{P. Carle} \\
\tabTheseE{ATASSI}{Vincent}{10/01/05}{Alloc moniteur (05-08)}{Programmation fonctionnelle, typage en logique linéaire et réduction optimale}{J. Vauzeilles}{P. Baillot} \\
\end{longtable}}
	

\subsubsubsection{Th\`eses soutenues} (depuis 2004)



\renewcommand{\arraystretch}{1.5}
\noindent{\scriptsize \begin{longtable}{l}
\tabTheseG{Nom}{Pr\'enom}{Situation ult\'erieure}{Soutenance}{Mention}{Titre}{Directeur}{Co-directeur}{Jury} \\

\tabTheseG{HAMDOUN}{Sana}{}{12/20/06}{}{Modélisation, maintenance et integration des données hétérogènes}{K. Lellahi}{F. Boufarès}{Y. Bennani, C.F. Ducateau, D. Laurent} \\
\end{longtable}}
	


\subsubsubsection{Habilitations \`a Diriger des Recherches soutenues} (depuis 2004)



\renewcommand{\arraystretch}{1.5}
\noindent{\scriptsize \begin{longtable}{l}
\tabTheseH{Nom }{ Pr\'enom }{}{Soutenance}{Titre}{} \\

\tabTheseH{Toumazet}{Frédéric}{}{12/13/07}{Combinatorics of group characters}{Gérard Duchamp, Christophe Fouqueré, Florent Hivert (rapp), Gleb Koshevoy (rapp), Alain Lascoux (rapp), Jean-Christophe Novelli, Peter Paule (rapp), Jean-Yves Thibon (pdt)} \\
\end{longtable}}