Confs in 2020

• 2020:
  • ESSLLI 2020 (School: 3-14 August, 2020, Utrecht; 1 June 2019: submission deadline; 14 September 2019: Notification)***
    • Computing Semantics with Types, Frames and Related Structures (Workshop at ESSLLI 2020)***
  • NASSLLI 2020 (School: July 12-17, 2020; Sept 30, 2019: submission deadline; Dec 1, 2019: Notification)
  • The Gandy Colloquium (Wolfson College, Oxford; 9.30-6pm, Feb 22, 2020)***
  • TYPES 2020 (2-5 March 2020, Torino; 2pp abstract: 10 January 2020; acceptance/rejection: 1 February; camera-ready version of abstract: 15 February)***
    • TYPES20 post-proceedings (DL: Oct 31, 2020)***
  • Proofs, Computation and Meaning (20-21 March 2020, Tübingen, Germany)
  • LICS 2020 (8-12 July, Beijing; Abstract: 6 January 2020; Full Papers: 10 January; Rebuttal Period: 16-20 March; Notification: 10 April)
  • Applied Proof Theory Workshop (Online, Melbourne; Nov 5-6, 2020)***