lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs

Projets de recherche de l'équipe LCR


2014 - 2019  PACS  ANR  Parametric Analyses of Concurrent Systems  LCR  Etienne Andre  LIAFA, IRCCyN, LINA, Aalborg 
2015 - 2018  Elica  ANR  Expanding Logical Ideas for Complexity Analysis  LCR  Damiano Mazza  LIP (ENS Lyon), Loria (INRIA Carte), Università di Bologna (INRIA Focus)  

pres

w3c-xhtml