11 octobre 2024 Qu'est-ce que
l'informatique? D'où vient-elle? Exposé pour 85 élèves de
3e collège François Rabelais, de 2nde et de 1ère du Lycée Jean
Monnet, Montpellier. Faculté des sciences, Université de
Montpellier.
The
Montagovian Generative Lexicon International Workshop on
Type-Theoretical Semantics (IWoTTS), West Anhui University and
Xiangtan University, June 25-26, 2022.
Une histoire de la logique mathématique, de la philosophie à
l'informatique. Journée mondiale de la logique, 14 janvier 2020.
cf exposé du 14 janvier 2019.
Chaque/tout: une différence en termes de justifications
Journées Quanti, Montpellier 8 décembre 2017 (with Alda
Mari, cf. infra slides incohérence 2015)
The Montagovian generative lexicon, a typed compositional
framework for lexical semantics. Automated semantic analysis
& acquisition. Workshop on systematic polysemy and
complex/dot types Toulouse, 18 avril 2014.
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.
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]
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)