Child pages
  • 7th Wessex Theory Seminar

Versions Compared

Key

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

...

12.15 - 1.15 Lunch (Claverton Rooms)

1.15 - 2.15 Paul Levy: Nondeterminism, fixpoints and bisimulation

2.15 - 3.00 Yoshiki Kinoshita: Hoare in Agda

3.00 - 3.30 Break

3.30 - 4.15 Guy McCusker: Modelling local variables: possible worlds and object spaces

4.15 - 5.00 Temesghen Kahsai: Property preserving development and testing for Csp-Casl

5.00 - 5.30 Makoto Takeyama: Assurance Cases in Agda

Abstracts

Anchor
paul
paul

Paul Levy

...