Past Events

2011 Proof Search in Axiomatic Theories and Type Theories (CADE 2013, Wroclaw)

2010 Proof Search in Type Theories International Workshop (FLOC 2010, Edinburgh)

2009 Proof Search in Type Theories International Workshop (CADE 2009, Montreal)

2008 Proof Search in Type Theories Local Workshop (LIX - Ecole Polytechnique, France)