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 :
– Aix-Marseille Université (AMU)
– Centre National de la Recherche Scientifique (CNRS)
– European Association for Computer Science Logic (EACSL)
– Institut de Mathématiques de Marseille (I2M)
– LabEx Archimède
– Laboratoire d’Informatique Fondamentale (LIF)
Emplacement
Saint-Charles
Catégories