Section: Partnerships and Cooperations

International Initiatives

International Partners

Geoffrey Smith.

School of Computing and Information Sciences, Florida International University, USA.

Vladimiro Sassone.

School of Electronics and Computer Science, University of Southampton, UK.

Camilo Rueda.

Department of Computer Science, Pontificia Universidad Javeriana, Colombia.

Participation in International Programs

Program:

ANR Blanc International

Project acronym:

LOCALI

Project title:

Logical Approach to Novel Computational Paradigms

Duration:

October 2011 - September 2015

Coordinator:

Gilles Dowek, Inria Rocquencourt

Other PI's and partner institutions:

Catuscia Palamidessi, Inria Saclay. Thomas Erhard, Paris VII. Ying Jiang , Chinese Academy of Science in Beijin (China).

Abstract:

This project aims at exploring the interplays between logic and sequential/distributed computation in formalisms like the lambda calculus and the $\pi$ calculus. Going back to the fundamentals of the definitions of these calculi, the project plans to design new programming languages and proof systems via a logical approach.