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, Regular languages and game semantics. ICALP 2000 paper.

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, 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.