QuAND

Deuxième rencontre
(et clôture)

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.

Dernière mise à jour:
2010-11-03 à 22:00.

XHTML et CSS valides?