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!