Event Schedule

Monday

Day 1
Main Workshop Program
EN

  • Temur Kutsia Johannes Kepler University Linz

  • Sibylla Zech TU Wien

Coffee Break

Time for a chat with colleagues.

Invited Talk: Coalgebraic Logic - A Tutorial and an Outlook on Graded Monads
EN

  • Lutz Schröder FAU Erlangen

Main Workshop Program
EN

  • Laura Kovacs TU Wien

Skiing

Tuesday

Day 2
Main Workshop Program
EN

  • Ana Sokolova University of Salzburg

  • Matteo Maffei TU Wien

Coffee Break

Time for a chat with colleagues.

Main Workshop Program
EN

  • Michael Morak University of Klagenfurt

  • René Thiemann University of Innsbruck

Skiing

Wednesday

Day 3
Main Workshop Program
EN

  • Janos Makowsky Technion - Israel Institute of Technology

  • Stefan Milius FAU Erlangen

Coffee Break

Time for a chat with colleagues.

Main Workshop Program
EN

  • Ilina Stoilkovska TU Wien

Skiing