University of Calgary
UofC Navigation

Getting Excited about the Computational Logic Olympics

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!