Action transverse logique du LIRMM

• workshop Espilon and Tau in Logic, Linguistics and Informatics (actes) juin 2015 (organised by S. Chatzikyriakydis, F. Pasquali, Ch Retoré)
  
• projet Quanti de l'université de Montpellier journées et workshop en 2017
  
• journées mondiale de la logique (UNESCO),  chaque 14 janvier
  
• journée logique linéaire réseaux de preuves   dans le cadre du GDR-I logique linéaire 22 janvier 2021 organisée par D. Catta
  
• journée preuves 4 juin 2021
  
• journée fragments décidables de la logique du premier ordre 17 novembre 2021 organisée par D. Carral
  
• journées logique et interaction 23 et 24 novembre 2021