Ringo Baumann
Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in Abstract Argumentation
Katarina Singer
EunJung Kim
Jeff Z. Pan
Sebastian Ordyniak
A more general approach for Backdoor Sets into SAT and CSP
Anthony Widjaja Lin
A linear-time algorithm for the orbit problem over cyclic groups
Gábor Erdélyi
Algorithms and Elections; June 12, 2014
Doctoral Program Logical Methods in Computer Science
Funded Doctoral positions
Massimiliano Giacomin
An input/output characterization of abstract argumentation frameworks and semantics - June 4, 10:00
Jakob Lechner
Mitigation of Transient Faults and Timing Variations in GALS Circuits - May 8, 5pm
Son Cao Tran
Combining ASP and Prolog; March 25, 12:00