From 22 to 26 January 2018, I am visiting the Quantitative Logics and Automata (QuantLA) group at the Institute for Theoretical Computer Science of the Technical University of Dresden. The slides of the talk I delivered at the research seminar series there can be found here.
Thanks Franz, Anni and Max for the invitation!

Visit to TU Dresden