All talks are in LT2 (lecture theatre on the 2nd floor) in the Exchange building.
4 September
from 13:00: registration (in front of LT2).
14:00 - 15:00 Mikhail Zakharyaschev: Two etudes on modal logic in computer science
15:00 - 15:15 break
15:15 - 16:15 Dexter Kozen: Kleene Algebra with Tests and Kleene
Coalgebra with Tests:
A Unifying Theme for Partial Correctness and Program Schematology