Confs in 2022

• 2022:
  • ESSLLI 2022 (School: 8-19 August, 2022, Galway, Ireland; subm: June 15/22, 2021; 14 September 2021: Notification)***
  • TYPES 2022 (Nantes, 20-25th June 2022; submission of 2pp abstract: 9 March 2022; notification: 20 April 2022)
    • TYPES22 post-proceedings (Abstract: Oct 31; paper subm: Nov 30; notification: 31 March 2023)***
  • FLOC 2022 (Israel, July 31 - August 12, 2022)
  • CompLingInfoReasAI'22 (Italy; 13th-15th July, 2022)***
  • Several online confs:
    • Workshop on Meaning of proofs (Jan 14, 2022; UCL online)*
    • Crossley Festschrift Logic Colloquium (Australia, online -- Zoom link in hotmail; June 14-15)*
  • LACompLing21 postproceedings (Subm extended DL: May 15, 2022; submission link)***
  • Workshop on type-theoretical semantics (China, online; June 25-26, 2022)***
  • LENLS19 (Japan, hybrid, 19-21/11/2022; subm: Wed Aug 31, 2022; notify: Sat Oct 1, 2022)