Thomas A. Henzinger
Formal Specification and Verification of Markovian Population Models
At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
Thomas Pani
Michael R. Fellows
Kernelization and the Larger Picture of Practical Algorithmics, in Contemporary Context
Invited talk at WorKer 2011.
Sourav Chakraborty
Property Testing: Sublinear Algorithms for Promise Problems
Invited talk at WorKer 2011.
Armin Biere
Preprocessing and Inprocessing Techniques in SAT
Invited talk at WorKer 2011.
Fedor V. Fomin
Protrusions in graphs and their applications
Invited talk at WorKer 2011.