FLoC 2022 Olympic Games
Games & Competitions in one big event -
August 9th, 2022
The FLoC Olympic Games 2022 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.
At the Olympic Games Session, the competition organizers will have the opportunity to present their competitions to the public and give away special prizes 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.
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 have been pushing the field of logic and computer science for years, and have a very important impact in our communities, for instance by providing fair and strong comparison of systems, or by gathering problems and solvers.
LP/CP Programming Contest 2022
Mario Alviano and Vitaly Lagoon
Haniel Barbosa and Jochen Hoenicke
Swen Jacobs and Perez Guillermo Alberto
Christophe Lecoutre, Gilles Audemard, and Emmanuel Lonca
Guido Tack and Peter Stuckey
MaxSAT Evaluation 2022
Fahiem Bacchus, Jeremias Berg, Matti Järvisalo, Ruben Martins, Andreas Niskanen
Markus Hecher and Johannes K. Fichte
Quantified Boolean Formulas
Luca Pulina, Ankit Shukla and Martina Seidl
The Olympic Games Session will take place on August 9th, 2022.
For any question, please contact the Olympic Game Chair,
Dana Drachsler Cohen, email@example.com