Confs in 2019

• 2019:
  • ESSLLI 2019 (School: 5-16 Aug, 2019; Univ of Latvia; 15 June 2018: submission deadline; 15 September 2018: Notification)***
    • Advanced course on From Montague Semantics to Modern Type Theories: A Meaningful Comparison (by S. Chatzikyriakidis and Z. Luo, Aug 12-16, 2019; course web page)***
    • Formal Grammar 2019 (August 10-11, 2019; Subm DL: March 8, 2019; Notify: May 6, 2019)
  • Third Tübingen Conference on Proof-Theoretic Semantics (Tübingen, 27-30 March 2019; subm: Oct 1, 2018; notify: Oct 30, 2018)***
  • IWCS 2019 (Gothenburg 23-27th May 2019; subm: 15th January, 2019; Notification: 1st March 2019)***
  • Lambda Day 2019 (21-22 FEBRUARY 2019 KRAKÓW, POLAND)
  • WoLLIC 2019 (2-5 July, 2019; Utrecht; subm: Feb 22, 2019)
  • TYPES19 (Oslo, Norway: June 11-14, 2019; subm: Mar 4; notify: Apr 15)***
    • TYPES19 post-proceedings (DL: abstract Nov 4, 2019 + paper Nov 11, 2019)
  • Kent Workshop on Type theory, Category theory and Philosophy (July 3, 2019)***
  • Tbilisi Symposium on Language, Logic and Computation (Tbilisi, Georgia, 16-20 September 2019; subm: Apr 15; Notify: June 3)***
    • Post-proceednigs (DL: Mar 15, 2020)***
  • Collaborative Computing 2019 (August 19-22, 2019, London)***
  • Amsterdam Colloquium 2019 (Dec 18-20, 2019; Submission: September 1; Notification of acceptance: October 20)***