University of Calgary
UofC Navigation

Getting Excited about the Computational Logic Olympics

LogBlog Has Moved!

You are looking at the old blog archive. LogBlog has moved to richardzach.org.
If you'd like to receive updates on new posts, please subscribe there!

Submitted by Richard Zach on Thu, 06/19/2014 - 11:19am

So while everyone is following the World Cup, I'm getting excited about the FLoC Olympic Games to be held at the Vienna Summer of Logic this year.  Still doing my research to pick favourites, but here are some of the disciplines:

plus a few others.  There will even be live viewing and a medal ceremony!