• View
• Edit
• History
• Print

Events and Other Links

---

Events

---

• International Spring School on Formalisation of Mathematics, March 2012
• Mathematics, algorithms and proofs, November 2011
• Mathematics, algorithms and proofs, November 2010
• Algebraic methods, soft computing, and program verification (co-chair: Julio Rubio), April 2010
• Mathematics, algorithms and proofs, December 2009

Other Links

---

• Constructive Mathematics: Proof and Computation
• Type Classes For Mathematics in Coq