Confs in 2021

• 2021:
  • 14th International Conference on Computational Semantics (IWCS21) (Groningen, Netherlands; June 12-18, 2021; subm: Mar 2021)***
  • TYPES21 (June 14-18, 2021; Submission of abstract: 21-04-23 AoE; notification: 14 May 2021)
    • TYPES21 post-proceedings (abstract: Oct 29; paper: Nov 26, 2021)
  • ESSLLI 2021 (July 26 - Aug 13; online)
    • Workshop on Computing Semantics with Types, Frames and Related Structures 2021 (CSTFRS2021) (ESSLLI Workshop, July 26-27, 2021 (online); subm: June 1; notify: July 1)***
  • [ESSLLI'22 proposal DL: June 15/22, 2021 (below in 2022)]
  • Mathematical Linguistics week (Dec 13-17, 2021; Montpellier-online)
    • Logical Aspects of Computational Linguistics (LACL 2021) (Tuesday Dec 14; subm: June 27/July 11, 2021; Notification: September 12/26, 2021)***
    • Logic and Algorithms in Computational Linguistics (LACompLing 2021) (Wed - Fri, Dec 15-17; subm link)***
    • Mathematics of Language 2021 (Monday Dec 13; subm: Sept 30)
    • Workshop on Natural Language and Computer Science [cancelled]
  • Several online confs:
    • Logic Colloquium 2021 (July 19-24, 2021; Poland; online/registered)*
    • FSCD 2021 (Talk on process-as-formula at 1-2pm on July 22, 2021; online/registered)*
    • Category Theory 2021 (Aug 30 - Sept 4, 2021; Genoa, Italy; online)*
    • 1st International Workshop on Oriental Logic (Aug 30 - Sept 1; online)*
    • EXPLANATION BETWEEN LOGIC AND PHILOSOPHY CONFERENCE (France, Sept 20-22, 2021; online)*
    • Eighth Symposium on Compositional Structures (SYCO 8) (Tallinn, 13-14 Dec 2021)*
  • Workshop on New Frontiers in Proofs and Computation (Institute for Advanced Study in Mathematics, Hangzhou; Sept 12-17, 2021)***
  • CompLingInfoReasAI'21 (Oct 6-8, 2021)***
  • LENLS18 (Japan, hybrid, 13-15/11/2021; subm: Aug 31, 2021; notify: Sept 27, 2021)