Regularly come back here to hear from us !
Follow @flog2018 to have live updates on the FloC Olympic Games!
You will find all the news about Olympic Games here
The FLoC Olympic Games 2018 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.
The arena had been set up to display the competition events to a broad audience. Big Screen events show live performances of some of the competitions. At the Award Ceremonies, the competition organizers will have the opportunity to present their competitions to the public and give away special prizes, the prestigious Kurt Gödel medals, 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 during the Vienna Summer of Logic.
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 are pushing the field of logic and computer science for years, and has a very important impact in our communities, for instance by providing fair and strong comparison of systems, or by gathering problems and solvers.
From the wide field of satisfiability solvers to automatic theorem provers and term rewriters, from declarative logic programming solvers and ontology reasoners to automatic software verifiers, from programs that check models of hardware designs to solvers that automatically synthesize computer programs, and to provers that test program termination, the FLoC Olympic Games will bring together theorists and practitioners, allowing them to learn the advancements and new results in other fields, and gain new insights. And last but not least, the Games will celebrate not only the champions, but all the contenders of the FLoC Olympics whose participation makes the competitions as they are and motivates everyone to show their best, as we believe it is not the winning but the participation that counts.
|VCLA Award||Dana Scott||http://www.vcla.at/vcla-awards/|
|SAT Competition||Marijn Heule||http://sat2018.forsyte.tuwien.ac.at/|
|SMT Comp||Tjark Weber||http://www.smtcomp.org|
|ICLP Comp||Paul Fodor||https://sites.google.com/site/prologcontest2018/|
|Reactive Synthesis Competition||Swen Jacobs||http://www.syntcomp.org|
|Sparkle SAT||Chuan Luo||http://ada.liacs.nl/events/sparkle-sat-18/|
FLoC Olympic Games Awards, including the Amazon awards will be given during the Olympic Games' session at the Math Institute Lecture Theater 3, on Saturday, July 14th.
Amazon Web Service’s Automated Reasoning Group will be awarding AWS Credits at the FLoC Olympic Games for select competitions! Winners will be awarded 1,000 credits each. Credits will be distributed at the end of July. Good Luck!
International Student Awards 2018 in memory of Helmut Veith
The VCLA International Student Awards acknowledge works which ask innovative questions and meet the highest academic standards for scientific research in the field of Logic and Computer Science.
The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas. See the current call for Helmut Veith Stipend for Female Master´s Students in Computer Science here: http://www.vcla.at/2018/05/call-for-applications-helmut-veith-stipend-for-female-masters-students-in-computer-science/
Outstanding Master Thesis Award Jeremy Liang An Kong (Imperial College London, United Kingdom) for his thesis “MCMAS-Dynamic: Symbolic Model Checking Linear Dynamic Logic” under the supervision of Professor Alessio Lomuscio (Imperial College London, United Kingdom).
Outstanding Undergraduate Thesis Award Tomáš Lamser (Masaryk University in Brno, Czech Republic) for his thesis “Algorithmic Analysis of Patrolling Games” under the supervision of Professor Antonín Kučera (Masaryk University in Brno, Czech Republic).
The Outstanding Master Thesis Award is accompanied by a prize of € 1200. The Outstanding Undergraduate Thesis Award is accompanied by a prize of € 800.
The winners have been invited to the award ceremony, which is going to take place on July 14, opening the Federated Logic Conference (FLoC) 2018 Olympic Games Ceremony in Oxford.
The winner shall have the opportunity to present their theses to the FLoC audience in a digital format.
The VCLA International Student Awards 2018 will be presented to the winners by Dana Scott, at the invitation of Agata Ciabattoni (TU Wien, VCLA Chair). The award ceremony will take place on July 14, at FLoC Olympic Games. Start: 14:00 (2 pm) Venue: Lecture Theater 3 (Math Institute)
VCLA International Student Award Committee 2018
Past Awards: http://www.vcla.at/vcla-awards/