Home

EPIC ( EPistemic Interactive Concurrency) is a STIC-AmSud project funded by CAPES (Brazil), COLCIENCIAS (Colombia) and INRIA (France). The partner institutions are  Universidade Federal do Rio Grande do Norte (UFRN),  Universidade Federal de Minas Gerais (UFMG), Pontificia Universidad Javeriana de Cali (PUJ) and CNRS-LIX, Ecole Polytechnique de Paris (EP

The aim of the project is to coherently combine and advance the state of the art of domains such as concurrency theory, mathematical logic, order theory, information theory and rewriting systems for reasoning about today’s distributed and multi­-agent systems. 

  
CNRS