The programme now contains slides of talks if available.
Note that in case of several authors, the first mentioned author delivered the talk.
Monday, 22nd September
- 9:00 Registration
- 9:30 Session "Lattices, Domains, Metric Spaces"
- 11:00 Tea break
- 11:30 Session "Lattices, Domains, Metric Spaces" (cont'd)
- 13:00 Lunch
- 14:00 Session "Computability"
-
- 16:00 Tea break
- 16:30 Session "Categories and Domains"
-
- 18:30 End of First Day
Tuesday, 23rd September
Denotational Semantics Day
- 9:00 Session "Sequentiality, Concurrency and Nondeterminism"
- 11:00 Tea break
- 11:30 Session "Possible World Semantics"