Confs in 2014

• SALT 2014 (May 30 -- June 1, 2014; New York; subm: Dec 2, 2013)***
• Vienna Summer of Logic 2014, including FLoC (CSL/LICS etc) (July 9-24, 2014)
  • CSL-LICS 2014 (July 14-18, 2014, Vienna; subm: 13/01/2014 (abs) & 20/01/2014 (full))
  • Second Workshop on Natural Language and Computer Science (17-18 July, 2014; Vienna, Austria. Subm: Apr 1)
• EACL 2014 Type Theory and Natural Language Semantics Workshop (Gothenburg, Sweden; Apr 27, 2014; subm: Jan 23, 2014)***
• Semantics of proofs and certified mathematics (22 April 2014 - 11 July 2014; Paris)
• TYPES 2014 (Paris May 12-15, 2014; subm: Feb 28)
• Algebra and Coalgebra meet Proof Theory (KCL, May 15-16)***
• LACL 2014 (18-20/6/2014, Toulouse; subm: 15/3/2014)***
• ESSLLI 2014 (Aug 11-22, 2014; Tubingen, Germany)***
  • FG 2014 (August 16-17, 2014, Tubingen; subm: February 23, 2014)
• *SEM 2014 (23-24/8/2014, Dublin; subm: 11/4)