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,..

déc 2019

 

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

Docteurs (co-)encadrés:

  1. Davide Catta Proofs as games and games as proofs: dialogical semantics of logical languages and natural languages. Les preuves vues comme des jeux et récirpoquement: sémantique dialogique de langage logiques ou naturels. Octobre 2018 23 November 2021. Université de Montpellier / LIRMM (Christian Retoré 50%, Richard Moot 30%, Myriam Quatrini 20%)  Maître de conférence, Université Sorbonne Paris Nord LIPN sept 2024 -->
  2. Léo Zaradzki Les évènements en sémantique linguistique et musicale  Octobre 2017 - 17 février 2021
    Université Paris Diderot - Centre de Recherche Interdisciplinaire - Laboratoire de Linguistique Formelle -
    (Jonathan Ginzburg 50%, Christian Retoré 50%)
    Situation actuelle: professeur agrégé de mathématiques en classes préparatoire aux grandes écoles, Lycée Condorcet, Paris.
  3. Mehdi Mirzapour Modelling semantic preferences for interpreting ambiguous utterances
    Christian Retoré 50%, Jean-Philippe Prost 50%
    Université de Montpellier Octobre 2015 28 Septembre 2018
    Situation actuelle: Ingénieur de R&D  en CDI, ContentSide
  4. Anaïs Lefeuvre, Sémantique des temps du français : une formalisation compositionnelle (Bourse Région Aquitaine - INRIA)
    Co-encadrement avec Mauro Gaio et Richard Moot  
    Université de Bordeaux, Décembre 2009 - 23 juin 2014.
    Situation actuelle: Maître de conférences en informatique, Université d'Orléans
  5. Livy-Maria Real-Coelho Nominalizações (Bourse du gouvernement brésilien)
    Universidade Federal do Paraná, Curitiba, Brésil, 28 avril 2014.
    Co-encadrement avec José Borges-Neto
    Situation actuelle: chercheuse contractuelle IBM Saõ Paolo.
  6. Noémie-Fleur Sandillon-Rezer Apprentissage de Grammaires Catégorielles :
    Transducteurs d'arbres et clustering pour l'induction de grammaires catégorielles     (bourse CNRS)
    Université de Bordeaux 9 décembre 2013.
    Co-encadrement avec Richard Moot
    Situation actuelle: Ingénieur de recherche, LIRMM-CNRS, Montpellier.
  7. Pierre Bourreau Jeux de typage et analyse de lambda-grammaires non-contextuelles (bourse INRIA Cordis) 
    Université de Bordeaux  le 29 juin 2012  
    Co-encadrement avec Sylvain Salvati
    Situation actuelle: ingénieur R&D Netfective Technology 
  8. Bruno Mery Une modélisation de la sémantique lexicale dans le cadre de la théorie des types (bourse MENRT) 
    Université de Bordeaux  le 5 juillet 2011
    Co-encadrement avec Christian Bassac
    Situation actuelle: enseignant chercheur contractuel IUT A U. Bordeaux
  9. Maxime Amblard Calcul de représentations sémantiques dans les grammaires minimalistes  (bourse MENRT) 
    Université de Bordeaux le 24 septembre 2007.
    Co-encadrement avec Alain Lecomte.
    Situation actuelle: Maître de conférences en informatique, Habilité à diriger des recherches en informatique, Université de Lorraine
  10. Roberto Bonato An integrated computational approach to binding theory. (Bourse de la région Vénétie)
    Université de Bordeaux et Université de Vérone 4 mai 2006
    Co-encadrement avec Denis Delfitto (cotutelle).
    Situation actuelle: chercheur chez Questel SAS, Sophia Antipolis, France
  11. Erwan Moreau Acquisition de grammaires de dépendance et de grammaires catégorielles  (bourse MENRT)
    Université de Nantes 18 octobre 2006.
    Co-encadrement avec  Alexandre Dikovsky
    Situation actuelle: research fellow Dublin Trinity College
  12. Yannick Le Nir Structure des analyses syntaxiques catégorielles -- application à l'inférence grammaticale 
    Université de Rennes 1,  15 décembre 2003.
    Co-encadrement avec Annie Foret.
    Situation actuelle: enseignant chercheur EISTI Pau
  13. Sylvain Pogodalla Réseaux de preuves et générations pour les grammaires de type logique. Université Nancy 1,  27 septembre 2001.
    Co-encadrement avec Alain Lecomte et Marc Dymetman.
    Situation actuelle. CR1 INRIA-Lorraine

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. 23 nov 2021 Richard Moot Type-Logical Grammar  Investigations: Proof-Theoretic, Computational and Linguistic Apaspects of Modern Type Logical Grammars. Université de Montpellier (président) 23 november 2021.
  2. 21 nov 2017 David Fernández-Duque Logical Dynamics Université Paul Sabatier Toulouse III (rapporteur) (Marie Curie Fellow)
  3. 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
  4. 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
  5. 5 juillet 2012 Annie Foret On some classes of type-logical grammars that model syntax. Université Rennes 1 (examinateur) MCF HDR U Rennes 1
  6. 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
  7. 7 janvier 2011 Lutz Strassburger Towards a Theory of Proofs of Classical Logic, Université Paris 7. (examinateur) [CR1 INRIA Saclay]
  8. 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]
  9. 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]
  10. 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. 31 janvier 2025 Linear Logic: Parallel cut elimination and Computation-as-Deduction for the π-calculus Univ Paris Cité & Univ Roma tre (rapporteur)
  2. 11 décembre 2023 Giti Omidvar Combinatorial Flows Ecole Polytechnique (rapporteur)
  3. 22 novembre 2022 William Babonnaud Sémantique lexicale, compositionnalité et coercion  Fondements théoriques des types sémantiques  Université de Lorraine (rapporteur)
  4. 16 décembre 2021 Vincent Iampietro Vérification formelle d’une méthodologie pour la conception et la production de systèmes numériques critiques Unviersité de Montpellier (président)
  5. 8 avril 2021 Aurélien Lamercerie Principe de transduction sémantique pour l’application de théories d’interface sur des documents de spécification Université Rennes 1  (rapporteur)
  6. 15 octobre 2019 Jan Malakhovski On the Expressive Power of Indexed Applicative and Monadic Structures Université Toulouse III et ITMO St. Petersburg (rapporteur)
  7. 5 décembre 2018 Nadira Boudjani Aide à la construction et l'évaluation des preuves mathématiques déductives par les systèmes d'argumentation Université de Montpellier (examinateur)
  8. 15 mars 2018  Carles Cardo Algebraic Dependency Grammars  Universitat Politècnica de Catalunya (rapporteur)
  9. 6 octobre 2017 Hubert Godfroy Réfexion, logique et calculs. Université de Lorraine (rapporteur)
  10. 1er décembre 2016 Aleksandre Maskharashvili Discourse Modeling with Abstract Categorial Grammars Université de Lorraine
  11. 10 juillet 2015 Razzane Issa Analyse symbolique et inférence de modèles métaboliques. Université de Bordeaux (rapporteur)
  12. 15 janvier 2015 Eugenia Sironi Types in Ludics Université d'Aix Marseille (rapporteur)
  13. 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)
  14. 1 octobre 2014 Marc Sylvestre Étude de la stratégie de réécriture k-bornée Université de Bordeaux (président)
  15. 11 décembre 2013 Florent Pompigne Modélisation logique de la langue et grammaires catégorielles abstraites (rapporteur) Université de Lorraine (examinateur)
  16. 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)
  17. 18 décembre 2012 Ramadan Alfared Acquisition de grammaires catégorielles de dépendances  Université de Nantes (rapporteur)
  18. 11 décembre 2012 Christophe Onambele Vers une grammaires minimaliste de certains aspects syntaxiques de la langue Ewondo Université Paris 8 (rapporteur)
  19. 16 novembre 2012 Johan Segura Mémoires partagées d’alignements sous-phrastiques bilingues Université Montpellier II (rapporteur) 
  20. 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)
  21. 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
  22. 18 octobre 2010, Paul Bédaride, Implication Textuelle et Réécriture (examinateur), Université Nancy 1.
  23. 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)
  24. 21 Octobre 2008, Sébastien Hinderer, Automatisation de la construction sémantique dans TYn, Université Nancy 1. (rapporteur)
  25. 27 Juin 2008 Céline Raynal, La restriction en français, trois études sémantiques, Université Paris 7. (rapporteur)
  26. 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)
  27. 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)
  28. Novembre 2006, Sylvain Degeilh Applications des prégroupes de Lambek au traitement automatique des langues naturelles Université Montpellier 2 (rapporteur)
  29. 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)
  30. 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)
  31. Novembre 2003, Christophe Costa-Florêncio, Learning categorial grammars Universiteit van Utrecht. (reviewer)
  32. Janvier 2001 Quintijn Puite Sequents and link graphs -- contraction criteria for refinements of multiplicative linear logic. Utrecht. (rapporteur)
  33. Juin 1999 Akim Demaille Logiques linéaires hybrides et leurs modalités: théories et applications. (rapporteur, sous couvert de Jacques Sakarovitch).
  34. Septembre 1998, Jean Leneutre Contribution à l'étude de la logique linéaire comme formalisme de modélisation et de spécification. ENST. (examinateur)
  35. Janvier 1996 Marie-Ange Légeret Algèbre des démonstrations du calcul de Lambek (examinateur)

Master recherche et DEA encadrés

  1. Encadrement M2 recherche  informatique théorique  U Montpellier Romain Sidhoum  Logique du temps et application à l’étudede scénarios
  2. Encadrement TER M1 Mathématique Université Paris 7 Sur l'injectivité du foncteur sémantique dans les grammaires  catégorielles
  3. 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" ? 
  4. 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
  5. Encadrement M2 recherche Pierrick Le Roux Ontological coercions of word meaning in second order typed lambda calculus 2016
  6. Encadrement stage L3-ENS-Lyon Fédéric Lang: Sous typage dans le système F juin-juillet 2014
  7. Encadrement stage M1 (science cognitive) Arthur Capelier-Mourguy: expériences sur la portée relative des quantificateurs. avril mai juin 2014
  8. Encadrant du Master 2 recherche d'Ophélie Lacroix Aspects logiques et linguistiques de la quantification. 2010--2011
  9. 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)
  10. 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é
  11. Co-encadrant avec Sylvain Salvati du mémoire de master de Arthur Ball 2008, Analyse syntaxique et requêtes Datalog ENSIMAG et INRIA
  12. 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.
  13. Co-encadrant avec Greg Kobele du mémoire de master de Benoît Wagler Analyse syntaxiqe pour les grammaires minimalistes, 2007, Université Bordeaux 1.
  14. Co-encadrant avec Irène Durand et Maxime Amblard du mémoire de master de Bruno Mery Langages faiblement contextuels, 2006, Université Bordeaux 1.
  15. 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.
  16. Co-encadrant avec Kim Gerdes du mémoire de master de Nicolas Letteron Acquistion automatique de conjugueurs à partir du web, 2005, Université Bordeaux 1.
  17. Encadrant du mémoire de master de Bart Georges, Réseaux de Petri, logique linéaire et grammaires formelles, 2004, Université Bordeaux 1
  18. 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.
  19. 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.
  20. Co-encadrant avec Alexandre Dikovsky du stage de DEA de Erwan Moreau Apprentissage des grammaires cat{\'e}gorielles avec itérateurs [2001]
  21. Accueil et encadrement avec Jacques Nicolas de Roberto Bonato, Echange Erasmus Tesi di Laurea/DEA. Apprentissage des grammaires de Lambek Univeristé Rennes 1, 2000.
  22. 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. Michele Abrusci 2015 Univ Montpellier 2 semaines
  8. Zhaohui Luo 2016 Université de Montpellier, 1 mois
  9. Reinhard Muskens 2017 Univ Montpellier 1 mois
  10. Laura Kallmeyer Univ Montpellier 2018 1 mois