\subsubsubsection{Thèses en cours}

\renewcommand{\arraystretch}{1.5}
\noindent{\scriptsize \begin{longtable}{l}
\tabTheseE{Nom}{Prénom}{1ère insc}{Situation}{Titre}{Directeur}{Co-encadrant} \\

\tabTheseE{BOSSARD}{Aurélien}{2006}{\acs{AM}}{Evolution et fusion d'informations extraites de données en langage naturel}{D. Kayser}{T. Poibeau} \\
\tabTheseE{BOUTOUHAMI}{Sarah}{2006}{}{Argumentation}{D. Kayser}{} \\
\tabTheseE{RASONAIVO}{Andry}{2006}{Bourse \acs{AUF}}{Conception d'algorithmes efficaces dans les réseaux de télécommunication}{C. Lavault}{S. Toulouse} \\
\tabTheseE{GROZAVU}{Nistor}{2006}{Contrat Cap Digital}{Réduction de dimensions en apprentissage non supervisé}{Y. Bennani}{} \\	
\tabTheseE{ROGOVSCHI}{Nicoleta}{2006}{Contrat Septia}{Apprentissage numérique et réseaux sociaux}{Y. Bennani}{E. Viennet} \\
\tabTheseE{KENNICHE}{Hichem}{2006}{\acs{AM}}{}{C. Lavault}{G. Duchamp} \\
\tabTheseE{SADKI}{Jalila}{2006}{\acs{AM}}{Méthodes de décomposition pour la résolution de problèmes de planification optimale de grande taille en transport}{A. Nagih}{L. Alfandari} \\
\tabTheseE{MONDARY}{Thibault}{2006}{\acs{AM}}{Conception d'une méthode coopérative de mise à jour de règles d'extraction à base de corpus textuels}{A. Nazarenko}{S. Després} \\	
\tabTheseE{MESSIANT}{Cédric}{2006}{Bourse \acs{DGA}}{Acquisition semi-automatique de patrons d'extraction}{A. Nazarenko}{T. Poibeau} \\
\tabTheseE{ELATI}{Mohamed}{2006}{Bourse \acs{MAE}}{Apprentissage de réseaux de régulation géniques à partir de données d'expression}{C. Rouveirol}{} \\
\tabTheseE{BERTRAND}{Olivier}{2006}{Bourse \acs{ONERA}}{Simulations distribuées de type HLA et reconnaissance d'activités à base de chroiniques}{ C. Choppy}{ P. Carle} \\
\tabTheseE{HAMON}{Olivier}{2005}{\acs{CIFRE} Elda}{Méthodologies et protocoles d'évaluation des technologies de la langue et de la communication homme-machine}{ A. Nazarenko}{} \\
\tabTheseE{ATASSI}{Vincent}{2005}{\acs{AM}}{Programmation fonctionnelle, typage en logique linéaire et réduction optimale}{ J. Vauzeilles}{ P. Baillot} \\
\tabTheseE{CAILLIAU}{Frédérick}{2005}{\acs{CIFRE} Sinequa}{Conception  et mise en oeuvre d'un système de gestion de resources linguistiques}{ A. Nazarenko}{} \\
\tabTheseE{LAVAL}{Olivier}{2005}{\acs{AM}}{Approximation du problème de plus court chemin avec contraintes de ressources au sein d'un schéma de génération de colonnes	}{ A. Nagih}{ S. Toulouse} \\
\tabTheseE{TOUATI}{Nora}{2005}{\acs{AM}}{Ré-optimisation au sein d'un schéma de génération de colonnes	}{ A. Nagih}{ L. Létocart} \\
\tabTheseE{ASEERVATHAM}{Sujeevan }{2004}{\acs{AM}}{Modélisation algébrique et apprentissage de motifs séquentiels : application aux séquences biologiques	}{ P. Dague}{ E. Viennet} \\
\tabTheseE{BOUFFIER}{Amanda}{2004}{\acs{AM}}{Evolution et fusion des informations extraites  de corpus en langage naturel	}{ D. Kayser}{ T. Poibeau} \\
\tabTheseE{DEHNI}{Lahcène}{2004}{}{Apprentissage connexionniste non supervisé sous contraintes et réseaux de capteurs}{ Y. Bennani}{} \\
\tabTheseE{FALEMPE}{Lionel}{2004}{\acs{AM}}{Langages de programmation quantique	}{ C. Fouqueré}{} \\
\tabTheseE{ANDRIAMAMPIANINA}{Tsiriniaina}{2003}{\acs{ATER}}{Modélisations algorithmiques des hypergraphes aléatoires}{ C. Lavault}{ V. Ravelomanana} \\
\tabTheseE{KAROUI}{Hager}{2003}{\acs{ATER}}{Un framework multi-agents pour l'aide à l'accès coopératif et intelligent à l'information distribuée	}{ L. Petrucci}{ R. Kanawati} \\
\tabTheseE{WEISSENBACHER}{Davy}{2003}{\acs{AM}}{Normalisation syntaxico-sémantique de textes pour faciliter l'extraction d'informations : collaboration  entre les techniques de TAL et d'apprentissage	}{ C. Fouqueré}{ A. Nazarenko} \\	
\tabTheseE{LEMALADE}{Jean-Luc}{2002}{Bourse franco-malgache}{Optimisation de la gestion des ressources  agricoles en milieu forestier tropical	}{ G. Plateau}{ A. Nagih} \\
\end{longtable}}


\subsubsubsection{Thèses soutenues} (depuis le 01/01/2002)

\renewcommand{\arraystretch}{1.5}
\noindent{\scriptsize \begin{longtable}{l}
\tabTheseG{Nom}{Prénom}{Situation ultérieure}{Soutenance}{Mention}{Titre}{Directeur}{Co-directeur}{Jury} \\
\tabTheseG{BOURGOIS}{Laure}{}{19/06/07}{TH}{Exploitation d'ontologies pour la combinaison automatique de composants logiciels	}{ F. Lévy}{ A.Delteil}{P. Dague (rapp), Christophe Fouqueré (pdt), L. Hénocque, F. Toumani (rapp)} \\
\tabTheseG{DJEROUROU}{Fayçal}{Ing. R\&D Intelligence Power}{15/06/07}{TH}{Etude des méthodes de recherche locale pour la satisfaction de contraintes}{ H. Bennaceur}{}{G. Plateau (Pdt), Jin-Kao Hao (rapp), L. Sais (rapp), C. Lecoutre, C. Lavault, M. Guignard-Spielberg} \\
\tabTheseG{NOUIOUA}{Farid}{\acs{ATER}}{25/04/07}{TH}{Extraction et utilisation de normes pour le raisonnement causal sur un corpus textuel	}{ D. Kayser}{}{G. Sabah (rapp), P. Marquis (rapp), J.-P. Haton, P. Nicolas, A. Nazarenko} \\
\tabTheseG{KHEMOUDJ}{Mohand Ou Idir}{\acs{EDF}}{04/04/07}{TH}{Contribution de la programmation par contraintes à la résolution du problème de placement  des arrêts des réacteurs nucléaires d'EDF}{ H. Bennaceur}{ M. Porcheron}{P. Michelon (rapp), M. Schiex (rapp), C. Fouqueré, G. Plateau, M. Aggoun (invité)} \\
\tabTheseG{HAMDOUN}{Sana}{}{20/12/06}{TH}{Modélisation, maintenance et integration des données hétérogènes}{ K. Lellahi}{F. Boufarès}{Y. Bennani, C.F. Ducateau, D. Laurent} 
\tabTheseG{HAKEM}{Mourad}{}{13/12/06}{\acs{TH}}{Algorithmes d'ordonnancement distribué temps réel}{C. Lavault}{F. Butelle}{J. Carlier (rapp), C. Hanen (rapp), C. Cérin (Pdt), E. Jeannot, C.~Laforest}\\
\tabTheseG{GUERIF}{Sébastien}{\acs{MCF}}{11/12/06}{TH}{Approches connexionnistes pour l'exploration et l'extraction de connaissances à partir de données spatio-temporelles}{ Y. Bennani}{}{C. Bertelle (rapp), G. Venturini (rapp), P. Kuntz, M. Magnusson, J.D. Zucker, E. Ecosse (invité), E. Janvier (invité)} \\
\tabTheseG{AMARA-HACHMI}{Nejla}{Post-doc FT R\&D}{06/12/06}{TH}{GAMA: une architecture générique pour le développement d'agents mobiles sensibles au contexte et auto-adaptatifs}{ A. El Fallah}{}{O. Boissier, S. Hassas, A. Nazarenko, H. Soldano} 
\tabTheseG{MARCOS}{Nicolas}{\acs{SNCF}}{23/11/06}{TH}{Modélisation et intégration de la gestion tactique des ressources traction}{ G. Plateau}{A. Nagih}{S. Dauzère-Pères (rapp), F. Semet (rapp), L. Alfandari, D. De Almeida, J. Vauzeilles, M. Guignard-Spielberg, C. Weber} \\
\tabTheseG{MOUNGLA}{Hassine}{Post-doc \acs{Inria}}{20/11/06}{TH}{Supervision distribuée de la QoS dans les réseaux \textsc{IP} contrôlés par politique des opérateurs de telecommunications}{ F. Krief}{}{A. Karmouch, N. Agoulmine, M. Salaün, Y Bennani, K Chen} \\
\tabTheseG{PAUCHET}{ Alexandre }{Post-doc FT R\&D}{22/09/06}{THF} {Modélisation cognitive d'interactions humaines dans un cadre de planification multi-agents}	{A. El Fallah}{}{N. Chaignaud, D. Kayser, S. Pesty, J.P. Sansonnet, H. Soldano} \\
\tabTheseG{EL FERKH - JRAD }{ Zeina }{}{15/05/06}{\acs{TH}}{Apport des techniques de l'Intelligence Artificielle dans la négociation dynamique des niveaux de service: proposition d'une interface utilisateur pour l'Internet de nouvelle génération} 	{F. Krief}{}{D. Gaïti, J. Neuman de Souza} \\
\tabTheseG{EL ZANT - KADHI }{ Nahla }{}{01/12/05}{\acs{TH}}{Apprentissage de motifs relationnels dans des objets partiellement ordonnés et application à la caractérisation de motifs dans l'ADN} {D. Kayser}{H. Soldano}{Ph. Dague, C. Rouveirol, M.F. Sagot} \\
\tabTheseG{KADRI-DAHMANI }{ Hakima }{post-doc IGN Belgique}{22/11/05}{\acs{TH}}{Méthodes de modélisation pour la gestion de la notion de cycle de vie dans  les systèmes d'information géographique}	{P. Dague}{A. Osmani}{Y. Bennani, C. Bertelle, P. De Mayer, G. Duchamp, A. Ruas, J. Beyen} \\
\tabTheseG{LOISEAU }{ Irène }{Pr Univ Buenos Aires (Argentine)}{29/06/05}{\acs{TH}}{Sur la génération de colonnes en nombres entiers} 	{G. Plateau}{}{A. Lisser (rapp), N. Maculan (Pdt), A. Nagih, C. Roucairol (rapp), J. Vauzeilles} \\
\tabTheseG{PAILLARD }{ Gabriel }{ \acs{MCF} (Brésil)}{28/06/05}{\acs{TH}}{Quelques contributions à l'algorithmique distribuée. Réseaux de capteurs et génération de nombres premiers } {C. Lavault }{}{M. Cosnard, G. Duchamp, F. Franca (rapp), M. Habib (rapp), C. Johnen (invitée), N. Maculan} \\
\tabTheseG{AIT EL MEKKI }{ Touria }{ \acs{MCF} Angers, \acs{LERIA}}{21/12/04}{\acs{TH}}{Construction semi-automatique d'index de fin de livre} 	{D. Kayser}{A. Nazarenko}{B. Daille (rapp), J.-P. Desclés (rapp), J. Véronis} \\
\tabTheseG{VAUVERT }{ Guillaume }{ Post-doc \acs{Inria}-\acs{LIP6}}{15/01/04}{\acs{TH}}{Atteinte de consensus basé sur l'échange de préférences entre agents rationnels et autonomes : application à la formation d'alliances} 	{A. El Fallah-Seghrouchni}{}{P. Dague, R. Emilion (rapp), S. Pinson (rapp), H. Soldano (invité), P. Taillibert, J.-D. Zucker} \\
\tabTheseG{ZEHRAOUI }{ Farida }{ \acs{MCF} Evry, \acs{LAMI}}{12/10/04}{\acs{THF}}{Systèmes d'apprentissage connexionniste et raisonnement à partir de cas pour la classification et le classement des séquences} 	{Y. Bennani}{}{P. Dague, M. Milgram, A. Mille (rapp), N. Nicoloyannis (rapp), S. Salotti, R. Kanawati (invité), E. Janvier (invité), F. Fessant (invité)}\\
\tabTheseG{BENABDESLEM }{ Khalid }{ Post-doc \acs{CNRS}}{17/12/03}{\acs{TH}}{Approches connexionnistes pour la visualisation et la classification des données issues d'usages d'Internet} 	{Y. Bennani}{}{S. Thiria (Pdt), P. Dague, E. Janvier (invité), D. Laurent (rapp), M. Quafafou (rapp), A. Nazarenko, C. Recanati (invitée)} \\
\tabTheseG{GUERRA-HERNANDEZ }{ Alejandro }{ Pr Univ. Veracruzana (Mexique)}{06/12/03}{\acs{THF}}{Apprentissage d'agents rationnels BDI dans un univers multi-agents} 	{A. El Fallah-Seghrouchni}{}{P. Dague, C. Lemaitre Leon (rapp), Y. Demazeau (Pdt), J. Quinqueton  (rapp), H. Soldano  (invité), J.-D. Zucker} \\
\tabTheseG{MALLAT-DESMORTIERS }{ Didier }{ Ingénieur}{24/01/03}{\acs{TH}}{Raisonnement automatique sur les croyances et les incertitudes d'un agent formalisé au sein de la théorie de l'interaction rationnelle} 	{P. Dague}{P. Bretier}{A. Herzig (rapp), D. Kayser, H. Prade (rapp), D. Sadek} \\
\tabTheseG{THIONGANE }{ Babacar }{ Post-doc Montréal (Canada)}{24/02/03}{\acs{THF}}{Réoptimisation dans le dual lagrangien du biknapsack en variables 0-1} 	{G. Plateau}{A. Nagih}{A. Billionnet (rapp), M. Guignard, N. Maculan (rapp), C. Roucairol} \\
\tabTheseG{CASTRO DE ANDRADE }{ Rafaël }{ \acs{MCF} COPPE-Rio de Janeiro (Brésil)}{13/12/02}{\acs{THF}}{Synthèse de réseau à demande incertaine} 	{G. Plateau}{}{P. Fraignaud, A. Gaivoronski (rapp), E. Gourdin, A. Lisser, N. Maculan, M. Minoux (rapp), A. Nagih, J. Vauzeilles} \\
\tabTheseG{FOLCH }{ Helka }{ }{24/09/02}{\acs{TH}}{Articuler les classifications sémantiques induites d'un domaine} 	{D. Kayser}{B. Habert}{S. Lahlou, A. Nazarenko, B. Victorri (rapp), P. Zweigenbaum (rapp)} \\
\tabTheseG{JUNGJARIYANONN }{ Setthachaï }{ }{20/03/02}{\acs{TH}}{Algorithmes de calculs sur les chaînes d'intervalles et leurs applications} 	{S. Schwer}{}{Y. Benanni, F. Gire (rapp), M.-S. Hacid (rapp), E. Metais, J.-M. Rifflet} \\
\tabTheseG{POIBEAU }{ Thierry }{ \acs{CR} \acs{CNRS} \acs{LIPN}}{08/03/02}{\acs{TH}}{Extraction d'information à base de connaissances hybrides} {D. Kayser}{A. Nazarenko}{C. Fluhr, C. Jacquemin (rapp), P. Saint-Dizier (rapp), C. Sedogbo, Y. Wilks}
\end{longtable}}


\subsubsubsection{Habilitation à Diriger des Recherches soutenues} (depuis le 01/01/2002)

\renewcommand{\arraystretch}{1.5}
\noindent{\scriptsize \begin{longtable}{l}
\tabTheseH{Nom }{ Prénom }{}{Soutenance}{Titre}{} \\
\tabTheseH{ROUPIN}{Frédéric}{}{24/11/06}{}{M. Guignard (rapp), C. Lemaréchal (rapp), M. Minoux (rapp), A. Billionnet, M.C. Costa, C. Lavault, P. Michelon, G. Plateau} \\
\tabTheseH{BI\'EBOW }{ Brigitte }{}{09/07/04}{	De Dasert à Terminæ ; voyage au pays de la modélisation des connaissances à partir de textes}{J. Charlet (rapp), R. Dieng-Kuntz (rapp), G. Kassel (rapp), D. Kayser, F. Lévy} \\
\tabTheseH{NAGIH }{ Anass }{}{14/12/04 }{	Contributions à la résolution des problèmes en nombres entiers : réoptimisation, problèmes de grande taille et planification en transport}{A. Billionnet (rapp), M. Guignard-Spielberg (rapp), A. Quilliot (rapp), D. Gauyacq, N. Maculan, G. Plateau, F. Soumis, J. Vauzeilles} \\
\tabTheseH{PERRIN-NAZARENKO }{ Adeline }{}{10/12/04 }{	Donner accès au contenu des documents textuels. Acquisition de connaissances et analyse de corpus spécialisés }{M. T. Pazienza (rapp), J.-M. Pierrel (rapp), B. Victorri (rapp), B. Habert, D. Kayser, F. Lévy} \\
\tabTheseH{FAYE }{ Alain }{}{17/12/03 }{	Contributions à la programmation quadratique en 0-1 }{M. Guignard (rapp), R. Mahjoub (rapp), P. Michelon (rapp), A. Billionnet, M.-C. Costa, D. Fayard, G. Plateau, J. Vauzeilles} \\
\tabTheseH{ELLOUMI }{ Sourour }{}{26/06/02 }{	Contributions à l'Optimisation Combinatoire}{P. Hansen (rapp), N. Maculan (rapp), P. Michelon (rapp), A. Billionnet, M.-C. Costa, M. Labbé, C. Lavault, M. Minoux, G. Plateau} \\
\tabTheseH{YAHIA }{ Hussein }{}{13/03/02 }{	Modèles d'évolution spatio-temporelle}{J. Vauzeilles (Pdt), H. Maitre (rapp), L. Younes (rapp), R. Deriche (rapp), B. Arnaldi, Y. Benanni, E. Simon, I. Herlin}
\end{longtable}}