Competitions during Vienna Summer of Logic, July 2014
Our researchers organize several competitions co-located with Vienna Summer of Logic!
- Martina Seidl co-organizes QBF Gallery, the competition of QBF Solvers
- Swen Jacobs co-organizes SYNTCOMP, the competition in automatic synthesis of reactive systems
- Armin Biere co-organizes the 7th HWMCC, hardware model checking competition