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)***
  • WoLLIC 2024 (Bern, Switzerland, 10-13 June 2024)***
  • Logic Colloquium 2024 [LC24 program] (24-28 June; University of Gothenburg, Sweden)
    • Special session on Logic, Language and Computation (Tuesday June 25)***
  • Online confs/semimars:
    • Intuitionistic Ind Defns by Mark van Atten (3-6pm Jan 15, 2024; online seminar)*
  
  
• 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)