Choco
Bienvenue sur le site du projet ANR Choco!
Présentation
Quelques informations factuelles et textes de présentation en anglais:
Dernier événement:
Workshop, April 4th to 7th, 2011
This is the concluding meeting of the Choco project, featuring invited talks, a course on differential linear logic and a few sessions of contributed talks.
- Richard Blute (Ottawa), Smooth algebras, convenient manifolds and differential linear logic
- Vincent Danos (Edinburgh), Energy as syntax
- Daniel Leivant (Indiana University & LORIA Nancy), Ramification and computational complexity
- Glynn Winskel (Cambridge), Concurrent strategies
Voir aussi les archives.