STACS 2011:


Susanne Albers:
Energy-Efficient Algorithms

Georg Gottlob:
Structural Decomposition Methods, and What They are Good For

Veronique Cortier:
How to prove security of communication protocols