...
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 | ||||
---|---|---|---|---|
|
...