notre_dame_de_la_garde.jpeg

QSLC workshop: Quantitative Semantics of Logic and Computation

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

Its goal is to present some of the achievements of the project and to favor the cross-pollination with other approaches giving tools (typing systems, denotational models, …) allowing to model and control in an abstract setting quantitative behaviors of programs.

The workshop will take place on September 2 and 3, in Marseille, as a satellite event of CSL 2016.

Programme

See the schedule of all talks.