Skip to end of metadata
Go to start of metadata

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


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


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.

  • No labels


  1. Davenport commented, after Kinoshita's talk, that it was interesting that AIST had responsibility for metrology, since he had just written a paper on the semantics of metrology.

  2. Unknown User (ddk20)

    At the end of the day, Kinoshita also mentioned to Dalia Khader, another PhD student in Mathematical Foundations at Bath, that cryptography, which is her thesis topic and on which she has a few papers, is also a specialism at AIST.