FLoC 2022 Olympic Games
Games & Competitions in two sessions:
August 3, 2022 - 16:00-17:30
August 9, 2022 -15:00-16:00
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 Sessions, 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
Fahiem Bacchus, Jeremias Berg, Matti Järvisalo, Ruben Martins, Andreas Niskanen
SAT
Quantified Boolean Formulas
Luca Pulina, Ankit Shukla and Martina Seidl
SAT
For any question, please contact the Olympic Game Chair,
Dana Drachsler Cohen, ddana@ee.technion.ac.il
Competition
Organizers
Affiliated Conference