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!
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment