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:
  • MSCS special issue for Zawadowski [event sem/dep typing?] (DL: end of March 2025)***
  • Sinn und Bedeutung 2025 (SuB30) [Main sessions and special session on negation] (Frankfurt, September 23-27, 2025; A call for abstracts will be published soon (December 2, 2024 at the latest) CfAbstract of 2 pages + refs, Dec 2024 [SuB29])***
  • TYPES 2025 will take place at the University of Strathclyde.
  
  
• 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


• Other Information (some obsolete)