ProofWiki:Current events

If you have an idea for a current event add it to this page, or check out the community portal to see what's happening on.

See Book:Other Websites for the links to other websites, which has been moved from here.

ITP 2011 Videos out now!
26-Sept-2011: http://www.cs.ru.nl/mwitp/

Laugh at one of your fave contributors fumble his way through half an hour of waffle. And there's other people there as well.