Dates & Venue:

The meeting will take place on Monday, 12 July, at the Department of Computing at Imperial College London. We meet in room 345 in the Huxley building.

Programme:

Monday July 12:

10:30 - 11:00 coffee, tea and welcome

11:00 - 11:30 Alexander Kurz: Nominal algebra

11:35 - 12:05 Daniela Petrisan: A generalisation of the Goldblatt-Thomason theorem

12:05 - 14:00 lunch

14:00 - 14:30 Olaf Klinke: The Swiss army knife of (pointfree) compactifications

14:35 - 15:15 Rob Myers: Generic Reactive Programming Languages via Coalgebraic Modal Logics for SLbot-coalgebras         

15:15 - 15:30 coffee, tea and biscuits

15:30 - 16:05 Bjoern Lellmann: Sequent systems for coalgebraic modal logics with shallow axioms

16:05 - 16:35 Fredrik Dahlqvist: Transfer theorems for the fusion of coalgebraic modal logics

16:35 - 17:00 coffee, tea and biscuits

17:00 - 17:30 Faris Abou-Saleh: Coalgebraic Notions of Resource via Kleisli Categories

17:30 - 18:00 Mehrnoosh Sadrzadeh: Algebra, coalgebra, and logic for robot navigation

18:00 - 18:30 Dirk Pattinson:  Categorical Proof Theory of Modal Logics

Drinks & Dinner