M. S. Ramanujan
Parameterized Algorithms to Preserve Connectivity; March 3, 2014
Katarina Singer
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
Franz Wotawa
Test automation – How far shall we go? Thursday, Jan. 9th, 17:00
Adam Rogalewicz
Mira Mezini
Petr Rockai
Explicit State Model Checking with DIVINE; December 6th, 2013
George Metcalfe
Proof Theory for Lattice-Ordered Groups; November 27, 2013
Esko Turunen
Pavelka style fuzzy logic over Chang's MV-algebra; November 20, 5pm
Alfons Laarman
Multi-Core Model Checking; November 14th, 17:00