Activités d'encadrement de Christian Retoré:
doctorats, jurys HDR et thèses,
mémoires de master recherche
vendredi 6 janvier, 2012 16:55
Docteurs (co-)encadrés:
- Bruno Mery Une modélisation de la sémantique lexicale dans le cadre de la théorie des types soutenue le 5 juillet 2011 Co-encadrement avec Christian Bassac (Bourse MENRT, ATER) Situation actuelle: formation intensive en japonais.
- Maxime Amblard Calcul de représentations sémantiques dans les grammaires minimalistes Thèse soutenue le 24 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.
- (encadrant principal A. Dikovsky) 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
Doctorants (co)encadrés:
- Livy-Maria Real-Coelho Catégories, morphologie et sémantique lexicale. Co-encadrement avec José Borges Neto (Cotutelle Université du Paraná, Curitiba, Brésil) Bourse du gouvernement brésilien.
- Ivano Ciardelli Du sens des mots au sens d’une phrase : modèles en logique linéaire du premier ordre avec Simone Martini (Bologna) et Jean Gillibert (IMB) Bourse CordiS INRIA - cotutelle France-Italie
- (encadrant principal effectif: Richard Moot) Noémie-Fleur Sandillon-Rezer Acquisition de grammaires catégorielles à partir de corpus annotés co-encadrement avec Richard Moot Bourse CNRS
- Anaïs Lefeuvre, Extraction automatique d'itinéraires dans des récits de voyages Co-encadrement avec Mauro Gaio (Bourse Région Aquitaine - INRIA)
- (encadrant principal effectif: Richard Moot) 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)
- (encadrant principal effectif: Sylvain Salvati) Pierre Bourreau en cours Co-encadrement avec Sylvain Salvati (Bourse CordiS, ATER)
- Bruno Mery en cours Co-encadrement avec Christian Bassac (Bourse MENRT, ATER)
Jurys d'habilitation
- 7 décembre 2011 Mathieu Lafourcade Lexique et analyse sémantique de textes - structures, acquisitions, calculs, et jeux de mots Université Montpellier 2 (rapporteur)
- 7 janvier 2011 Lutz Strassburger Towards a Theory of Proofs of Classical Logic, Université Paris 7. (examinateur) [CR1 INRIA Saclay]
- 7 Décembre 2010, Dominique Archambault. Interaction et usages des modalités non visuelles, accessibilité des contenus complexes Université Paris 6. (examinateur) [PR Paris 8]
- 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, puis Paris 3]
- Septembre 2004, Claire Gardent Inférence et traitement automatique des langues Université de Nancy 1. (examinateur) [DR CNRS LORIA]
Jurys de thèse (hors thèses encadrées)
- 9 décembre 2011 Loïc Kervajan Vers la traduction automatique du Français vers la Langue des Signes Française (LSF) au moyen de personnages virtuels Contribution à la génération automatique de la LSF Aix-en-Provence (rapporteur)
- 18 octobre 2010, Paul Bédaride, Implication Textuelle et Réécriture (examinateur), Université Nancy 1.
- 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
- Encadrement du Master 2 d'Ophélie Lacroix Aspects logiques et linguistiques de la quantification.
- Encadrement du Master 2 de sciences du langage de Laura Maillard 2010-2011 Sémantique lexicale des événements.
- Encadrant du mémoire d'initiation à la recherche d'Emeric Kien (ENS-Cachan) 2010 Du sens des mots à l'analyse automatique d'une phrase (avec Richard Moot et Bruno Mery)
- 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.