Research activities

• With Davide Catta lectures on LINEAR LOGIC at  ESSLLI 2024 Leuwen
  
• Workshop on Modal Logic (Montpellier July 11-12 2024)
  
• On the editorial boards of the following journals:
  
• Journal of Applied Logics (from 2014)
• Bulletin of Symbolic Logic (from 2018-2020 & 2021-2023)
• Compositionality (founding editor, 2018) Brand new journal ! Scope: broad, but mathematical Compositionality refers to complex things that can be built by sticking together simpler parts. We welcome papers using compositional ideas, most notably of a category-theoretic origin, in any discipline. This may concern foundational structures, an organising principle, a powerful tool, or an important application. Example areas include but are not limited to: computation, logic, physics, chemistry, engineering, linguistics, and cognition.
  
• AMS maths reviews (since 2003)
  
• On going conference program committees: ACL2021, SEM*2021, Formal Grammar 2020, Semantics and Probability 2020, Natural Language and Argumentation@DCAI 2020 (track cochair),  COLING2020, EMNLP2020, 
  
• 2011--> Logical Aspects of Computational Linguistics  Steering committee (chair)
• Editor of the new book series "Logic, linguistics, computer science / Logique linguistique informatique" (ISTE/Wiley) 
• earlier on
  

Projets:

• Projet e-FRAN du PIA  AREN: Argumentation et Numérique
  
• Projet UM 2017 Université de Montpellier LIRMM  & IMAG: QUANTI: une étude pluridisciplinaire de la quantification : mathématique, informatique, didactique et linguistique. (porteur)
  
• GDR Informatique Mathématique
• GDR Philosophie des mathématiques
  

Séminaires:

• Journée mondiale de la logique: chaque 14 janvier 
• séminaire Histoire et Philosophie des Sciences (HiPhiS)

• BSc in pure mathematics (1986) Université Paris 6 Pierre et Marie Curie (today: Paris Sorbonne math dept)
• Master (1987) & PhD in mathematics (1993) both supervised by J.-Y. Girard Université Paris 7 Denis Diderot (today: Université de  Paris math dept)
  
• including 16 months (sept. 89- dec. 90) as a research assistant of S. Abramsky in the department of computing of Imperial College in fulfilment of military service obligation
  
• "Habilitation à diriger des recherches (HDR)" in computer science  (2002), Université de Nantes, CRIN (today: IS2N) (HDR: diploma needed to be the supervisor of a PhD)

• (1993-1994) INRIA Post-Doc Sophia Antipolis in the Meije team (G. Berry, G. Boudol)
  
• (1994-2003) INRIA research scientist (Nancy 1994-1997, Rennes 1997-2002, Bordeaux 2002-2003)
• (depuis 2003)  Professeur des universités publiques de France:
• (2003-2014) Professeur d'informatique, UFR Maths-Info et LaBRI Université Bordeaux 1
  
• (depuis 2014) Professeur d'informatique Faculté des sciences  Université de Montpellier
  

• Curriculum Vitae
• Publications
• Encadrement (étudiants, jurys)/ master & PhD students etc.
• Some talks (slides) / quelques exposés (diapos)

• member of the Association for Symbolic Logic
  
• membre de la Société Mathématique de France
  
• membre de la Société Informatique de France
  
• member of the Foundation for Logic Language and Information

Principaux cours enseignés depuis sept 2021 (LMD5):

• @ÉTUDIANTS: Depuis 2014 je dépose les documents de cours
  sur le Moodle de  l'université de Montpellier
  
• Premier semestre
  
• L3 HAI504I Logique du premier ordre
  
• M1 HAI710I Logique, calculabilité, complexité
  
• M2 HAI922I Langage naturel 2 sémantique des mots et de la phrase
  
• Second semestre:
  
• M1 HAI816I Logique pour le génie logiciel et l'intelligence artificielle (logiques modales et applications)
  
• M1 HAI815I Langage naturel 1 syntaxe
  
• Previous courses