Confs in 2013
- Foundation of Mathematics
for Computer-Aided Formalization
(Padova, 9-11 January 2013)***
- Workshop on Lexicon and Logic (Toulouse, Jan 28-30, 2013)***
- SALT23 (Santa Cruz, California,
May 3-5, 2013; subm: Dec 2, 2012)
- TYPES 2013 (April 23-26, 2013
in Toulouse)***
- TLCA 2013 (June 26-28, 2013; Abst subm: 25/1/2013; paper subm: 1/2/2013)
- IWCS 2013 (Germany;
March 2013)
- SEM 2013 (USA, June 2013)
- LICS 2013
(June 25-28, 2013, New Orleans, USA; Abstracts: January 7, 2013;
Extended Abstracts : January 14, 2013)
- 18th conference on
Formal Grammar (FG 2013)
(Dusseldorf, August 10-11, 2013; subm: Mar 31)***
- LAGB 2013 (London; Aug
28-31; Subm: Apr 15)***
- WoLLIC 2013
(Darmstadt, Germany; August 20th to 23rd, 2013; subm: May 25 (abstract), May 29 (full))
- Dummett Day & BLC
(Dummett Day: Sept 4-5; BLC: Sept 5-7)
-
Conference on Type Theory, Homotopy Theory and Univalent Foundations
(Barcelona; Sept 23-27, 2013; subm: July 1, 2013)***