Category Talks
Danny Hermelin
Ondřej Kunčar
CoCon: A Non-Leaking Conference System
Rupak Majumdar
[Software Testing] Hitting families of schedules
Victor Dalmau
Approximation of MIN CSP
Johannes Kinder
High System-Code Security with Low Overhead
Tomáš Vojnar
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
Evgenij Thorstensen
Self join elimination and new notions of query containment
Jörg Rothe
Economics and Computation: Five Challenges in Algorithmic Game Theory, Computational Social Choice, and Fair Division
Martin Schäf
Classifying Bugs with Interpolants