Confs in 2015
2015:
IWCS 2015***
CG Workshop at ESSLLI 2015
(subm: Feb 15; nonification: Apr 15; Workshop: Barcelona August 10-14)***
ACL 2015
(subm: Feb 27; Author response period: April 9-12, 2015; Notification of acceptance: April 23, 2015; conf: BJ July 26-31)***
TYPES 2015
(subm: Mar 13; notification: Apr 3; conf: Tallinn, Estonia, May 18-21)***
MoL 2015 (14th Meeting on Mathematics of Language)
(subm: Mar 13; notification: April 24, 2015; conf: Chicago July 25-26)***
TYTLES: TYpe Theory and LExical Semantics
(subm: Mar 31; notification of acceptance: April 30; workshop: ESSLLI Aug 3-7)***
CSL 2015
(abstract subm: 3 April 2015. Paper Submission: 10 April 2015; Notification: 13 June 2015. Conference: Berlin 7 - 10 September 2015)***
CADE25 Encyclopedia of Proof Systems
(subm: May 31; Notify: June 15; CADE: 1-7 Aug)***
BCTCS 2015 (14-16, 18 Sept 2015)***
LENLS 12
(November 15-17, 2015; subm: Aug 23, 2015; notify: 30/9/15)
Amsterdam Colloquium 2015
(December 16-18, 2015; subm (2 page abstract): Sept 1; notify: Oct 20)***