FLoC olympic Games 2018

Citius, Maius, Potentius – Faster, Bigger, More Powerful

Live news

The website is available

Regularly come back here to hear from us !

Twitter account is alive

Follow @flog2018 to have live updates on the FloC Olympic Games!

The site is up!

You will find all the news about Olympic Games here

Games & Competitions in one big event

The FLoC Olympic Games 2018 follows the successful edition started in 2014 in conjunction with FLOC, in the spirit of the ancient Olympic Games. Every four years, as part of the Federated Logic Conference, the Games gather together all the challenging disciplines from a variety of computational logic in the form of the solver competitions.

The arena had been set up to display the competition events to a broad audience. Big Screen events show live performances of some of the competitions. At the Award Ceremonies, the competition organizers will have the opportunity to present their competitions to the public and give away special prizes, the prestigious Kurt Gödel medals, to their successful competitors. Thus reinforces the main goal of the FLoC Olympic Games, that is, to facilitate the visibility of the competitions associated with the conferences and workshops of the Federated Logic Conference during the Vienna Summer of Logic.

This is also the opportunity for the community to officially give credits to all the efforts of the different competitive events in many of the fields covered by FLOC. Competitions are pushing the field of logic and computer science for years, and has a very important impact in our communities, for instance by providing fair and strong comparison of systems, or by gathering problems and solvers.

FLoC Olympic Games at a Glance

From the wide field of satisfiability solvers to automatic theorem provers and term rewriters, from declarative logic programming solvers and ontology reasoners to automatic software verifiers, from programs that check models of hardware designs to solvers that automatically synthesize computer programs, and to provers that test program termination, the FLoC Olympic Games will bring together theorists and practitioners, allowing them to learn the advancements and new results in other fields, and gain new insights. And last but not least, the Games will celebrate not only the champions, but all the contenders of the FLoC Olympics whose participation makes the competitions as they are and motivates everyone to show their best, as we believe it is not the winning but the participation that counts.


Competition Contact Link
VCLA Award Dana Scott http://www.vcla.at/vcla-awards/
SyGuS-Competition Rajeev Alur http://www.sygus.org/
HCVC Arie Gurfinkel https://chc-comp.github.io
SAT Competition Marijn Heule http://sat2018.forsyte.tuwien.ac.at/
SMT Comp Tjark Weber http://www.smtcomp.org
CASC Geoff Sutcliffe http://www.tptp.org/CASC/J9/
ICLP Comp Paul Fodor https://sites.google.com/site/prologcontest2018/
QBFEval Luca Pulina http://www.qbflib.org/qbfeval18.php
Reactive Synthesis Competition Swen Jacobs http://www.syntcomp.org
Sparkle SAT Chuan Luo http://ada.liacs.nl/events/sparkle-sat-18/
Termination Albert Rubio http://termination-portal.org/wiki/Termination_Competition_2018
SV-COMP Tomas Vojnar https://sv-comp.sosy-lab.org/
CoCo  Julian Nagele http://coco.nue.ie.niigata-u.ac.jp/2018/
MaxSAT Ruben Martins http://maxsat-evaluations.github.io/

Award Ceremonies

FLoC Olympic Games Awards, including the Amazon awards will be given during the Olympic Games' session at the Math Institute Lecture Theater 3, on Saturday, July 14th.

FLoC Olympic Games Sponsors

Amazon Web Service’s Automated Reasoning Group will be awarding AWS Credits at the FLoC Olympic Games for select competitions! Winners will be awarded 1,000 credits each. Credits will be distributed at the end of July. Good Luck!

Third Edition of the VCLA

International Student Awards 2018 in memory of Helmut Veith

The VCLA International Student Awards acknowledge works which ask innovative questions and meet the highest academic standards for scientific research in the field of Logic and Computer Science.

The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas. See the current call for Helmut Veith Stipend for Female Master´s Students in Computer Science here: http://www.vcla.at/2018/05/call-for-applications-helmut-veith-stipend-for-female-masters-students-in-computer-science/

Outstanding Master Thesis Award Jeremy Liang An Kong (Imperial College London, United Kingdom) for his thesis “MCMAS-Dynamic: Symbolic Model Checking Linear Dynamic Logic” under the supervision of Professor Alessio Lomuscio (Imperial College London, United Kingdom).

Outstanding Undergraduate Thesis Award Tomáš Lamser (Masaryk University in Brno, Czech Republic) for his thesis “Algorithmic Analysis of Patrolling Games” under the supervision of Professor Antonín Kučera (Masaryk University in Brno, Czech Republic).


The Outstanding Master Thesis Award is accompanied by a prize of € 1200. The Outstanding Undergraduate Thesis Award is accompanied by a prize of € 800.

The winners have been invited to the award ceremony, which is going to take place on July 14, opening the Federated Logic Conference (FLoC) 2018 Olympic Games Ceremony in Oxford.

The winner shall have the opportunity to present their theses to the FLoC audience in a digital format.

VCLA Award Ceremony at FLoC Olympic Games with Dana Scott

The VCLA International Student Awards 2018 will be presented to the winners by Dana Scott, at the invitation of Agata Ciabattoni (TU Wien, VCLA Chair). The award ceremony will take place on July 14, at FLoC Olympic Games. Start: 14:00 (2 pm) Venue: Lecture Theater 3 (Math Institute)

VCLA International Student Award Committee 2018

  • Federico Aschieri
  • Paolo Baldi
  • Ezio Bartocci
  • Johannes Fichte
  • Ekaterina Fokina
  • Robert Ganian (committee co-chair)
  • Yazmin A. Ibanez-Garcia
  • Roman Kuznets
  • Bjoern Lellmann
  • Nysret Musliu
  • Michael Morak
  • Martin Nöllenburg
  • Sebastian Ordyniak
  • Magdalena Ortiz (general chair)
  • Revantha Ramanayake (committee co-chair)
  • Martin Suda
  • Friedrich Slivovsky

Past Awards: http://www.vcla.at/vcla-awards/