Category Talks
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
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
Matthias Mnich
A Complexity Dichotomy for the Steiner Multicut Problem; Jan 8th, 11:30
Franz Wotawa
Test automation – How far shall we go? Thursday, Jan. 9th, 17:00