On May 27th, 2008, we held an inaugural one-day workshop at the University of Bath.
. Dr Yoshiki Kinoshita, Director of CVS, Head of AIST team
. Dr Makoto Takeyama
. Dr Shunsuke Yatabe
. Dr Tatsuya Abe
. 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
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.
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"