ITP 2011

The next iteration of the interactive theorem-proving conference, ITP 2011, is in Nijmegen this year. See all the details at the official web-page.

Note the important paper submission details! (Abstracts due 13 February; full papers a week after that.)