Computer Science Logic (CSL 2016)

Carte non disponible
Speaker Home page :
Speaker :
Speaker Affiliation :

()

Date/heure
Date(s) - 28/08/2016 - 03/09/2016
0 h 00 min

Emplacement
Campus St Charles, Marseille

Catégories


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)

Site web du colloque
 


Retour en haut 

Secured By miniOrange