

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.
Competition
Organizers
Affiliated Conference
Confluence Competition
Aart Middeldorp
FSCD
LP/CP Programming Contest 2022
Mario Alviano and Vitaly Lagoon
ICLP
CASC-J11
Geoff Sutcliffe
IJCAR
termCOMP
Akihisa Yamada
IJCAR
SMT Competition
Haniel Barbosa and Jochen Hoenicke
IJCAR
SL Competition
TBD
IJCAR
SYNTCOMP
Swen Jacobs and Perez Guillermo Alberto
CAV
XCSP3
Christophe Lecoutre, Gilles Audemard, and Emmanuel Lonca
CP
MiniZinc
Guido Tack and Peter Stuckey
CP
SAT Competition
Marijn Heule
SAT
MaxSAT Evaluation 2022
Fahiem Bacchus, Jeremias Berg, Matti Järvisalo, Ruben Martins, Andreas Niskanen
SAT
Quantified Boolean Formulas
Luca Pulina, Ankit Shukla and Martina Seidl
SAT
SyGuS
Andrew Reynolds
CAV
The Olympic Games Session will take place on August 9th, 2022.
For any question, please contact the Olympic Game Chair,
Dana Drachsler Cohen, ddana@ee.technion.ac.il