The first extended exchange on the project was John Power's first visit to AIST, departing Bath on 3 December 2008. Taking into account travel time, recovery from travel, and holidays, it was efffectively a three week visit.
One final side remark is that AIST has a link with Bath that is currently separate from its link with the Mathematical Foundations group at the University of Bath. The link is with Martyn Thomas, a founder of Praxis, who might be a natural person to invite to join the interaction if the rules allow for that.
Future work arising from the visit
The specific plans to extend the interactions generated by this visit are for an AIST group to visit Bath for a third Bath-AIST workshop, for Yatabe-san and Kitamura-san to make extended visits to Bath to explore the above ideas, for Jim Laird to visit AIST, hosted by Yamagata-san, and for Yoshiki Kinoshita perhaps to make an extended visit to Bath to check the potential for a permanent relationship beyond the grant period.