Complice project 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
-
7e Réunion de projet
17 October 2011, by Virgile Mogbil7e Réunion de projet : Jeudi 1/12/2011, Univ. Paris 13, LIPN. Lieu : Université Paris 13, salle D214 (bâtiment en face du LIPN, 2ème étage : couloir accessible uniquement avec un BADGE) (Entre les bâtiments G en B sur le plan suivant http://www-lipn.univ-paris13.fr/pla...) Invité : Merci à Ugo Dal Lago (Univ. Bologne). Programme 10h15 ACCUEIL 10h30 Work in progress, Ugo Dal Lago (Univ. Bologne) 11h30 PAUSE 11h45 Linear Logic by Asymmetric Levels, Andrei Dorman (LIPN) (...) -
Workshop DICE 2012
9 septembre 2011, par Patrick BaillotThe 3rd edition of the workshop Developments in Implicit Computational complExity (DICE 2012) will be part of ETAPS 2012 : http://dice2012.cs.unibo.it/ March 31st and April 1st, 2012, Tallinn, Estonia -
Workshop DICE 2012
9 September 2011, by Patrick BaillotThe 3rd edition of the workshop Developments in Implicit Computational complExity (DICE 2012) will be part of ETAPS 2012 : http://dice2012.cs.unibo.it/ March 31st and April 1st, 2012, Tallinn, Estonia -
Post-Doc position at LORIA, Nancy
1 September 2011, by Patrick BaillotPost-doctoral position at Nancy University, INRIA-LORIA, France on Implicit computational complexity (ICC) Applications are now invited for a postdoctoral position on ICC. Candidates are expected to contribute to research within the ANR project COMPLICE. The ideal candidate will have interest on type systems, logics, and complexity. The position is for one year. The start date is negotiable. To be considered for this position, please send a CV, list of publications, a brief statement of (...) -
Postdoctorat au LORIA, Nancy
1er septembre 2011, par Patrick BaillotPost-doctoral position at Nancy University, INRIA-LORIA, France on Implicit computational complexity (ICC) Applications are now invited for a postdoctoral position on ICC. Candidates are expected to contribute to research within the ANR project COMPLICE. The ideal candidate will have interest on type systems, logics, and complexity. The position is for one year. The start date is negotiable. To be considered for this position, please send a CV, list of publications, a brief statement of (...)
Latest news
- 9 September 2011 – Workshop DICE 2012: the CFP is issued !
- 6 July 2011 – Post-Doc position available at LIPN - Univ. Paris 13 from October 2011
- 6 juillet 2011 – Offre de Post-Doctorat au LIPN - Univ. PAris 13 pour Octobre 2011
- 10 February 2011 – Second DICE workshop (Developments in Implicit Computational complExity), April 2-3 2011, Saarbrücken.
- 19 mai 2010 – Les actes du workshop DICE 2010 sont parus.
RSS 2.0