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
Posted in Events, News