La rencontre de clôture du projet se tiendra le vendredi 5 novembre 2010
dans les locaux de l'équipe
PLUME
à l'ÉNS
de Lyon (salle 117 du site Sciences/Monod), le lendemain du
séminaire Choco de novembre.
Programme
- 09h30-10h00 Lionel Vaux: Rappel des épisodes précédents.
- On fait le tour de ce qui a mené à la création du projet et on survole ce qui a été fait depuis (l'importance relative des deux parties variera suivant la composition du public).
Ou alors rien, si on est déjà en retard.
- 10h00-11h00 Pablo Arrighi et Alejandro Díaz-Caro: A vectorial type system.
- The linear-algebraic λ-calculus extends the λ-calculus with the possibility of making arbitrary linear combinations of λ-calculus terms. We now combine the Scalar type system [ADC09] with the Additive type system [DCP10], to provide a fine-grained, System F-like type system for the linear-algebraic λ-calculus that gives rise to an original and general type theory where types, in the same way as terms, have a vector space-like structure. This places us in a position to discuss; although still informally for now, a novel form of linearity for proofs: algebraic linearity.
- 11h15-12h15 Michele Pagani: The computational meaning of probabilistic coherence spaces.
- We prove the adequacy of probabilistic coherence spaces with respect to a probabilistic extension of the pure lambda-calculus. This is a joint work with Thomas Ehrhard and Christine Tasson.
- 14h00-15h00 Un orateur: Un exposé.
- Quelque chose à raconter.
- 15h00-16h30 Assemblée générale des actionnaires: Clôture et suites du projet.
- Ordre du jour:
- renouvellement possible du projet;
- possible prolongement dans un projet ANR;
- interactions avec d'autres projets;
- questions diverses.