ANR-14-CE25-0005 Elica:
Expanding Logical Ideas for Complexity Analysis

Elica was a research project in computer science, which started in February 2015 and ended in September 2019. It was jointly developed by several academic partners in France and Italy.

Financial support was provided by the Agence Nationale de la Recherche (ANR), under contract number ANR-14-CE25-0005. Elica was selected as part of ANR's 2014 call for projects, under the program Fondements du numérique.

The aim of Elica was to develop logical methods for static complexity analysis, improve their expressiveness and extend their application to non-deterministic and concurrent programming paradigms.

The project involved 24 permanent members, plus a Ph.D. student and several post-doctoral researchers supported or co-supported by the ANR.

You may use the navigation bar on the left to explore the contents of this web site. For any further information, comment or request about the project, please contact Damiano Mazza, Elica's scientific leader.