Axe transverse LOGIQUES du LIRMM

• chaque 14 janvier journées mondiales de la logique (UNESCO)
  
  
• 21-22 novembre 2022 Workshop on Logic, Graphs, and Algorithms (LoGAlg 2022) is a two-day event held at LIRMM (Montpellier) during the dates 21 and 22 of November 2022. The workshop will be dedicated to the logical aspects of graph algorithms and their diverse applications in Theoretical Computer Science and Discrete Mathematics.
  
• 2 juin 2022 exposé  Des logiques formelles aux applications dans les mondes scientifiques et industriels par Gérard Berry professeur émérite au collège de France, chaire Algorithmes  Machines et Langages
• 23-24 novembre 2021 journées logique et interaction
  
• 17 novembre 2021 journée fragments décidables de la logique du premier ordre organisée par D. Carral
• 4 juin 2021 journée preuves
  
• 22 janvier 2021 journée logique linéaire réseaux de preuves   dans le cadre du GDR-I logique linéaire organisée par D. Catta 
  
• 2017 projet Quanti de l'université de Montpellier journées (11 juillet, 8 et 15 décembre) et workshop (17-21 juillet)
  
• 10-11-12 juin 2015 workshop Espilon and Tau in Logic, Linguistics and Informatics (actes) juin 2015 (organised by S. Chatzikyriakydis, F. Pasquali, Ch Retoré)
•