ANR

Elica project

Home page

Université Paris 13
ENS Lyon Inria
Université de Lorraine Università di Bologna CNRS

Valid HTML 4.01! Valid CSS!
Webmaster: Damiano Mazza

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 and Verification team (formerly Logic Computation, and Reasoning team), such as 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: