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.