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)***
  • Workshop on Higher Dimensional Algebra, Categories and Types (June 20, 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)