Confs in 2011

• WoLLIC 2011 (Pennsylvania, Philadelphia, USA; May 18th to 21st, 2011; subm: January 1, 2011 (abstract) January 8, 2011 (paper deadline))
• ITP 2011 (Nijmegen; 22-25 August 2011; subm: 13-02-11 (abstract) & 20-02-11 (paper))
• LACL 2011 (June 29, 30, July 1 2011, France; subm: Feb 6)***
• Principles and Practice of Declarative Programming (PPDP) 2011 (Denmark July 20-22, 2011; subm: 8/3/11 (abst) & 15/3/11 (paper))
• CSL'11 (12-15 September 2011, Bergen, Norway; subm: Mar 27 (abstract) & Apr 3 (paper))***
• Tsinghua Software Day (and, for introduction in Chinese, see here) (Apr 11-12, 2011)***
• TYPES10 Special Issue (May 2, 2011)***
• Workshop on Type Dependency, TTR & NL (June 16-17, 2011; QMUL, London)***
• TYPES'11 (Sept 8-11; Bergen; subm of abstract: June 2, 2011)***
• ESSLLI 2011 (Ljubljana, Slovenia; Aug 1-12, 2011)***
  • Course on Lexical Semantics***
• Certified Programs and Proofs 2011 (December 7-9, 2011, Taiwan; subm: 13/17 June)
• LENLS 8 (Dec 1-2, 2011; abstract (4-6 pages) subm: August 31, 2011)