Getting Excited about the Computational Logic Olympics

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!