Location: University Library Building, Undervisningsrom 3 (room 3513).

### Registration, 8:30-9:00

- The registration desk is in the foyer of the library building

### Session 1, 9:00-10:30

- 9:00-10:00, Nikolaos Galatos: Sequents, hypersequents and beyond.
- 10:00-10:30, Arnon Avron: A simple semantic proof of completeness and cut-admissibility for an hypersequential calculus for propositional Gödel logic.

### Coffee break, 10:30-11:00

- Coffee is served in the basement of the library building

### Session 2, 11:00-12:30

- 11:00-12:00, Alessio Guglielmi: Beyond.
- 12:00-12:30, Marta Bílková: On uniform interpolation proofs in modal logic.

### Lunch break, 12:30-14:00

### Session 3, 14:00-15:30

- 14:00-14:30, Rajeev Goré: Towards automatic cut elimination.
- 14:30-15:00, Mehrnoosh Sadrzadeh: Cut-free nested sequent calculi for logics with adjoint pairs of modalities.
- 15:00-15:30, Dirk Pattinson: The coalgebraic mu-calculus.

### Coffee break, 15:30-16:00

### Session 4, 16:00-17:00

- 16:00-16:30, Robert Rothenberg: On the correspondence between hypersequent and labelled calculi for intermediate logics.
- 16:30-17:00, Lutz Straßburger: Expanding the realm of systematic proof theory.