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.
Comments (2)
Jun 01, 2008
James Davenport says:
Davenport commented, after Kinoshita's talk, that it was interesting that AIST h...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.
Jun 26, 2008
Dalia Khader says:
At the end of the day, Kinoshita also mentioned to Dalia Khader, another PhD stu...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.