Useful pointers

• Some conferences and workshops:


• 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)
• 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)
  • 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)***
  
  
• 1996, 1997, 1998-1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020


• Other Information (some obsolete)