Interactive Theorem-Proving

Occasional thoughts and updates about the world of interactive theorem-proving.

13 January 2010

Call for Papers for ITP 2010

There is a call for papers up now on the FLoC website. The deadline for abstracts is 15 January. So get to it!
Posted by Unknown

No comments:

Post a Comment

Newer Post Older Post Home
Subscribe to: Post Comments (Atom)

About Me

Unknown
View my complete profile

Interactive Theorem Proving Systems

  • ACL2
  • Coq
  • HOL Light
  • HOL4
  • Isabelle
  • Mizar
  • PVS
  • Twelf

Blog Archive

  • ►  2012 (3)
    • ►  November (1)
    • ►  October (2)
  • ►  2011 (1)
    • ►  January (1)
  • ▼  2010 (3)
    • ►  March (1)
    • ►  February (1)
    • ▼  January (1)
      • Call for Papers for ITP 2010
  • ►  2008 (2)
    • ►  September (2)
Simple theme. Powered by Blogger.