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

Markus Hecher and Johannes K. Fichte

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

© 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
  • Twitter
  • YouTube
  • Pinterest
  • Tumblr Social Icon
  • Instagram