Past Seminars and Special Events

This list is not complete!

Seminars

• Seminars 2008-2009

• Seminars 2007-2008

• Seminars Fall 2006 and Spring 2007

• Seminars Fall 2005 and Spring 2006

• Seminars Spring 2005

• "Some Seminars 2003-2004"

Conferences and Workshops

• "LFMTP 2011, 6th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice"

• "MathWikis11, The ITP 2011 Workshop on Mathematical Wikis"

• "ITP 2011, The second conference on Interactive Theorem Proving"

• We organised the Logic Colloquium 2006 in Nijmegen, from July 27 until August 2 2006.

• "DIAMANT day/ Opening Brouwer institute"

• "Small TYPES workshop2005:Constructive analysis, types and exact real numbers"

• "Exact Real Arithmetic Afternoon 2004"

• "Small Types Workshop 2004:Types for Mathematics / Libraries of Formal Mathematics"

• "Dutch Proof Tools Day 2004"

• "TYPES 2002 Workshop"