CRECOGI Second Meeting: August 28th 2016
The second CRECOGI Meeting will be a Satellite Event of the
CSL 2016
conference, which will take place in Marseille (France) between August and September
2016. That will be a nice occasion to discuss about recent results, open problems,
and the future of the project.
Program
- 8.30: Registration
- 9.00: Welcome
- 9.10-10.00: First Session
- Ichiro Hasuo. Healthiness from Duality.
- Flavien Breuvart. From Hard Work to Trickery: A Systematic Approach
to Probabilistic Rewriting.
- 10.00-10.25: Coffee Break
- 10.25-12.30: Second Session
- Naohiko Hoshino. Geometry of Interaction and Coherence Spaces.
- Paul-André Mellies. a Fibrational Account of Local States and Beyond.
- Yann Hamdaoui. A Parallel GoI for a Concurrent Effectful Lambda Calculus.
- Soichiro Fujii. Some Categorical Observations on State Effects.
- Akira Yoshimizu, The Geometry of Probabilistic Parallelism.
- 12.30-14.20: Lunch
- 14.20-16.00: Third Session
- Shinya Katzumata. On Graded Coalgebras of Fraded Linear Exponential
Comonad.
- Ryo Tanaka. Token Machines for Multiport Interaction Combinators.
- Francesco Gavazzo. Bisimulations for Algebraic Effects: Some
Preliminary Results.
- Koko Muroya. Dynamic GoI Machines.
- 16.00-16.30: Coffee Break
- 16.30-18.00: Discussion
Venue
Internet
- Personal logins and passwords will be distributed at registration time.