Joint Meeting of Logic in Computer Science and CSL, Kyoto, Japan.

Mathematics/Computer Science Seminar. Technical University of Darmstadt, Germany.

Advances in Modal Logic, Groningen, Netherlands.

Seminarium SLIWOWICA, University of Warsaw, Poland.

LIRA Seminar, ILLC, University of Amsterdam, Netherlands.

Algebra|Coalgebra Seminar, ILLC, University of Amsterdam, Netherlands.

TCS Seminar, Friedrich-Alexander-Universität, Erlangen, Germany.

Advances in Modal Logic 2012, Copenhagen, Denmark.

Guest lecture at Category Theory course. ILLC, University of Amsterdam, Netherlands.

JAIST Spring School on Logic, Kanazawa, Japan.

Int. Colloquium on Theoretical Aspects of Computing, Johannesburg, South Africa.

DAHU Seminar, LSV, École Normale Supérieure Cachan, France.