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:
- (encadrant effectif: Sylvain Salvati) Pierre Bourreau Jeux
de typage et analyse de lambda-grammaires non-contextuelles
soutenue le 29 juin 2012 situation actuelle PostDoc à
l'université de Tübingen
- 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: chercheur chez Azuriel Technology
- (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 en cours de (co)encadrement:
- Livy-Maria Real-Coelho Catégories, morphologie et
sémantique lexicale. Co-encadrement avec
José Borges Neto (Université du Paraná,
Curitiba, Brésil) Bourse du gouvernement
brésilien.
- (encadrant 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)
Jurys d'habilitation
- 5 juillet 2012 Annie Foret On some classes of type-logical
grammars that model syntax. Université Rennes 1
(examinateur)
- 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)
- 18 décembre 2012 Ramadan Alfared Acquisition de
grammaires catégorielles de dépendances
Université de Nantes (rapporteur)
-
11 décembre 2012 Christophe Onambele Vers une
grammaires minimaliste de certains aspects syntaxiques de la
langue Ewondo Université Paris 8 (rapporteur)
- 16 novembre 2012 Johan Segura Mémoires partagées
d’alignements sous-phrastiques bilingues
Université
Montpellier II (rapporteur)
-
9 décembre 2011 Loïc Kervajan Contribution à
la traduction automatique français / Langue des Signes
Française (LSF) au moyen de personnages virtuels
Université de 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.