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, Regular languages and game semantics. ICALP 2000 paper.
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, Introduction to Deep Inference. Deep Inference web page.
2:45 - 3:15 Break
3:15 - 4:00 Tatsuya Abe, Formalization and Test Generation for a CPU Architecture using Agda. slides.
(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. slides.