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!
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)
