Activités d'encadrement et d'accueil de Christian Retoré:
doctorats, post-docs,  jurys HDR et thèses,
mémoires de master recherche, prof invités,..

15 mars 2014

 

 

Docteurs (co-)encadrés:

  1. Anaïs Lefeuvre, Sémantique des temps du français : une formalisation compositionnelle Co-encadrement avec Mauro Gaio et Richard Moot  (Bourse Région Aquitaine - INRIA) Université de Bordeaux, 23 juin 2014. Situation actuelle: Maître de conférences en informatique, Université d'Orléans
  2. (avec José Borges-Neto) Livy-Maria Real-Coelho Nominalizações Universidade Federal do Paraná, Curitiba, Brésil, 28 avril 2014. Chercheuse contractuelle IBM Saõ Paolo.
  3. (avec Richard Moot) Noémie-Fleur Sandillon-Rezer Apprentissage de Grammaires Catégorielles :Transducteurs d'arbres et clustering pour l'induction de grammaires catégorielles 9 décembre 2013.. Situation actuelle: reprise d'études,  Ingénieur de recherche, LIRMM-CNRS, Montpellier.
  4. (avec Sylvain Salvati) Pierre Bourreau Jeux de typage et analyse de lambda-grammaires non-contextuelles soutenue le 29 juin 2012   ingénieur R&D Netfective Technology 
  5. 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: enseignant chercheur contractuel IUT A U. Bordeaux
  6. 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 en informatique, Université de Lorraine
  7. 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 Questel SAS, Sophia Antipolis, France
  8. (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: research fellow Dublin Trinity College
  9. 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
  10. 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

Doctorant(s) en cours de (co)encadrement:

  1. (avec Jean-Philippe Prost) Mehdi Mirzapour Modelling semantic preferences for interpreting ambiguous utterances / Modélisation de préférences pour l'interprétation d'énoncés ambigus. Université de Montpellier Octobre 2015 -- ...

Post-docs accueillis

  1. Gregory Kobele 2006/2007 INRIA / LABRI (associate professor, University of Chicago)
  2. Daniele Porello 2007/2008 INRIA / LABRI (researcher, CNR, Università di Trento)
  3. Fabio Pasquali 2013/2014 CNRS / LABRI (researcher, università di Padova)
  4. Stergios Chatzykyriakidis 2014/2015 CNRS / LIRMM (researcher, CLASP, university of Gothenburg)

Jurys d'habilitation

  1. 29 sept 2014 Béatrice Godart-Wendlin Formalisation et philosophie du langage:Épistémologie historique des mutations conceptuelles Université Paris 8 (rapporteur) CR CNRS HDR LHTL U Paris Diderot
  2. 23 mai 2014 Myriam Quatrini La Ludique: une théorie de l’interaction, de la logique mathématique au langage naturel Aix-Marseille Université (rapporteur) MCF HDR AMU
  3. 5 juillet 2012 Annie Foret On some classes of type-logical grammars that model syntax. Université Rennes 1 (examinateur) MCF HDR U Rennes 1
  4. 7 décembre 2011 Mathieu Lafourcade Lexique et analyse sémantique de textes - structures, acquisitions, calculs, et jeux de mots Université Montpellier 2 (rapporteur)MCF HDR Montpellier
  5. 7 janvier 2011 Lutz Strassburger Towards a Theory of Proofs of Classical Logic, Université Paris 7. (examinateur) [CR1 INRIA Saclay]
  6. 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]
  7. 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]
  8. 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)

  1. 1er décembre 2016 Aleksandre Maskharashvili Discourse Modeling with Abstract Categorial Grammars Université de Lorraine
  2. 10 juillet 2015 Razzane Issa Analyse symbolique et inférence de modèles métaboliques. Université de Bordeaux (rapporteur)
  3. 15 janvier 2015 Eugenia Sironi Types in Ludics Université d'Aix Marseille (rapporteur)
  4. 8 décembre 2014 Ophélie Lacroix De l’étiquetage syntaxique pour les grammaires catégorielles de dépendance à l’analyse par transition dans le domaine de l’analyse en dépendances non-projectives Université de Nantes (président)
  5. 1 octobre 2014 Marc Sylvestre Étude de la stratégie de réécriture k-bornée Université de Bordeaux (président)
  6. 11 décembre 2013 Florent Pompigne Modélisation logique de la langue et grammaires catégorielles abstraites (rapporteur) Université de Lorraine (examinateur)
  7. 30 septembre 2013 Bertrand Boisvert Catégories, lambda calcul typé, et Preuves pour la Transformation de Graphes Attribués Université Paul Sabatier Toulouse 3 (examinateur)
  8. 18 décembre 2012 Ramadan Alfared Acquisition de grammaires catégorielles de dépendances  Université de Nantes (rapporteur)
  9. 11 décembre 2012 Christophe Onambele Vers une grammaires minimaliste de certains aspects syntaxiques de la langue Ewondo Université Paris 8 (rapporteur)
  10. 16 novembre 2012 Johan Segura Mémoires partagées d’alignements sous-phrastiques bilingues Université Montpellier II (rapporteur) 
  11. 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 & président)
  12. 18 octobre 2011 Arnaud Sallaberry Visualisation d'information : de la théorie sémiotique à des exemples pratiques basés sur la représentation de graphes et d'hypergraphes (président) Université Bordeaux 1
  13. 18 octobre 2010, Paul Bédaride, Implication Textuelle et Réécriture (examinateur), Université Nancy 1.
  14. 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)
  15. 21 Octobre 2008, Sébastien Hinderer, Automatisation de la construction sémantique dans TYn, Université Nancy 1. (rapporteur)
  16. 27 Juin 2008 Céline Raynal, La restriction en français, trois études sémantiques, Université Paris 7. (rapporteur)
  17. 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)
  18. 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)
  19. Novembre 2006, Sylvain Degeilh Applications des prégroupes de Lambek au traitement automatique des langues naturelles Université Montpellier 2 (rapporteur)
  20. 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)
  21. 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)
  22. Novembre 2003, Christophe Costa-Florêncio, Learning categorial grammars Universiteit van Utrecht. (reviewer)
  23. Janvier 2001 Quintijn Puite Sequents and link graphs -- contraction criteria for refinements of multiplicative linear logic. Utrecht. (rapporteur)
  24. Juin 1999 Akim Demaille Logiques linéaires hybrides et leurs modalités: théories et applications. (rapporteur, sous couvert de Jacques Sakarovitch).
  25. Septembre 1998, Jean Leneutre Contribution à l'étude de la logique linéaire comme formalisme de modélisation et de spécification. ENST. (examinateur)
  26. Janvier 1996 Marie-Ange Légeret Algèbre des démonstrations du calcul de Lambek (examinateur)

Master recherche et DEA encadrés

  1. Co-encadrement avec Alda Mari IJN d'Audrey Bedel M1 Cogmaster ENS Paris Modélisation de la quantification existentielle en français: quelle différence entre "quelques" et "certains" ? 
  2. Co-encadrement avec Alda Mari IJN de William Babonnaud M2 MPRI Une étude de l’extension du calcul des prédicats par les opérateurs epsilon et tau de Hilbert — application aux ambiguîtés de portée des quantificateurs en linguistique informatique
  3. Encadrement M2 recherche Pierrick Le Roux Ontological coercions of word meaning in second order typed lambda calculus 2016
  4. Encadrement stage L3-ENS-Lyon Fédéric Lang: Sous typage dans le système F juin-juillet 2014
  5. Encadrement stage M1 (science cognitive) Arthur Capelier-Mourguy: expériences sur la portée relative des quantificateurs. avril mai juin 2014
  6. Encadrant du Master 2 recherche d'Ophélie Lacroix Aspects logiques et linguistiques de la quantification. 2010--2011
  7. 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)
  8. Co-encadrant avec Lionel Clément 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é
  9. Co-encadrant avec Sylvain Salvati du mémoire de master de Arthur Ball 2008, Analyse syntaxique et requêtes Datalog ENSIMAG et INRIA
  10. 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.
  11. Co-encadrant avec Greg Kobele du mémoire de master de Benoît Wagler Analyse syntaxiqe pour les grammaires minimalistes, 2007, Université Bordeaux 1.
  12. Co-encadrant avec Irène Durand et Maxime Amblard du mémoire de master de Bruno Mery Langages faiblement contextuels, 2006, Université Bordeaux 1.
  13. 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.
  14. Co-encadrant avec Kim Gerdes du mémoire de master de Nicolas Letteron Acquistion automatique de conjugueurs à partir du web, 2005, Université Bordeaux 1.
  15. Encadrant du mémoire de master de Bart Georges, Réseaux de Petri, logique linéaire et grammaires formelles, 2004, Université Bordeaux 1
  16. 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.
  17. 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.
  18. Co-encadrant avec Alexandre Dikovsky du stage de DEA de Erwan Moreau Apprentissage des grammaires cat{\'e}gorielles avec itérateurs [2001]
  19. Accueil et encadrement avec Jacques Nicolas de Roberto Bonato, Echange Erasmus Tesi di Laurea/DEA. Apprentissage des grammaires de Lambek Univeristé Rennes 1, 2000.
  20. 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.

Profs invités

  1. Michael Moortgat 2006 1 mois
  2. Reinhard Muskens 2007 CNRS 6 mois
  3. Denis Delfitto 2008 INRIA  3 mois
  4. Michele Abrusci 2010 INRIA 3 mois
  5. Zhaohui Luo 2011 Université de Bordeaux, 1 mois
  6. Carl Pollard 2011 INRIA 1 mois
  7. Zhaohui Luo 2016 Université de Montpellier, 1 mois