Home

CRECOGI (Concurrent, Resourceful and Effectful COmputation, by Geometry of Interaction) is an associate team between INRIA (France) and JSPS (Japan).
Project's kickoff meeting will be held at the Research Institute of Mathematical Science, Kyoto Univ., on 11--12 July, 2015.

INRIA team page: http://www.inria.fr/en/teams/crecogi



Organizers:
Ichiro Hasuo (U. Tokyo),
Akira Yoshimizu (U. Tokyo)
Comments