Participants

The Elica project is composed of 3 academic research partners: University Paris 13, ENS Lyon and Inria.
Paris 13
LIPN
LIP6
PPS
LACL
The University of Paris 13, part of the COMUE Sorbonne Paris Cité, is involved in Elica through its Laboratoire d'Informatique de Paris Nord (LIPN). The project touches in particular several topics which are developed at LIPN within its Logic, Computation, and Reasoning team. These include linear logic and denotational semantics, including its quantitative and probabilistic extensions, and implicit computational complexity. Some of the members of the team also have an expertise in models of concurrent and/or parallel computation.

Also involved in the project are members of the laboratories LIP6 (University Paris 6), IRIF (University Paris 7) and LACL (University Paris-Est Créteil), all in the Paris area.

People involved:
ENS Lyon
LIP
The ENS Lyon contributes with its Laboratoire de l'Informatique du Parallélisme (LIP). In particular, the researchers involved in Elica belong to the Plume team, which is well known for its expertise in proof-theoretic applications to parallel and concurrent computation, including type systems, but also in linear logic and implicit computational complexity. People involved:
Inria
Loria
Dipartimento Informatica - Scienza e Ingegneria
Inria participates with two project-teams:
  • Carte (Nancy): its members are internationally known experts in both implicit computational complexity and computability, including interpretation-based methods, circuit complexity and computer security, as well as type-2 computation and randomness.
  • Focus (Bologna): this team hosts experts both in concurrency theory and in proof theory, type systems and implicit computational complexity, especially based on linear logic and related tools. Recently, the team has started working also on complexity analysis for concurrent processes.
People involved: