Occasional thoughts and updates about the world of interactive theorem-proving.
17 September 2008
The conference of the same name
Interactive Theorem-Proving is not just the name of this web-log, but is also the name of a conference due to happen in 2010 as part of the Federated Logic Conference (FLoC) in Edinburgh. ITP will also continue as a separate conference subsequently.