FLoC 2014 - FLoC Olympic Games

Solver competitions form a viable contribution to stimulate the development and increase the performance of systems and benchmarks in logic-related research in Computer Science. This is usually done by evaluating the participating systems on various instances from standard benchmark problems. The competition organizers will rank the participants based on several criteria such as runtime or number of solved problems.
The aim of the FLoC Olympic Games is to increase the visibility of the competitions that are affiliated with VSL’14 events. Competition organizers will get the opportunity to present a competition showcase for a broad audience at evening award ceremonies. The hope of this event is to bring the many-faceted variety of solver competitions closer together and to celebrate their hard work and efforts put into arranging these events.
Evening Award Ceremonies
The FLoC Olympic Games hosts two award ceremonies near the end of each FLoC block. Participating competition organizers will introduce their event and present awards to winners or distinguished persons. Each competition can give away a special award to at most three successful competitors. The award ceremonies start with an invited talk or a panel discussion that show how solver competitions have advanced the fields and give best practices how to run a competition.
Awards and Prizes
Apart from competition awards, successful competitors will receive a special prize in form of a Kurt Gödel medal.