2024:

• TYPES 2024 (Copenhagen, Denmark; 10-14 June 2024; submission of 2pp abstract: Mar 4, 2024; notification: Apr 19, 2024)***
  • TYPES24 post-proceedings (Abstract: Oct 31; Paper: Dec 1; Notify: Mar 31, 2025)
• WoLLIC 2024 (Bern, Switzerland, 10-13 June 2024)***
• Logic Colloquium 2024 (24-28 June; University of Gothenburg, Sweden)***
  • Special session on Logic, Language and Computation (Tuesday June 25)***
• The 2024 Conference on Philosophy of Mathematics in China (Shanxi University, Aug 12-13; hybrid)***
• Online confs/semimars:
  • Intuitionistic Ind Defns by Mark van Atten (3-6pm Jan 15, 2024; online seminar)*
  • FSCD24 (10-13 July 2024, Tallinn; hybrid)* [combined with LICS24 & ICALP24 -- shared page & schedule (click "programme")]