Mercredi 16 Novembre, 2011 0:31
- 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&ecaute; 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.
- 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.
- 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)