25th EACSL Annual Conference on Computer Science Logic 2016

Conference
Campus St Charles, Marseille
http://csl16.lif.univ-mrs.fr/

Date(s) : 28/08/2016 - 03/09/2016 iCal
0h00

25th EACSL Annual Conference on Computer Science Logic
–
The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.
–
Conférence du 29 août au 1er septembre 2016 :
– Computer Science Logic
–
Workshops le 28 août 2016 et du 2 au 3 septembre 2016 :
– PLRR: Parametricity, Logical Relations and Realizability
– LCC’16: Logic and Computational Complexity 2016
– QSLC: Quantitative Semantics of Logic and Computation
–
Organisateurs :
– Emmanuel BEFFARA – I2M
– Benjamin MONMEGE – LIF
– Laurent REGNIER – I2M (co-chair)
– Pierre-Alain REYNIER – LIF
– Luigi SANTOCANALE – LIF
– Jean-Marc TALBOT – LIF (co-chair)
– Lionel VAUX – I2M
–
Partenaires :