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 (Birmingham) -
: Nondeterminism, fixpoints and bisimulation

2.15 - 3.00 Yoshiki Kinoshita (AIST)
: Hoare in Agda

3.00 - 3.30 Break

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

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

5.00 - 5.30 Makoto Takeyama (AIST)
: Assurance Cases in Agda

Abstracts

...