Présentations de Christian Retoré





2017



2016






2015




2014




2013



  • A presentation of the project "Complexity and language: a formal and experimental study of language understanding" at the workshop Slam, Nancy, December 2013. 
  • A natural framework for natural language semantics: many sorted logic and Hilbert's operators in type theory, talk at the Logic Colloquium, Evora, July 22-27 2013
  • Déterminants, génériques et quantificateurs dans un cadre richement typé (avec Vito Michele Abrusci)  exposé à la rencontre du projet ANR Loci du 5 juillet 2013 à Marseille
  • Syntaxe, sémantique et lexique dans un même cadre logique (avec Richard Moot) séminaire IA du LIRMM, le 3 juillet 2013
  • Un an chez Melodi, Toulouse, 26 juin 2013
  • Sémantique des déterminants dans un cadre richement typé, exposé à TALN 2013 (17-21  juin 2013, Les Sables d'Olonne)
  • Génériques, quantificateurs généralisés et opérateurs de Hilbert  Atelier  Déterminants et Inférences (11 et 12 juin 2013) organisé par Francis Corblin
  • Type-theoretical natural language semantics: on the system F for meaning assembly talk at Types 2013 (April 22-26 2013)
  • Introduction to the workshop on the logic of the lexicon Toulouse, january 28th 2013.
  • A type theoretical framework for compositional semantics and lexical pragmatics — determiners and quantifiers. Talk at the workshop on the logic of the lexicon Toulouse, january 30th 2013.
  • (with Nicholas Asher) Méthodes Symboliques en Traitement Automatique des Langues, Journée des instituts INS2I & INSHS du CNRS sur le Traitement Automatique des Langues en France (organisée par Isabelle Tellier) Nancy, 15 janvier 2013


  • 2012



  • (Slides in English, more or less as below) Sémantique du langage naturel en théorie des types ,  Séminaire TEXTE, LIRMM, Montpellier, 14 nov. 2012
  • Some type theoretic accounts of natural language semantics Transparents en anglais de ma présentation au thème 4 de l'IRIT, le 5 octobre 2012, avec quelques références à la fin.
  • Présentation du programme de travail (2012--2013) dans Melodi (IRIT, Toulouse) voir aussi le programme de recherche pour une délégation à l'IRIT soumis au C.N.R.S. (et acceptée, un grand merci au C.N.R.S.!) 
  • The slides and other material for the ESSLLI course (Opole, August 2012) Proofs, models and categories for type theory, with selected applications to natural language semantics
  • Some pragmatic and semantic applications of the system F February 10 2012, talk at the school/workshops Logic and Interactions 2012, CIRM, Marseilles, January 30 March 2 2012


  • 2011



  • Quelles formules logiques peut-on associer aux déterminants génériques? Voir les exposés ci-dessous sur la quantification, à Genius III et au CLMPS. Atelier déterminants et inférence, 16 décembre 2011.
  • De la logique du second ordre comme langage d'assemblage pour la sémantique et pour la pragmatique lexicale: application à quelques phénomènes linguistiques: glissements de sens en contexte, quantification généralisée, pluriels,... Voir les deux exposés ci-dessous. Exposé au CEPERC, Aix-en-Provence, le 8 décembre 2011.
  • Specimens: "most of" generic NPs in a contextually flexible type theory -- An example of second order λ-calculus for meaning assembly talk at the Genius III conference, Paris, Dec 5-6, 2011
  • Discursive analysis of itineraries in a historical regional corpus of travels: syntax, semantics & pragmatics in a unified type theoretical framework — with a close-up on system F Toulouse ITIPY meeting on spatial semantics Nov. 7, 2011.
  • A discursive analysis of itineraries in an historical and regional corpus of travels:syntax, semantics, and pragmatics in a unified type theoretical framework see publications for the paper. In Contraints in Discourse 2011, Agay, sept. 14-16
  • Quantification and Interaction. Vito Michele Abrusci and Christian Retore Affiliated LOCI Symposium 14th Congress of Logic, Methodology and Philosophy of Sciences, Nancy 19-26 july [Shorter version: Quantification in ordinary language: from a critic of set-theoretic approaches to a proof-theoretic proposal Session C2 same congress: Slides - 2 page abstract]
  • Logique mathématique et linguistique formelle. Christian Retoré, Leçons de mathématiques d'aujourd'hui. 7 juillet 2011.
  • Comment prendre en compte la sémantique lexicale dans une grammaire catégorielle? Exposé au Laboratoire Parole et Langage Aix-en-Provence, mercredi 19 janvier 2011, (2e partie d'un exposé de Richard Moot)
  • La quantification en logique et en langue: complexité linguistique Journée de Complexité Linguistique Laboratoire Parole et Langage, Aix-en-Provence Mardi 18 janvier 2011(plus court que le suivant, mais plus orienté vers la linguistique expérimentale)
  • La quantification en logique et en linguistique, journée Méthodes Formelles du LaBRI, 14 janvier 2011.


    2010



  • Un peu de nuance dans une logique de brutes: la question du sens en linguistique informatique. Séminaire Unithé ou café, INRIA Bordeaux Sud-Ouest, 17 décembre 2010.
  • Parler et comprendre : processus cognitifs et modèles informatiques de la faculté langage. Conférence proposé par l'Asco et club cognitique, Bordeaux, Université Bordeaux 2 Victor Ségalen, place de la Victoire, amphi Pîtres, jeudi 2 décembre 2010, 18:00.
  • Which type theory for lexical semantics, exposé aux 16e rencontres Logique, Algèbre, Calcul, GDR Informatique Mathématique, 16-17 novembre 2010, PPS.
  • Inserting lexical semantics into montagovian compositional semantics, séminaire TAL du LIRMM, 5 juillet 2010.
  • Avec Jean Gillibert: Faisceaux en logique et en géométrie, journées maths-info de l'UFR éponyme - 2 juillet 2010.
  • Sémantique et modélisation dans le cadre de la logique catégorique. Séminaire ANR GENIUS IJN/IHESS/ENS 15 avril 2010.
  • Proposition de coopération LABRI IMB Modèles géométriques de la logique linéaire.
  • Lexique, composition et logique, prospective en sémantique formelle, GDR sémantique et modélisation, réunion du vendredi 13 mars 2009 à Bordeaux.
  • Towards a logical model of some aspects of lexical semantics Séminaire du LIPN, 25 janvier 2010.


    < 2010



  • Categorial grammars for computing the correspondence between syntax and semantics -- an example of interplay between mathematical logic and computational linguistics Mini cours à Ealing, ENS, septembre 2008. (only this was actually achieved)
  • Proofnets, cographs and perfect matchings (Graphes de démonstration, cographes et couplages parfaits). LaBRI, Groupe de Travail Graphes et Applications, 18 janvier 2008.
  • Which formal languages for natural languages (Mosaïque last meeting in Arcachon, december 7th 2007)
  • Modéliser le langage: La linguistique computationnelle au carrefour de l’informatique, de la linguistique, des sciences cognitives et des outils pour l’Internet (avec un aparté sur l'étude formelle de la langue des signes française) Conférence à l'Université ouverte de Cergy-Pontoise, 29 novembre 2007.
  • Handling logical polysemy within simple type theory. Journées Prélude à Pauillac, 1er novembre 2007.
  • On the trees underlying natural language sentences, Colloquium in honor of Gérard Huet, June 22nd -23rd, 2007, Paris.
  • Perfect matchings and directed cographs: proofnets for pomset logic and the origins of deep inference, Theory and Application of Deep Inference, June 21st, 2007, Palaiseau.
  • SIides from the Geometry and computation (GEOCAL 06) , session on Logic and linguistics Marseille, Februrary 2006
  • Habilitation à Diriger des Recherches: Logique linéaire et syntaxe des langues soutenue le 4 janvier 2002 (Président: A. Dikovsky , Rapporteurs: G. Huet, J. Lambek, M. Moortgat, Examinateurs: C. Gardent, G. Kahn, J.-X. Rampon, O. Ridoux)Version d'avril 2002 PDF - A4 paper ou PDF - letter paper Slides from the defense for viewing or for printing(thanks to Michael Moortgat for providing the pdflatex package) 
  •