\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{BENCHETTARA}{Hamimed}{12/01/07}{sans}{Prédiction de liens dans les réseaux sociaux}{C. Rouveirol}{R. Kanawati} \\
\tabTheseE{RODRIGUES BENTO}{Christophe}{10/01/07}{sans}{Apprentissage par renforcement relationnel}{C. Rouveirol}{P. Gérard} \\
\tabTheseE{CABANES}{Guénaël}{10/01/07}{Alloc (07-10)}{Apprentissage non supervisé à base de noyaux pour la classification topographique évolutive}{Y. Bennani}{} \\
\tabTheseE{CHEBALLAH}{Hayat}{10/01/07}{Alloc (07-10)}{}{}{} \\
\tabTheseE{KAMENNOFF}{Nicolas}{10/01/07}{bourse Epitech}{Utilisation d'une simulation 3D pour la compréhension de textes}{D. Kayser}{} \\
\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{BOSSARD}{Aurélien}{10/01/06}{Alloc moniteur (06-09)}{Evolution et fusion d'informations extraites de données en langage naturel}{D. Kayser}{T. Poibeau} \\
\tabTheseE{BOUTOUHAMI}{Sarah}{11/01/06}{vacation ANR}{Argumentation}{D. Kayser}{} \\
\tabTheseE{RASONAIVO}{Andry}{11/01/06}{bourse AUF}{Conception d'algorithmes efficaces dans les réseaux de télécommunication}{C. Lavault}{S. Toulouse} \\
\tabTheseE{GROZAVU}{Nistor}{11/01/06}{contrat Cap Digital}{Réduction de dimensions en apprentissage non supervisé}{Y. Bennani}{} \\
\tabTheseE{ROGOVSCHI}{Nicoleta}{11/01/06}{contrat Septia}{Apprentissage numérique et réseaux sociaux}{Y. Bennani}{E. Viennet} \\
\tabTheseE{KENNICHE}{Hichem}{11/01/06}{Alloc moniteur (06-09)}{}{C. Lavault}{G. Duchamp} \\
\tabTheseE{SADKI}{Jalila}{11/01/06}{Alloc moniteur (06-09)}{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}{10/01/06}{Alloc moniteur (06-09)}{Conception d'une méthode coopérative de mise à jour de règles d'extraction à base de corpus textuels}{A. Nazarenko}{} \\
\tabTheseE{MESSIANT}{Cédric}{10/01/06}{Alloc DGA moniteur (06-09)}{Acquisition semi-automatique de patrons d'extraction}{A. Nazarenko}{T. Poibeau} \\
\tabTheseE{FKAIER}{Hazem}{10/01/06}{co-tutelle France-Tunisie}{}{C. Cérin}{} \\
\tabTheseE{ABBES}{Heithem}{10/01/06}{co-tutelle France-Tunisie}{}{C. Cérin}{} \\
\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{HAMON}{Olivier}{12/01/05}{CIFRE (Elda)}{Méthodologies et protocoles d'évaluation des tyechnologies de la langue et de la communication homme-machine}{A. Nazarenko}{} \\
\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} \\
\tabTheseE{CAILLIAU}{Frédérick}{03/01/05}{CIFRE Sinequa}{Conception  et mise en oeuvre d'un système de gestion de resources linguistiques}{A. Nazarenko}{Claude de Loupy} \\
\tabTheseE{LAVAL}{Olivier}{10/01/05}{Alloc moniteur (05-08)}{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}{10/01/05}{Alloc moniteur (05-08)}{Ré-optimisation au sein d'un schéma de génération de colonnes}{A. Nagih}{L. Létocart} \\
\tabTheseE{BOUFFIER}{Amanda}{10/01/04}{Alloc (04-07)}{Evolution et fusion des informations extraites  de corpus en langage naturel}{D. Kayser}{T. Poibeau} \\
\tabTheseE{DEHNI}{Lahcène}{10/01/04}{(salarié m-temps) ; ANR}{Apprentissage connexionniste non supervisé sous contraintes et réseaux de capteurs}{Y. Bennani}{} \\
\tabTheseE{ANDRIAMAMPIANINA}{Tsiriniaina}{10/01/03}{½ ATER(05-06)}{Modélisations algorithmiques des hypergraphes aléatoires}{C. Lavault}{V. Ravelomanana} \\
\tabTheseE{WEISSENBACHER}{Davy}{10/01/03}{Alloc moniteur (03-06)}{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}{11/01/02}{Bourse franco-malgache (02-05)}{Optimisation de la gestion des ressources  agricoles en milieu forestier tropical}{G. Plateau}{A. Nagih} \\
\end{longtable}}
	

\subsubsubsection{Th\`eses soutenues}



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

\tabTheseG{ELATI}{Mohamed}{}{12/18/07}{}{Apprentissage de réseaux de régulation génétique à partir de données d'expression}{C. Rouveirol}{}{Jean-François Boulicaut (rapp), Jean-Daniel Zucker (rapp), Florence d'Alché-Buc, Younès Bennani, Amedio Napoli, François Radvanyi (invité)} \\
\tabTheseG{ASEERVATHAM}{Sujeevan}{}{12/12/07}{THF}{Apprentissage à base de Noyaux Sémantiques pour le Traitement de données textuelles}{Y. Bennani}{E. Viennet}{Massih-Reza Amini, Christophe Fouqueré (pdt), Cyril Goutte, Jean-François Marcotorchino, Alain Rakotomamonjy, Michèle Sebag} \\
\tabTheseG{KAROUI}{Hager}{}{12/11/07}{TH}{Système coopératif de type égal-à-égal pour la recommandation : Application à la gestion et la recommandation de références bibliographiques}{L. Petrucci}{R. Kanawati}{Jean-Paul Barthès, Catherine Berrut, Sylvie Després, Alain Mille, Enric Plaza, Laurence Vignollet} \\
\tabTheseG{DJEROUROU}{Fayçal}{ing R\&D Intelligence Power}{06/15/07}{TH}{Etude des méthodes de recherche locale pour la satisfaction de contraintes}{H. Bennaceur}{}{Gérard Plateau (Pdt), Jin-Kao Hao (rapp), Lakhdar Sais (rapp), Christophe Lecoutre, Christian Lavault, Monique Guignard-Spielberg} \\
\tabTheseG{BOURGOIS}{Laure}{CDD Sénégal}{06/19/07}{TH}{Exploitation d'ontologies pour la combinaison automatique de composants logiciels}{F. Lévy}{Alexandre Delteil}{Philippe Dague (rapp), Christophe Fouqueré (pdt), Laurent Hénocque, Farouk Toumani (rap)} \\
\tabTheseG{NOUIOUA}{Farid}{Post-doc LRI}{04/25/07}{}{Extraction et utilisation de normes pour le raisonnement causal dans un corpus textuel}{D. Kayser}{}{Gérard Sabah (rapp), Pierre Marquis (rapp), Jean-Paul Haton, Pascal Nicolas, A. Nazarenko} \\
\tabTheseG{KHEMOUDJ}{Mohand Ou Idir}{Contrat EDF (05/06-02/08) puis post-doc}{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}{Marc Porcheron}{M. Porcheron (rapp), M. Schiex (rapp), C. Fouqueré, G. Plateau, M. Aggoun (invité)} \\
\tabTheseG{HAKEM}{Mourad}{Post-doc Lyon}{12/13/06}{}{Ordonnancement Multiprocesseurs et Distribué Temps Réel}{C. Lavault}{F. Butelle}{J. Carlier (rapp), C. Hanen (rapp), C. Laforest, E. Jeannot, C. Cérin} \\
\tabTheseG{GUERIF}{Sébastien}{MCF P13}{12/11/06}{}{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, JD Zucker, E. Ecosse (invité), E. Janvier (invité)} \\
\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} \\
\tabTheseG{AMARA - HACHMI}{Nejla}{post-doc FT}{12/06/06}{}{GAMA: une architecture générique pour le développement d'agents mobiles sensibles au contexte et auto-adaptatifs}{A. El Fallah}{}{Olivier Boissier, Salima Hassas, Adeline Nazarenko, Henry Soldano} \\
\tabTheseG{MARCOS}{Nicolas}{ing SNCF}{11/23/06}{}{Modélisation et intégration de la gestion tactique des ressources traction}{G. Plateau}{A. Nagih}{Stéphane DAUZERE-PERES (rapp), Frédéric SEMET (rapp), Laurent ALFANDARI, , David DE ALMEIDA, Jacquelines VAUZEILLES, Monique GUIGNARD-SPIELBERG, Christian WEBER} \\
\tabTheseG{MOUNGLA}{Hassine}{Post-doc INRIA}{11/20/06}{}{Supervision distribuée de la QoS dans les réseaux 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 Lannion ; MDC Rouen}{09/22/06}{TH}{Modélisation cognitive d'interactions humaines dans un cadre de planification multi-agents}{A. El Fallah}{Jean-Paul Sansonnet (Rapp)}{Sylvie Pesty (Rapp), D. Kayser, H. Soldano, N. Chaignaud} \\
\tabTheseG{EL FERKH - JRAD}{Zeina}{post-doc Inria (Axis)}{05/15/06}{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}{}{} \\
\tabTheseG{EL ZANT - KADHI}{Nahla}{}{12/01/05}{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}{} \\
\tabTheseG{KADRI-DAHMANI}{Hakima}{post-doc IGN Belgique}{11/22/05}{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}{Younès Bennani , Cyrille Bertelle, Philippe De Mayer, Gérard Duchamp, Anne Ruas, Jan Beyen} \\
\tabTheseG{LOISEAU}{Irène}{Pr Univ Buenos Aires}{06/29/05}{TH}{Sur la génération de colonnes en nombres entiers}{G. Plateau}{}{Abdel Lisser (rapp), Nelson Maculan (Pdt), Anass Nagih, Catherine Roucairol (rapp), Jacqueline Vauzeilles } \\
\tabTheseG{PAILLARD}{Gabriel}{MCF brésil}{06/28/05}{TH}{Quelques contributions à l'algorithmique distribuée. Réseaux de capteurs et génération de nombres premiers}{C. Lavault}{}{Michel Cosnard, Gérard Duchamp, Felipe Franca (rapp), Michel Habib (rapp), Colette Johnen (invitée), Nelson Maculan} \\
\tabTheseG{AIT EL MEKKI}{Touria}{MCF Angers (LERIA)}{12/21/04}{TH}{Construction semi-automatique d'index de fin de livre}{D. Kayser}{A. Nazarenko}{Béatrice Daille (rapp), Jean-Pierre Desclés (rapp), Jean Véronis} \\
\tabTheseG{VAUVERT}{Guillaume}{Post-doc INRIA-LIP6}{01/15/04}{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}{}{Philippe Dague, Richard Emilion (rapp), Suzanne Pinson (rapp), Henry Soldano (invité), Patrick Taillibert, Jean-Daniel Zucker} \\
\tabTheseG{ZEHRAOUI}{Farida}{MCF Evry (LAMI)}{10/12/04}{THF}{Systèmes d'apprentissage connexionniste et raisonnement à partir de cas pour la classification et le classement des séquences}{Y. Bennani}{}{Philippe Dague, Maurice Milgram, Alain Mille (rapp), Nicolas Nicoloyannis (rapp), Sylvie Salotti, Rushed Kanawati (invité), Eric Janvier (invité), Françoise Fessant (invité)} \\
\tabTheseG{BENABDESLEM}{Khalid}{Post-doc CNRS}{12/17/03}{TH}{Approches connexionnistes pour la visualisation et la classification des données issues d'usages d'Internet}{Y. Bennani}{}{Sylvie Thiria (Pdt), Philippe Dague, Eric Janvier (invité), Dominique Laurent (rapp), Mohamed Quafafou (rapp), Adeline Nazarenko, Catherine Recanati (invitée)} \\
\tabTheseG{GUERRA-HERNANDEZ}{Alejandro}{Pr Univ Veracruzana}{12/06/03}{THF}{Apprentissage d'agents rationnels BDI dans un univers multi-agents}{A. El Fallah-Seghrouchni}{}{Philippe Dague, Christian Lemaitre Leon (rapp), Yves Demazeau (Pdt), Joël Quinqueton (rapp), Henry Soldano (invité), Jean-Daniel Zucker } \\
\tabTheseG{MALLAT-DESMORTIERS}{Didier}{Ing}{01/24/03}{TH}{Raisonnement automatique sur les croyances et les incertitudes d'un agent formalisé au sein de la théorie de l'interaction rationnelle}{Ph. Dague}{Ph. Bretier}{Andréas Herzig (rapp), Daniel Kayser, Henri Prade (rapp), David Sadek} \\
\tabTheseG{THIONGANE}{Babacar}{Post-doc montréal}{02/24/03}{THF}{Réoptimisation dans le dual lagrangien du biknapsack en variables 0-1}{G. Plateau}{A. Nagih}{Alain Billionnet (rapp), Monique Guignard, Nelson Maculan (rapp), Catherine Roucairol} \\
\tabTheseG{CASTRO DE ANDRADE}{Rafaël}{MCF Brésil COPPE Rio}{12/13/02}{THF}{Synthèse de réseau à demande incertaine}{G. Plateau}{}{Pierre Fraignaud, Alexei Gaivoronski (rapp), Eric Gourdin, Abdel Lisser, Nelson Maculan, Michel Minoux (rapp), Anass Nagih, Jacqueline Vauzeilles} \\
\tabTheseG{FOLCH}{Helka}{}{09/24/02}{TH}{Articuler les classifications sémantiques induites d'un domaine}{D. Kayser}{B. Habert}{Saadi Lahlou, Adeline Nazarenko, Bernard Victorri (rapp), Pierre Zweigenbaum (rapp)} \\
\tabTheseG{JUNGJARIYANONN}{Setthachaï}{}{03/20/02}{TH}{Algorithmes de calculs sur les chaînes d'intervalles et leurs applications}{S. Schwer}{}{Younès Benanni, Françoise Gire (rapp), Mohand-Saïd Hacid (rapp), Elisabeth Metais, Jean-Marie Rifflet} \\
\tabTheseG{POIBEAU}{Thierry}{CR CNRS (LIPN)}{03/08/02}{TH}{Extraction d'information à base de connaissances hybrides}{D. Kayser}{A. Nazarenko}{Christian Fluhr, Christian Jacquemin (rapp), Patrick Saint-Dizier (rapp), Célestin Sedogbo, Yorick Wilks} \\
\tabTheseG{FAURE}{Pierre-Philippe Henri}{}{06/18/01}{TH}{Une approche à base de modèles fondés sur les intervalles pour la génération automatique d'arbres de diagnostic optimaux. Application au domaine de l'automobile}{Ph. Dague}{L. Travé-Massuyès}{Jean-Marc David, François Lévy, Krishna Pattipati (rapp), Hervé Poulard, José Ragot (rapp)} \\
\tabTheseG{BAUDOT}{Rémi}{Ing Bea}{12/14/00}{TH}{Programmation logique : non commutativité et polarisation}{J. Vauzeilles}{C. Fouqueré}{Vito Michele Abrusci, Jean-Marc Andréoli , Andrea Asperti (rapp), Jean-Yves Girard (Pdt), Dale Miller (rapp)} \\
\tabTheseG{BOUCHER}{Patrick}{Ing}{07/05/00}{TH}{Métaheuristiques pour l'optimisation combinatoire : thèse, antithèse, synthèse}{G. Plateau}{}{Arnaud Fréville (rapp), Jin-Kao Hao (rapp), Nelson Maculan, Vassilis Zissimopoulos} \\
\tabTheseG{HAMON}{Thierry}{MCF Paris 13 (LIPN)}{12/19/00}{TH}{Variation sémantique en corpus spécialisé : Acquisition de relations de synonymie à partir de ressources lexicales}{C. Fouqueré}{A. Nazarenko}{Henry Boccon-Gibod, Béatrice Daille , Benoît Habert (rapp), Jean Véronis (rapp)} \\
\tabTheseG{RADEVSKI}{Vladimir}{Ass. Pr univ Galatasaray}{06/21/00}{TH}{Fusion de caractéristiques et de décisions dans les systèmes d'apprentissage connexionnistes}{Y. Bennani}{}{Fouad Badran, Dusan Cakmakov, Jacqueline Castaing, Bernadette Dorizzi (rapp), Srdjan Stankovic (rapp), Jacqueline Vauzeilles} \\
\tabTheseG{AFFANE}{Mohamed Salah}{}{02/03/99}{TH}{Réseaux de contraintes : satisfaction et optimisation}{H. Bennaceur}{}{Jean-Jacques Chabrier (rapp), Mehmet Dincbas, Boi Faltings (rapp), Philippe Michelon (rapp), Gérard Plateau, Vassilis Zissimopoulos} \\
\tabTheseG{BOSSAERT}{Fabrice}{MCF Paris 13 (Lim\&Bio)}{10/22/99}{TH}{Approches connexionnistes pour le diagnostic de systèmes complexes : Application au réseau téléphonique}{Y. Bennani}{}{Béchir Ayeb (rapp), Philippe Dague, Elisabeth Didelet, Daniel Stern, Sylvie Thiria (rapp)} \\
\tabTheseG{BOURREAU}{Eric}{Ing Bouygues}{03/30/99}{THF}{Traitement de contraintes sur les graphes en programmation par contraintes}{G. Plateau}{}{Alexander Bockmayr (rapp), Mehmet Dincbas , Odile Favaron, Jean-Pierre Lepape (rapp), Laurent Trilling (rapp), Michel Minoux , Vassilis Zissimopoulos} \\
\tabTheseG{CHARNOIS}{Thierry}{MCF Caen (Greyc)}{09/30/99}{TH}{Détection d'anomalies sémantiques dans les textes de spécifications Application au problème des interactions de services de télécommunications}{D. Kayser}{S. Szulman}{Pierre Combes, Philippe Trigano, Bernard Victorri (rapp), Pierre Zweigenbaum (rapp)} \\
\tabTheseG{FERNANDEZ}{Rodrigo}{Ing france}{06/25/99}{THF}{Machines à vecteurs de support pour la reconnaissance des formes : propriétés et applications}{G. Plateau}{E. Viennet}{Younès Bennani , Stéphane Canu (rapp), Patrick Gallinari (rapp), Monique Guignard, Michèle Sebag} \\
\tabTheseG{NOBÉCOURT}{Jérôme}{MCF Paris 13 (Lim\&Bio)}{10/13/99}{TH}{De la modélisation à la représentation : un exemple de langage de  modélisation multi-formalismes}{D. Kayser}{B. Biebow}{Nathalie Aussenac-Gilles, Gilles Kassel (rapp), Amedeo Napoli, Marie-Christine Rousset (rapp)} \\
\tabTheseG{OSMANI}{Aomar}{MCF Paris 13 (LIPN)}{12/17/99}{TH}{Diagnostic de pannes dans les réseaux de télécommunications : approche à 	base de modèles et raisonnement temporel}{F. Lévy}{}{Philippe Balbiani, Luca Chittaro (rapp), Marie-Odile Cordier, Christophe Dousson, Malik Ghallab, Gérard Ligozat (rapp)} \\
\tabTheseG{SEDJELMACI}{Sidi Mohamed}{Enseignant}{09/30/99}{TH}{Contribution au calcul parallele du PGCD de deux entiers}{C. Lavault}{}{Christiane Frougny, Tudor Jebelean (rapp), Ivan Lavallée (absent), Gérard Plateau, Kenneth Weber (rapp, excusé)} \\
\tabTheseG{VICARD}{Annie-Florence}{}{07/05/99}{TH}{Formalisation et optimisation des systèmes informatiques temps réel embarqués  }{C. Lavault}{Y. Sorel}{Marc Bui (rapp), Denis Trystram (rapp), Vassilis Zissimopoulos} \\
\tabTheseG{YACOUB}{Meziane}{MCF CNAM}{01/20/99}{TH}{Sélection de caractéristiques et optimisation d'architectures dans les   systèmes d'apprentissage connexionistes}{Y. Bennani}{[A. Saoudi]}{Bruce Denby, Patrick Gallinari (rapp), Maurice Nivat (absent), Gérard Plateau , Sarunas Raudys (rapp)} \\
\tabTheseG{BELHADJI}{Saïd}{}{09/23/98}{TH}{Réseaux de contraintes temporels. Satisfaction de contraintes. Ordonnancement de tâches.}{G. Plateau}{}{Gérard Ligozat (rapp), Marie-Claude Portmann, Philippe Dague (Pdt), Virginie Gabrel} \\
\tabTheseG{BRANKI}{Mohamed Tarek}{}{09/29/98}{H}{Un processus d'intégration de bases de données spatiales hétérogènes par  logiques de description}{N. Bidoit}{B. Defude}{Omar Boucelma (rapp), Robert Laurini (rapp), Pascal Coupey, Kazem Lellahi} \\
\tabTheseG{GOUACHI}{Idir}{Ing Cosytec}{09/30/98}{TH}{LIRESNE, Langage pour Interpréter et Résoudre des Systèmes en  Nombres Entiers}{G. Plateau}{H. Bennaceur}{Jean-Jacques Chabrier (rapp), Philippe Michelon (rapp), Vassilis Zissimopoulos (Pdt), Mehmet Dincbas} \\
\tabTheseG{GUIGNOT}{Jacques}{MCF Paris 12}{10/01/98}{TH}{Application des stratégies neuronales au dilemme des prisonniers}{G. Plateau}{[A. Saoudi]}{Didier Fayard (rapp), Arnaud Fréville (rapp), Nathalie Mourgue, Vassilis Zissimopoulos} \\
\tabTheseG{NAULLEAU}{Elie}{Ing}{01/05/98}{TH}{Apprentissage et filtrage syntaxico-sémantique de syntagmes nominaux  pertinents pour la recherche documentaire}{D. Kayser}{B. Habert}{Jean-Pierre Desclés (rapp), Bernard Victorri (rapp), Adeline Nazarenko, Jean-David Sta (Pdt)} \\
\tabTheseG{NEDJARI}{Tayeb}{Ing Canada}{09/17/98}{TH}{Réseaux de neurones artificiels et connaissances symboliques : insertion,  raffinement et extraction}{D. Kayser}{Y. Bennani}{Fouad Badran (rapp), Thierry Den?ux (rapp), Dusan Cakmakov (rapp), Gérard Plateau} \\
\tabTheseG{PERNELLE}{Nathalie}{MCF Paris 11 (LRI)}{02/24/98}{TH}{Traitement automatique de polysémies relationnelles : utilisation et contrôle  de règles d'extension de sens}{D. Kayser}{}{Patrick Saint-Dizier (rapp), Victorri Bernard (rapp), Bernard Fradin, Françoise Gayral} \\
\tabTheseG{SAHRAOUI}{Abderrazak}{}{10/22/98}{H}{Modélisation et inférence des relations causales dans les systèmes physiques}{Ph. Dague}{}{Joseph Aguilar Martin (rapp), Luca Chittaro (rapp), Michel Dumas, François Lévy, Patrick Taillibert, Louise Travé-Massuyès (rapp)} \\
\tabTheseG{BENJAMIN}{Didier}{Ing}{10/16/97}{TH}{Régularisation appliquée au traitement d'images}{F. Fogelman-Soulié}{E. Viennet}{Gérard Plateau (Pdt), Bernadette Dorizzi (rapp), Patrick Gallinari (rapp)} \\
\tabTheseG{BIBAS}{Serge}{Ing}{01/09/97}{TH}{GASPAR : Simulateur à base de modèles pour la Supervision de Réseaux de Télécommunication}{Ph. Dague}{}{Malik Ghallab (Pdt), Henri Farreny (rapp), Sylviane Gentil (rapp), Marie-Odile Cordier, François Lévy} \\
\tabTheseG{ISSAC}{Fabrice}{MCF Paris 13 (LLI)}{09/02/97}{TH}{Analyse syntaxique et apprentissage des langues}{D. Kayser}{C. Fouqueré}{Thierry Chanier (rapp), Benoît Habert, Aravind Joshi, Bernard Lang (rapp)} \\
\tabTheseG{MAABOUT}{Sofian}{}{06/02/97}{THF}{Règles de mise à jour dans les bases de données}{N. Bidoit}{}{Françoise Gire (rapp), Jan Paredaens (rapp), Christine Froidevaux, Nicolas Spyratos, Jacqueline Vauzeilles} \\
\tabTheseG{MOUSSOUNI}{Fouzia}{}{06/24/97}{TH}{Construction, spécification et analyse d'algorithmes parallèles de recherche  de mots}{C. Lavault}{}{Maxime Crochemore (rapp), Leszek Gasieniec (rapp), Jean-Frederic Myoupo (rapp), Gérard Plateau} \\
\tabTheseG{VEIGA}{Geraldo}{}{06/13/97}{TH}{Sur l'implantation des méthodes de points intérieurs pour la programmation   linéaire}{G. Plateau}{}{Philippe Bourgeois, Monique Guignard, Nelson Maculan, Philippe Michelon (rapp), Mauricio Resende, Pierre Tolla (rapp)} \\
\tabTheseG{VENTOS}{Véronique}{MCF Paris 11 (LRI)}{04/01/97}{TH}{Définition et apprentissage de concepts décrits à l'aide de propriétés  "défauts" et de type "exception"}{D. Kayser}{P. Coupey}{Joachim Quantz, Marie-Christine Rousset (rapp), Jean Sallantin (rapp), Pierre Siegel, Henri Soldano} \\
\tabTheseG{BELABBAS}{Azeddine}{Ing}{11/25/96}{TH}{Satisfaction de contraintes et validation des grammaires du langage naturel }{D. Kayser}{C. Fouqueré}{Gérard Plateau (Pdt), Bernard Levrat (rapp), Marie-Catherine Vilarem (rapp), Hachemi Bennaceur, Philippe Blache} \\
\tabTheseG{BÖTTCHER }{Claudia}{Ing Allemagne}{06/20/96}{TH}{Un cadre pour guider la localisation automatique de défauts en utilisant des préférences stratégiques locales}{Ph. Dague}{}{François Lévy (Pdt), Marie-Odile Cordier (rapp), Peter Struss (rapp), Patrick Taillibert} \\
\tabTheseG{BOUTHINON}{Dominique}{MCF Paris 13 (LIPN)}{12/17/96}{THF}{Apprentissage à partir d'exemples ambigus : étude théorique et application à la découverte de structures communes à un ensemble de séquences d'ARN}{D. Kayser}{H. Soldano}{Philippe Dague (Pdt), Christel Vrain (rapp), Joël Quinqueton (rapp), Jacques Haiech} \\
\tabTheseG{CHAIGNAUD}{Nathalie}{MCF INSA Rouen}{01/25/96}{TH}{Etude cognitive et informatique de la résolution de problèmes : analyse, modélisation et implantation}{D. Kayser}{F. Lévy}{Anh Nguyen Xuan, Marie-Odile Cordier (rapp), Monique Baron (rapp), Suzanne Pinson (rapp)} \\
\tabTheseG{NAGIH}{Anass}{MCF Paris 13 (LIPN)}{06/21/96}{THF}{Sur la résolution des programmes fractionnaires en variables 0-1}{G. Plateau}{}{Nelson Maculan (Pdt), Monique Guignard (rapp), Pierre Hansen (rapp), Philippe Bourgeois, Arnaud Fréville, Kurt Spielberg} \\
\tabTheseG{BALDY}{Bernard}{Ing MasterSolutions}{10/17/95}{TH}{Vérification, détection et correction syntaxico-sémantique dans le Traitement Automatique des Langues à partir du formalisme des grammaires syntagmatiques généralisées}{D. Kayser}{C. Fouqueré}{Gaston Gross, Jean Véronis (rapp), Pierre Zweigenbaum (rapp)} \\
\tabTheseG{BRETIER}{Philippe}{}{12/15/95}{THF}{La communication orale coopérative : contribution à la modélisation logique  et à la mise en oeuvre d'un agent rationnel dialoguant}{D. Kayser}{D. Sadek}{Luis Farinas del Cerro (Pdt), Philippe Besnard (rapp), P.R. Cohen (rapp), D. Bachut, C. Fouqueré, B. Levrat} \\
\tabTheseG{DE AMO - BOJARCZUK)}{Sandra Aparecida}{}{01/31/95}{THF}{Contraintes dynamiques et schémas transactionnels}{N. Bidoit}{}{Jacqueline Vauzeilles (Pdt), Serge Abiteboul (rapp), Laurence Cholvy (rapp), Victor Vianu (rapp), Richard Lassaigne} \\
\tabTheseG{ETTAOUIL}{Mohamed}{}{02/25/94}{TH}{Satisfaction de contraintes non linéaires en variables 0-1 et outils de la programmation quadratique}{G. Plateau}{}{Didier Fayard (rapp), Arnaud Fréville (rapp), Pierre Tolla (Pdt), Hachemi Bennaceur} \\
\tabTheseG{GRAÏNE}{Slimane}{}{04/06/94}{TH}{Inférence grammaticale régulière par les réseaux de neurones}{G. Plateau}{[A. Saoudi]}{Satoru Miyano (rapp), Maurice Nivat (rapp), Daniel Kayser, Stefano Crespi-Reghizzi (rapp), Younès Bennani} \\
\tabTheseG{MADANI}{Nacéra}{}{05/25/94}{TH}{Étude de l'héritage des propriétés dans les réseaux sémantiques. Notion de réseau d'héritage légal}{D. Kayser}{}{Guy Chaty (Pdt), Serge Garlatti (rapp), Éric Grégoire (rapp), François Rechenmann (rapp), François Lévy} \\
\tabTheseG{MOKHTARI}{Aïcha}{MCF USTHB Alger}{06/14/94}{TH}{Apport des logiques non-classiques à la représentation de la causalité}{D. Kayser}{}{Erik Sandewall (Pdt), Daniel Coulon (rapp), Jean Sallantin (rapp), Daniel Andler, Philippe Dague, François Lévy} \\
\tabTheseG{PERRIN - NAZARENKO}{Adeline}{MCF Paris 13 (LIPN)}{01/31/94}{THF}{Compréhension du langage naturel : le problème de la causalité}{D. Kayser}{J. Fargues}{Mario Borillo (Pdt), Jacques Jayez, Gérard Ligozat (rapp), Gérard Sabah, Gabriel Bès (rapp)} \\
\tabTheseG{SENOUSSI}{Houcine}{}{07/05/94}{TH}{Algorithmes parallèles pour le traitement d'images}{G. Plateau}{[A. Saoudi]}{Maurice Nivat (Pdt), Maxime Crochemore (rapp), Steven Tanimoto (rapp), Jean-Marc Chassery, Christian Lavault} \\
\tabTheseG{THERET}{Philippe François}{}{02/08/94}{THF}{De l'efficacité des interpréteurs de systèmes de règles de production dans les systèmes à base de connaissances}{S. Schwer}{}{Jean-Paul Haton (Pdt et rapp), Norbert Cot (rapp), Pascal Grojean, Gérard Plateau} \\
\tabTheseG{BENSIMON DARCEL}{Nelly}{MCF Paris8}{02/25/93}{TH}{ObAdE, des objets pour une modélisation cognitive}{D. Kayser}{}{Jean-Paul Haton (Pdt), Danièle Dubois (rapp), Danielle Hérin-Aime (rapp), Gérard Ligozat (rapp), Jacques Ferber} \\
\tabTheseG{CHAMPESME}{Marc}{MCF Paris 13 (LIPN)}{02/12/93}{TH}{Apprentissage par Détection de Similarités utilisant le formalisme des Graphes Conceptuels}{D. Kayser}{H. Soldano}{Ahmed Saoudi (Pdt), Jean Sallantin (rapp), Michel Chein (rapp), Guy Chaty} \\
\tabTheseG{HERNERT}{Patrice}{Ens univ Montréal}{06/25/93}{TH}{Un système d'acquisition de définitions basé sur le modèle des graphes conceptuels}{D. Kayser}{J. Fargues}{Michel Chein (Pdt), Violaine Prince (rapp), Bernard Levrat, Daniel Coulon (rapp)} \\
\tabTheseG{ISLI}{Amar}{Post-doc}{11/08/93}{TH}{Automates alternants et logiques temporelles, satisfaction de contraintes}{G. Plateau}{[A. Saoudi]}{Paul Schupp (rapp), Maurice Nivat (rapp et Pdt), Daniel Kayser, Malik Ghallab, Marie-Catherine Vilarem} \\
\tabTheseG{JOUBEL}{Catherine}{}{11/30/93}{H}{Comment le temps change-t-il les hypothèses ?}{D. Kayser}{}{Hélène Bestougeff (Pdt), Olivier Raiman (rapp), Bernard Robinet (rapp), Claude Hans} \\
\tabTheseG{THOMAS}{Isabelle}{}{09/28/93}{TH}{Modèle de l'utilisateur, modèle de la tâche, et modèles d'explications pour expliquer une résolution de problème. Application en conception d'équipements électronique}{D. Kayser}{B. Levrat}{Jacques Ferber (Pdt), Marie-Christine Rousset (rapp), Rose Dieng (rapp), Denis Carcagno} \\
\tabTheseG{TOLLU}{Christophe}{MCF Paris 13 (LIPN)}{03/01/93}{THF}{Planification en Logique Linéaire et Langages de Requêtes Relationnelles avec Compteurs}{J. Vauzeilles}{}{Etienne Grandjean (rapp), Jean-Yves Girard, Michel de Rougemont (rapp), Serge Abiteboul, Jean-Pierre Jouannaud, Daniel Kayser} \\
\tabTheseG{ANDRY}{François}{}{05/27/92}{TH}{Mise en oeuvre de prédictions linguistiques dans un système de dialogue oral homme-machine coopératif}{D. Kayser}{}{Jean-Paul Haton (Pdt), Jean-Sylvain Liénard (rapp), Jacques Siroux (rapp), Hélène Bestougeff, Francis Charpentier, C. Fouqueré} \\
\tabTheseG{BONTÉ}{Eric}{MCF IUFM}{03/19/92}{TH}{Calcul des extensions dans les théories de défaut en réseau et application au raisonnement à profondeur variable}{D. Kayser}{}{Michel Chein (Pdt rapp), Christine Froidevaux (rapp), Jacqueline Castaing, Maxime Crochemore, Jean-Paul Haton} \\
\tabTheseG{BOUHADANA}{Henri}{}{06/11/92}{TH}{Conception d'un ensemble d'outils pour la représentation, l'analyse et   l'exploitation de connaissances en sûreté de fonctionnement. L'atelier FIGARO}{D. Kayser}{}{Ahmed Saoudi (rapp), Michel Gondran (rapp), Jean-Louis Bon, Claudie Ancelin} \\
\tabTheseG{BREZELLEC}{Pierre}{MCF Evry}{10/05/92}{TH}{Techniques d'apprentissage par explication et par détection de similarités}{D. Kayser}{H. Soldano}{Jean-Gabriel Ganascia (Pdt), Maxime Crochemore (rapp), Joël Quinqueton (rapp), Alain Viari} \\
\tabTheseG{DORÉ}{Laurent}{}{10/05/92}{TH}{Intégration de récit : application à la compréhension de textes médicaux}{D. Kayser}{P. Zweigenbaum}{Jean-Francois Boisvieux (Pdt), Alain Bonnet (rapp), Gérard Sabah (rapp)} \\
\tabTheseG{GAYRAL}{Française}{MCF Paris 13 (LIPN)}{01/30/92}{TH}{Sémantique du langage naturel et profondeur variable : une première approche}{D. Kayser}{}{Philippe Jorrand (Pdt), Gérard Ligozat (rapp), Bernard Victorri (rapp), Gérard Plateau, Robert Martin} \\
\tabTheseG{GRANDEMANGE}{Philippe}{MCF Paris 13}{02/12/92}{TH}{Représentation des connaissances et profondeur variable : une implantation}{D. Kayser}{}{Philippe Besnard, Francois Lévy, Malik Ghallab (Pdt), Jean-Francois Richard, Jacqueline Vauzeilles (rapp), Bernard Victorri (rapp)} \\
\tabTheseG{MELA}{Augusta}{MCF Montpellier}{12/08/92}{TH}{Traitement automatique de la coordination}{D. Kayser}{C. Fouqueré}{Jean-Pierre Descles (Pdt), Laurence Danlos (rapp), Paul Sabatier (rapp), Gaston Gross} \\
\tabTheseG{SZULMAN}{Sylvie}{MCF Paris 13 (LIPN)}{12/13/90}{TH}{Enrichissement d'une base de connaissances à partir de textes en langage naturel}{D. Kayser}{B. Biebow}{Jacques Pitrat (Pdt), Guy Chaty (rapp), Geneviève Jomier (rapp), Michel Chein} \\
\tabTheseG{BENNACEUR}{Hachemi}{MCF-HDR Cergy (LIPN)}{12/18/89}{TH}{Le problème de satisfaction de contraintes : synthèse et méthode exacte de résolution}{G. Plateau}{}{Gerd Finke (Pdt rapp), Catherine Roucairol, Daniel Kayser, François Thomasset} \\
\tabTheseG{CHANIER}{Thierry}{MCF Paris 5}{06/28/89}{TH}{Compréhension de textes dans un domaine technique : le systeme ACTES.   Application des grammaires d'unification et de la théorie du discours}{D. Kayser}{C. Sedogbo}{Daniel Coulon (Pdt), Gérard Sabah (rapp), Patrick Saint-Dizier (rapp)} \\
\tabTheseG{COUPEY}{Pascal}{MCF Paris 13 (LIPN)}{01/27/89}{TH}{Etude d'un réseau sémantique avec gestion des exceptions. Interprétation logique et implantation informatique}{D. Kayser}{}{Jean-François Perrot (Pdt), Guy Chaty (rapp), Christine Froidevaux (rapp), Marie-Odile Cordier, Michel Gilloux} \\
\tabTheseG{LÉVY}{François}{MCF Paris 13 (LIPN)}{02/08/89}{TH}{Contribution à la realisation d'un raisonneur à profondeur variable : le système de maintenance}{D. Kayser}{}{Jean-Pierre Jouannaud (Pdt), Jacqueline Castaing (rapp), Patrice Enjalbert (rapp), Pierre Siegel (rapp), Claude Puech} \\
\tabTheseG{MIHOUBI}{Douadi}{}{07/07/89}{TH}{Modes de reconnaissance et équité dans les omega-automates à pic}{M. Crochemore}{}{Paul Schupp (rapp et Pdt), Ahmed Saoudi (rapp), Irène Guessarian, Daniel Kayser} \\
\tabTheseG{FOUQUERÉ}{Christophe}{MCF Paris 13 (LIPN)}{01/26/88}{TH}{Systèmes d'analyse tolérante de textes en langage naturel}{D. Kayser}{}{Guy Perennou (Pdt), Daniel Coulon (rapp), Gérard Sabah (rapp), Christian Fluhr} \\
\end{longtable}}
	


\subsubsubsection{Habilitations \`a Diriger des Recherches soutenues}



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

\tabTheseH{Viennet}{Emmanuel}{}{12/18/07}{Contributions aux méthodes d'apprentissage numérique pour la fouille de données structurées}{Stéphane Canu (rapp), Pascale Kuntz (rapp), Gilbert Ritschard (rapp), Younès Bennani, Françoise-Fogelman-Soulié, Christophe Fouqueré, Gilbert Saporta} \\
\tabTheseH{Butelle}{Franck}{}{12/17/07}{}{} \\
\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)} \\
\tabTheseH{Roupin}{Frédéric}{}{11/24/06}{}{M. Guignard (rapp), C. Lemaréchal (rapp), M. Minoux (rapp), A. Billionnet, M.C. Costa, C. Lavault, P. Michelon, G. Plateau} \\
\tabTheseH{Biébow}{Brigitte}{}{07/09/04}{De Dasert à Terminæ ; voyage au pays de la modélisation des connaissances à partir de textes}{Jean Charlet (rapp), Rose Dieng-Kuntz (rapp), Gilles Kassel (rapp), Daniel Kayser, François Lévy} \\
\tabTheseH{Nagih}{Anass}{}{12/14/04}{Contributions à la résolution des problèmes en nombres entiers : réoptimisation, problèmes de grande taille et planification en transport}{Alain Billionnet (rapp), Monique Guignard-Spielberg (rapp), Alain Quilliot (rapp), D. Gauyacq, Nelson Maculan, Gérard Plateau, François Soumis, Jacqueline Vauzeilles} \\
\tabTheseH{Perrin-Nazarenko}{Adeline}{}{12/10/04}{Donner accès au contenu des documents textuels. Acquisition de connaissances et analyse de corpus spécialisés}{Maria Teresa Pazienza (rapp), Jean-Marie Pierrel (rapp), Bernard Victorri (rapp), Benoît Habert, Daniel Kayser, François Lévy} \\
\tabTheseH{Faye}{Alain}{}{12/17/03}{Contributions à la programmation quadratique en 0-1}{Monique Guignard (rapp), R. Mahjoub (rapp), Pierre Michelon (rapp), Alain Billionnet, Marie-Christine Costa, Daniel Fayard, Gérard Plateau, Jacqueline Vauzeilles} \\
\tabTheseH{Elloumi}{Sourour}{}{06/26/02}{Contributions à l'Optimisation Combinatoire}{Pierre Hansen (rapp), Nelson Maculan (rapp), Philippe Michelon (rapp), Alain Billionnet, Marie-Christine Costa, Martine Labbé, Christian Lavault, Michel Minoux, Gérard Plateau} \\
\tabTheseH{Yahia}{Hussein}{}{03/13/02}{Modèles d'évolution spatio-temporelle}{Jacqueline Vauzeilles (Pdt), Henri Maitre (rapp), Laurent Younes (rapp), Rachid Deriche (rapp), Bruno Arnaldi, Younes Benanni, Eric Simon, Isabelle Herlin} \\
\tabTheseH{Lellahi}{Kazem}{}{12/20/01}{}{Andrée C . Ehresmann (rapp), Dominqiue Laurent (rapp), George Loizou (rapp), Christine Choppy, Geneviève Jomier, Nicolas Spyratos, Jacqueline Vauzeilles} \\
\tabTheseH{Porcheron}{Marc}{}{09/26/01}{Techniques d'IA pour le diagnostic automatique de systèmes industriels}{Jacques Pitrat (Pdt), Luca Console (rapp), Marie-Odile Cordier (rapp), Philippe Dague (rapp), Jean-Paul Krivine, François Lévy, Bernard Monnier, Louise Travé-Massuyès} \\
\tabTheseH{El Fallah-Seghrouchni}{Amal}{}{01/25/00}{Coordination d'Agents : Modèles, Algorithmes et Protocoles}{Malik Ghallab (Pdt), Jean-Pierre Briot (rapp), Brahim Chaib-Draa (rapp), Patrice Enjalbert (rapp), Philippe Dague, Serge Haddad, Daniel Kayser, Christophe Sibertin-Blanc} \\
\tabTheseH{Lisser}{Abdel-Ilah}{}{12/21/00}{}{Bernard Lemaire (Pdt), Nelson Maculan (rapp), Michel Minoux (rapp), Pierre Tolla (rapp), Gérard Plateau, James Roberts, Vassilis Zissimopoulos} \\
\tabTheseH{Balbiani}{Philippe}{}{05/11/99}{Représentation logique et traitement algorithmique de l'espace}{Gérard Plateau (Pdt), Gérard Ligozat (rapp), John-Jules Meyer (rapp), Michael Rusinowitch (rapp), Luis Farinas del Cerro, Jacqueline Vauzeilles} \\
\tabTheseH{Bennani}{Younès}{}{03/16/98}{Contributions au contrôle de la capacité de généralisation des systèmes d'apprentissage connexionistes}{Françoise Fogelman (Pdt), Gérard Chollet (rapp), Yann Le Cun (rapp), Patrick Gallinari (rapp), Milan Milosavljevic (rapp), Daniel Kayser, Gérard Plateau, Daniel Stern} \\
\tabTheseH{Zweigenbaum}{Pierre}{}{02/06/98}{Traitement automatique de la langue médicale}{Pierre Dujols (rapp), Naomi Sager (rapp), Bernard Victorri (rapp), Jean-François Boisvieux, Mario Fieschi, Christophe Fouqueré, Daniel Kayser} \\
\tabTheseH{Bennaceur}{Hachemi}{}{01/08/97}{Contributions à la résolution de problèmes de satisfaction de contraintes}{Nelson Maculan (rapp), Pierre Siegel (rapp), Marie-Catherine Vilarem (rapp), Philippe Dague, Mehmet Dincbas, Gérard Plateau} \\
\tabTheseH{Coupey}{Pascal}{}{05/02/97}{Propriété par défaut : du point de vue inférentiel au point de vue définitionnel}{Michel Chein (rapp), Amedeo Napoli (rapp), Daniele Nardi (rapp), Daniel Kayser, Maurice Nivat, Jacqueline Vauzeilles} \\
\tabTheseH{Michelon}{Philippe}{}{06/10/97}{Contributions à l'optimisation en variables binaires}{} \\
\tabTheseH{Fouqueré}{Christophe}{}{01/24/95}{Syntaxe, taxonomies et concepts : cherchez l'intrus}{Jean-Pierre Jouannaud (Pdt), Patrice Enjalbert (rapp), Jose Meseguer (rapp), Jean-François Perrot (rapp), Philippe Besnard, Daniel Kayser, Jacqueline Vauzeilles} \\
\tabTheseH{Costa}{Marie-Christine}{}{11/29/94}{Contribution à la résolution de problèmes d'optimisation en variables bivalentes. Application au placement dans les systèmes distribués et à la localisation dans les réseaux de télécommunications}{Gérard Florin (Pdt), Pierre Hansen (rapp), Michel Minoux (rapp), Gérard Plateau (rapp), Philippe Chrétienne, Claude Kaiser, Jean-Claude Konig, Christian Lavault} \\
\tabTheseH{Trigano}{Philippe}{}{01/19/94}{Des Bases de Données et de Connaissances aux Interfaces en Langue Naturelle : un Enrichissement Réciproque}{Daniel Coulon (Pdt), Jean-Paul Haton (rapp), Daniel Kayser (rapp), Gérard Sabah (rapp), Jean-Paul Barthès, Marie-Odile Cordier, Bernard Dubuisson, Claudette Sayettat} \\
\tabTheseH{El Bèze}{Marc}{}{01/18/93}{}{Gaston Gross (Pdt), Joseph Mariani (rapp), Bernard Mérialdo (rapp), Guy Chaty, Philippe Dague} \\
\tabTheseH{Levrat}{Bernard}{}{02/26/93}{(thèse d'état) Le probleme du sens dans les systemes de traitement automatique du langage naturel : une approche alternative au travers de la paraphrase}{Igor Mel'cuk (Pdt, rapp), Michel Chein (rapp), Jean-Marie Pierrel (rapp), Guy Chaty, Daniel Coulon, Catherine Fuchs, Daniel Kayser, Gerard Sabah} \\
\tabTheseH{Lévy}{François}{}{02/10/93}{Études sur le raisonnement}{Jean-Pierre Jouannaud (Pdt), Philippe Besnard (rapp), Mike Clarke (rapp), Henri Prade (rapp), Daniel Kayser, Jean-Francois Le Ny, Jacqueline Vauzeilles} \\
\tabTheseH{Fréville}{Arnaud}{}{01/10/91}{Contribution à l'optimisation en nombres entiers}{Gerd Finke (Pdt, rapp), F.Glover (rapp), Monique Guignard-Spielberg (rapp), J.C. Fiorot, J. Fonlupt, Daniel Kayser, Gérard Plateau, Catherine Roucairol} \\
\tabTheseH{Ribeiro}{Celso}{}{09/10/90}{Contribution à l'optimisation combinatoire et ses applications}{Gerd Finke (Pdt, rapp), D. De Werra (rapp), Gérard Plateau (rapp), Jean-Pierre Barthélémy, Pierre Hansen, Daniel Kayser, Michel Minoux} \\
\end{longtable}}