Activités d'encadrement de Christian Retoré:
doctorats, jurys HDR et thèses,
mémoires de master recherche
Lundi 1 Mars, 2010 11:39
Doctorants et docteurs (co-)encadrés
- Anaïs Lefeuvre, Extraction automatique d'itinéraires dans des récits de voyages Co-encadrement avec Mauro Gaio (Bourse Région Aquitaine - INRIA)
- Natalia Vinogradova Analyse sémantique à large échelle du français avec une application aux expressions géographiques dans un corpus historique Co-encadrement avec Richard Moot (Bourse CordiS)
- Pierre Bourreau en cours Co-encadrement avec Sylvain Salvati (Bourse CordiS)
- Bruno Mery en cours Co-encadrement avec Christian Bassac (Bourse MENRT)
- Maxime Amblard Calcul de représentations sémantiques dans les grammaires minimalistes Thèse soutenue en septembre 2007. Co-encadrement avec Alain Lecomte. Situation actuelle: Maître de conférences, U. Nancy 2.
- Roberto Bonato An integrated computational approach to binding theory. Co-encadrement avec Denis Delfitto (cotutelle). Thèse soutenue en mai 2006. Situation actuelle: ensignant chercheur EISTI Pau.
- Erwan Moreau Acquisition de grammaires de dépendance et de grammaires catégorielles Co-encadrement avec Alexandre Dikovsky. Thèse soutenue en octobre 2006. Situation actuelle: PostDoc U. Paris-Nord
- Yannick Le Nir Structure des analyses syntaxiques catégorielles -- application à l'inférence grammaticale Co-encadrement avec Annie Foret. Thèse soutenue en décembre 2003. Situation actuelle: enseignant chercheur EISTI Pau
- Sylvain Pogodalla Réseaux de preuves et générations pour les grammaires de type logique. Co-encadrement avec Alain Lecomte et Marc Dymetman. Thèse soutenue en septembre 2001. Situation actuelle. CR1 INRIA-Lorraine
Jurys de HDR
- Décembre 2005, Isabelle Tellier Modéliser l'acquisition de la syntaxe du langage naturel via l'hypothèse de la primauté du sens Université de Lille 3. (rapporteur) [PR Orléans]
- Septembre 2004, Claire Gardent Inférence et traitement automatique des langues Université de Nancy 1. (examinateur) [DR CNRS LORIA]
Jurys de thèses (hors thèses encadrées)
- 5 Décembre 2008 Franck Sablé, Sémantique suppositionnelle et différentielle de l'algèbre discursive d(S) appliquée aux connecteurs "et, mais, si, donc". Université Paris IV. (président)
- 21 Octobre 2008, Sébastien Hinderer, Automatisation de la construction sémantique dans TYn, Université Nancy 1. (rapporteur)
- 27 Juin 2008 Céline Raynal, La restriction en français, trois études sémantiques, Université Paris 7. (rapporteur)
- Février 2007, Véronique Moriceau Intégration de données dans un système question-réponse sur le Web, Université Paul Sabbatier, Toulouse. (examinateur)
- Décembre 2006, Marie-Laure Guénot Eléments de grammaire du français pour une théorie descriptive et formelle de la langue
Université de Provence. (examinateur)
- Novembre 2006, Sylvain Degeilh Applications des prégroupes de Lambek au traitement automatique des langues naturelles
Université Montpellier 2 (rapporteur)
- Décembre 2004, Daniela Dudau Apprentissage de grammaires catégorielles pour simuler l'acquisition du langage naturel à l'aide d'informations sémantiques, Université Lille 1. (rapporteur)
- Novembre 2004, Fanch Lejeune Analyse sémantico-cognitive d'énoncés en Langue des Signes Française pour une génération automatique de séquences gestuelle, Université Paris-Sud. (rapporteur)
- Novembre 2003, Christophe Costa-Florêncio, Learning categorial grammars Universiteit van Utrecht. (reviewer)
- Janvier 2001 Quintijn Puite Sequents and link graphs -- contraction criteria for refinements of multiplicative linear logic. Utrecht. (rapporteur)
- Juin 1999 Akim Demaille Logiques linéaires hybrides et leurs modalités: théories et applications. (rapporteur, sous couvert de Jacques Sakarovitch).
- Septembre 1998, Jean Leneutre Contribution à l'é tude de la logique linéaire comme formalisme de modélisation et de spécification. ENST. (examinateur)
- Janvier 1996 Marie-Ange Légeret Algèbre des démonstrations du calcul de Lambek (examinateur)
Master recherche et DEA encadrés
- Co-encadrant du mémoire d'initation à la recherche de Paul Brunet (ENS-Cachan) 2009 Pertinence de la logique linéaire pour la composition de représentations formelles en λ-calcul simplement typé
- Co-encadrant avec Sylvain Salvati du mémoire de master de Arthur Ball 2008, Analyse syntaxique et requêtes Datalog ENSIMAG et INRIA
- Co-encadrant avec Sylvain Salvati du mémoire de master de Damien Schlachter Graphes de démonstration pour l'analyse syntaxique, 2007, Université Bordeaux 1.
- Co-encadrant avec Greg Kobele du mémoire de master de Benoît Wagler Analyse syntaxiqe pour les grammaires minimalistes, 2007, Université Bordeaux 1.
- Co-encadrant avec Irène Durand et Maxime Amblard du mémoire de master de Bruno Mery Langages faiblement contextuels, 2006, Université Bordeaux 1.
- Co-encadrant avec Renaud Marlet du mémoire de master de Jules Vanier Représentation des connaissances pour la sémantique du langage naturel, 2005, Université Paris 6 et Ecole Centrale de Paris et INRIA.
- Co-encadrant avec Kim Gerdes du mémoire de master de Nicolas Letteron Acquistion automatique de conjugueurs à partir du web, 2005, Université Bordeaux 1.
- Encadrant du mémoire de master de Bart Georges, Réseaux de Petri, logique linéaire et grammaires formelles, 2004, Université Bordeaux 1
- Encadrant du mémoire de master d'Emmanuel Daviaud, Logique d'ordre supérieur avec égalité dans un cadre compositionnel et intensionnel, 2004, Université Bordeaux 1.
- Co-encadrant avec Alain Lecomte du stage de DEA de Maxime Amblard Calcul de représentations sémantiques dans les grammaires minimalistes, 2003, Université Bordeaux 1.
- Co-encadrant avec Alexandre Dikovsky du stage de DEA de Erwan Moreau Apprentissage des grammaires cat{\'e}gorielles avec itérateurs [2001]
- Accueil et encadrement avec Jacques Nicolas de Roberto Bonato, Echange Erasmus Tesi di Laurea/DEA. Apprentissage des grammaires de Lambek Univeristé Rennes 1, 2000.
- Encadrement du stage de DEA de Sylvain Pogodalla (Ecole des Mines de Nancy). Réseaux de preuve, action et concurrence. Université Nancy 1 et Ecole des Mines de nancy, 1995.