Past Events

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

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