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)*