Child pages
  • 13th Wessex Theory Seminar

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0


Venue: Room 217/218 (Ground Floor, Queen's Gate Entrance), Department of Computing, Imperial College London.


12:00 Lunch (Coco Momo / Senior Common Room)
13:00 Alexander Kurz: Regular languages with binders
14:00 Coffee
14:30 Dirk Pattinson: Towards Coinductive Fixpoint Logics
15.15 James Brotherston: Craig interpolation in displayable logics (paper)
16:00 Coffee Break
16.30 Dexter Kozen: Kleene Algebra with Tests and the Static Analysis of Programs (slides)
17:30 – Pub/Dinner


From Aarhus:
Erik Ernst