Other Interesting Links

Events

Mathematics, algorithms and proofs (MAP 2012), September 2012.
19th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2012), July 2012
Fourth Workshop on Formal Topology and Workshop on Higher Dimensional Algebra, Categories and Types, June 2012
International Spring School on Formalisation of Mathematics, March 2012
First International Conference on Certified Programs and Proofs (CPP 2011), December 2011
Mathematics, algorithms and proofs (MAP 2011), November 2011 (Report)
18th Workshop "Types for Proofs and Programs", September 2011
Third Coq workshop, August 2011
2nd International conference on Interactive Theorem Proving (ITP 2011), August 2011
18th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2011), July 2011
Mathematics, algorithms and proofs (MAP 2010), November 2010
Second Coq workshop, July 2010
1st International conference on Interactive Theorem Proving (ITP 2010), July 2010
20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), July 2010
17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010), July 2010
Algebraic methods, soft computing, and program verification (co-chair: Julio Rubio), April 2010
Mathematics, algorithms and proofs (MAP 2009), December 2009

Other Links