Complice project

COMPLICE (Implicit Computational Complexity, Concurrency and Extraction), ref.: ANR-08-BLANC-0211-01, is a research project funded by ANR.

It has 3 partner sites: LIP ENS Lyon (coordinating site); LIPN Université Paris 13; LORIA INPL Nancy.

Latest articles

Workshop DICE 2013
13 novembre 2012, par Patrick Baillot
The 4th workshop Developments in Implicit Computational complExity (DICE 2013) will take place in Rome, as part of ETAPS 2013 : http://dice2013.di.unito.it/ March 16th-17th, 2013.
Workshop DICE 2013
13 November 2012, by Patrick Baillot
The 4th workshop Developments in Implicit Computational complExity (DICE 2013) will take place in Rome, as part of ETAPS 2013 : http://dice2013.di.unito.it/ March 16th-17th, 2013.
9th project meeting: 29/11/2012, Univ. Paris 13
5 October 2012, by Virgile Mogbil
9ème réunion de projet : 29/11/2012, Univ. Paris 13
5 October 2012, by Virgile Mogbil
8e réunion : 31/05/2012, ENS Lyon
25 avril 2012, par Patrick Baillot
8e Réunion de projet : Jeudi 31/05/2012, ENS Lyon Lieu : ENS Lyon, LIP, Amphi A, 3e étage Accès (Enter at 46 allée d’Italie, that is to say below the big "arch" ; there is a reception desk) Access map Preliminary programme : 10h15 ACCUEIL 10h30 J.-Y. Marion (Nancy). Complexity Information Flow in a Multi-threaded Imperative Language (travail avec Péchoux). 11h15 A. Madet (Paris). A polynomial lambda-calculus with concurrency and side effects. 12h Pause-déjeuner 14h (...)

0 | 5 | 10 | 15 | 20 | 25 | 30 | 35 | 40 |...