notre_dame_de_la_garde.jpeg

Quantitative Semantics of Logic and Computation, Sept. 2, 2016 – Sept. 3, 2016

The QSLC workshop will be the closing meeting of the French ANR project Computing with quantitative semantics.

All sessions will be in the Amphithéâtre de Physique (building 9 on the plan).

Talks