Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 4 Next »

On May 27th, 2008, we held an inaugural one-day workshop at the University of Bath.

Attendance

From AIST:
. Dr Yoshiki Kinoshita, Director of CVS, Head of AIST team
. Dr Makoto Takeyama
. Dr Shunsuke Yatabe
. Dr Tatsuya Abe

From Bath:
. Prof Guy McCusker, Head of Bath team
. Prof James Davenport, Hebron and Medlock Prof of Information Technology
. Dr John Power
. Dr Jim Laird
. Dr Alessio Guglielmi
. Dr Paola Bruscoli
. Mr Martin Brain
. Mr Mark Price
. Mr Tom Gundersen
. Ms Ana Carolina Martins Abbud

Schedule

Rm 3E2.1

10:15 Jim Laird "The game semantics of effects: steps towards an algebraic account"

11:15 Guy McCusker

This was followed by lunch and informal discussion about future
exchanges on the project.

Rm 3E2.2

1:15 - 2:15 Yoshiki Kinoshita, Director of CVS "Overview of AIST/CVS"

2:15 - 2:45 Alessio Guglielmi

2:45 - 3:15 Break

3:15 - 4:00 Tatsuya Abe "Model based Testing of CPU using Agda"

(Agda is an interactive proof assistant based on Martin-Lof type theory.)

4:00 - 4:45 Shunsuke Yatabe "Implementation of Epistemic Modal Logic in Agda"

  • No labels