Confs in 2012
- SALT 22
(University of Chicago, May 18-20, 2012; subm DL: January 3, 2012, 11:59pm CST)***
- 4th Formal Topology Workshop (Ljubljana; June 15th to 19th 2012)***
- LACL 2012 (Nantes, July 2-4,
2012; subm: Feb 12, 2012)***
- ITP 2012 (Princeton, 13-16
August 2012; abstract subm: 6/2/2012; paper subm: 13/2/2012)
- Post-Proceedings of TYPES 2011 (Subm DL: 1/6/12)***
- Sinn und
Bedeutung 17 (SuB17) (Paris: September 8-10, 2012; Subm DL:April 16, 2012)***
- CSLP
2012 (Orleans, France Sept 13-14)***
- Mass/Count:
International Multidisciplinary Colloquium (Paris: 20/21-Dec-2012;
Subm: June 29, 2012)