FLoC Olympic Games
Please see http://www.labri.fr/perso/lsimon/flog2018/ for further details, and follow https://twitter.com/flog2018 for live updates.
Competitions
| Competition | Contact | Link |
|---|---|---|
| VCLA Award | Dana Scott | http://www.vcla.at/vcla-awards/ |
| SyGuS-Competition | Rajeev Alur | http://www.sygus.org/ |
| HCVC | Arie Gurfinkel | https://chc-comp.github.io |
| SAT Competition | Marijn Heule | http://sat2018.forsyte.tuwien.ac.at/ |
| SMT Comp | Tjark Weber | http://www.smtcomp.org |
| CASC | Geoff Sutcliffe | http://www.tptp.org/CASC/J9/ |
| ICLP Comp | Paul Fodor | https://sites.google.com/site/prologcontest2018/ |
| QBFEval | Luca Pulina | http://www.qbflib.org/qbfeval18.php |
| Reactive Synthesis Competition | Swen Jacobs | http://www.syntcomp.org |
| Sparkle SAT | Chuan Luo | http://ada.liacs.nl/events/sparkle-sat-18/ |
| Termination | Albert Rubio | http://termination-portal.org/wiki/Termination_Competition_2018 |
| SV-COMP | Tomas Vojnar | https://sv-comp.sosy-lab.org/ |
| CoCo | Julian Nagele | http://coco.nue.ie.niigata-u.ac.jp/2018/ |
| MaxSAT | Ruben Martins | http://maxsat-evaluations.github.io/ |
Award Ceremonies
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.
FLoC Olympic Games Sponsors
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!
Organiser: Yakir Vizel, yakir.vizel@gmail.com