ForMath Main
Project Pages
Internal Pages
edit SideBar

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 LogicBased 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 (cochair: Julio Rubio), April 2010
 Mathematics, algorithms and proofs (MAP 2009), December 2009
Other Links
