cse
Recent Changes - Search:

ForMath Main


Project Pages

  • Research Methodology
  • Papers and Slides
  • Other Links
  • Proof Examples

Internal Pages

  • Deliverables
  • Documents
  • Meetings
  • Milestones
  • Reports
  • Templates

edit SideBar

  • View
  • Edit
  • History
  • Print
ForMath /

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
Edit - History - Print - Recent Changes - Search
Page last modified on August 22, 2011, at 10:52 AM