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
M. S. Ramanujan
Parameterized Algorithms to Preserve Connectivity; March 3, 2014
PhD Position in Parameterized Complexity
PhD Position in Parameterized Complexity at TU Vienna, Austria
Matthias Mnich
A Complexity Dichotomy for the Steiner Multicut Problem; Jan 8th, 11:30