ย 

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

Aart Middeldorp

FSCD

Mario Alviano and Vitaly Lagoon

ICLP

Christophe Lecoutre, Gilles Audemard, and Emmanuel Lonca

CP

Guido Tack and Peter Stuckey

CP

Tomas Balyo, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda

SAT

Fahiem Bacchus, Jeremias Berg, Matti Järvisalo, Ruben Martins, Andreas Niskanen

SAT

Markus Hecher and Johannes K. Fichte

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

Geoff Sutcliffe

IJCAR

Akihisa Yamada

IJCAR

Haniel Barbosa, Jochen Hoenicke, François Bobot

IJCAR

Quang Loc Le, Mihaela Sighireanu

IJCAR

Swen Jacobs, Guillermo Perez 

CAV

Andrew Reynolds, Loris D'Antoni

CAV

August 3, 2022 - 16:00-17:30

August 9, 2022 - 15:00-16:00

© FLoC 2022 - All rights reserved to Technion - Israel Institute of Technology

โ€‹

Designed and powered by PREMIUM

If you have any inquires please contact us at  

floc2022@technion.ac.il

  • Facebook
  • Instagram
ย