Confs in 2016
- 2016:
- ESSLLI 2016 (School: 15-26
August, 2016; Subm: June 1, 2015;
notify: Sept 23, 2015)***
- NASSLLI
2016 (subm: September 30, 2015; notify: Nov 1)***
- LFCS 2016 (Jan 4-7, 2016,
Florida; subm: Sept 6, 2015; notify: Oct 15, 2015)
- SALT26 (May 12-15, 2016;
Texas; subm: Dec 20, 2015; rebuttal: Jan 29 - Feb 5; notify: Feb 29)***
- LICS 2016 (July 5-8,
2016, New York City; subm: Jan 11 (abst) & Jan 18 (full) 2016; rebuttal: Mar
14; notify: Apr 4)***
- TYPES 2016
(Novi Sad, Serbia, 23-26 May 2016; subm of abstract: Feb 22; notify: Mar 21)***
- WoLLIC 2016 (Mexico; Aug 16-19, 2016; Mar 14: abstract; Mar 21: paper; notify: Apr 22)
- Sinn und
Bedeutung 21 (Edinburgh, September 4-6 2016; subm: Mar 31)***
- CSL 2016 (August 29-September
1st, 2016, Marseille, France; Abstrat: Apr 8; paper: Apr 15; notify: June 11)***
- Linearity'16
(Portugal, June 25; subm: abstr: Apr 8 and paper: Apr 15)
- Workshop
on TT and Philosophy (Kent, June 9-10, 2016)***
- LACL
2016 (Nancy, France; Dec 5-7, 2016; subm: June 15 (extended to July 3); notify: Sept 1)***
- EUTYPES in Lisbon
(Oct 5-6, Lisbon; colocated with the BETTY meeting)***