Child pages
  • 9th Wessex Theory Seminar

Versions Compared

Key

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

...

Programme

13.15 Edmund Robinson: Functional Interpretations and Proof Mining

13.45 Peter Mosses: On bisimulation and modularity

14.15 Coffee Break

14.45 Ross Horne: Linked Data Algebra

15.30 Coffee Break

16.00 Achim Jung: The Hofmann-Mislove Theorem

17.00 Short Break

17.15 Jan Rutten Exercises in coalgebra – a coinductive proof of Moessner's theorem

18.00 Close.

Abstracts

Anchor
edmund
edmund

...