Useful pointers

• Some conferences and workshops:


• 2023:
  • ESSLLI 2023 (31/7/23-11/8/23, Ljubljana, Slovenia; subm link: Title-Abstract: 13/01/2023 + Final subm: 20/01/2023; Notification: 3/3/2023)***
    • Advanced Topics in Formal Semantics Based on Modern Type Theories (advanced course by Z. Luo; Aug 7-11, 2023)***
    • Course on Natural Language Syntax and Statistical Semantics with Modal Lambek Calculus (course web page) (by Sadrzadeh and Wijnholds)
    • Workshop on modalities in substructural logics (organised by Moortgat and Sadrzadeh)
    • Workshop on First-order Modal and Temporal Logics [CfSubm and ESSLLI workshop page] (organised by GORANKO and SHKATOV, 7-11 August; subm: April 16, notify: May 16)*
  • TYPES 2023 (Valencia, Spain, 12-15 June 2023; submission of 2pp abstract: 6 March 2023; notification: 5 May 2023)***
  • EuroProofNet WG6 meeting (Vienna; 24-25 April 2023)***
  • Online confs:
    • TPTP Tea Party 2023 (July 13, 2023; EUPrf-Net; online)*
    • French Conf on Phil of Math 2023 (Oct 18-20, 2023; online+F2F(Paris): talks on proof + Arnon AVRON on Predicativity)* [link to French Confs on Phil of Math]
    • FCNO@40 (Wright's book "Frege's conception of numbers as objects" 1983) - Forty Years of Neologicism (Nov 30 - Dec 2, 2023; Pavia, Italy)*
• 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")]
• 2025:
  • Sinn und Bedeutung 2025 (SuB30) [Main sessions and special session on negation] (Frankfurt, September 23-27, 2025 [SuB29])
  • TYPES 2025 (June 9-13, University of Strathclyde; subm DL: 3 March AoE; Notification: 11 April AoE)***
    • TYPES25 postproceedings (abstract: Nov 17, 2025; paper: Dec 1, 2025)***
  • The 16th International Conference on Computational Semantics (IWCS25) (Düsseldorf, Germany; Sept 22-24, 2025)***
  • MSCS special issue for Zawadowski (DL: extended to end of June 2025)***
  • The 3rd Conf on Logic, Language and Intelligence (Xiangtan; 2025)[YS talk on events]***
  • Peter Aczel's Memorial Conf (Sept 10, 2025 followed by BLC; Alan Turing Building, Univ of Manchester)*
  • 2025 Annual Conf on Logic in China (Wuhan Oct 25-26, 2025; subm: Sept 10)[VP in ES]***
• 2026:
  • TYPES26 (Gothenburg, May 4-8, 2026; 2pp abstract)***
  
  
• 1996, 1997, 1998-1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022