English

• Description
  • Overview
  • Summary
• Meetings
  • 7th project meeting: 1/12/2011, Univ. Paris 13
  • 8th meeting: 31/05/2012, ENS Lyon
  • 2nd meeting: 8 june 2009, at ENS Lyon
  • 3rd Meeting: October 23rd 2009, Nancy
  • 4th Project meeting, May 26 2010, Univ. Paris 13
  • 5th meeting: November 19, 2010, at ENS Lyon
  • 6th meeting: June, 8, 2011 at LORIA, Nancy
  • 9th project meeting: 29/11/2012, Univ. Paris 13
  • Kick-off meeting: jan. 27th 2009
• Open positions opportunities
  • lecturer position at Paris 13 university/CNRS
  • lecturer position at Paris 7 University
• Participants
  • Participants - LIP ENS Lyon
  • Participants - LIPN Paris 13
  • Participants - LORIA Nancy
• Post-Doc and Grant offers
  • Post-Doc position at ENS Lyon
  • Post-Doc position at LIPN, Univ. Paris 13
  • Post-Doc position at LIPN, Univ. Paris 13
  • Post-Doc position at LORIA, Nancy
• Publications
  • Publications
• Related Events
  • Complexity Winter School @LI2012
  • Workshop DICE 2010
  • Workshop DICE 2011
  • Workshop DICE 2012
  • Workshop DICE 2013
  • workshop PCC 2009 (Proof, Computation, Complexity)
• Working group LIPN
  • Working group

News items

• The proceedings of DICE 2011 have appeared.
• Workshop DICE 2012: the CFP is issued !
• Post-Doc position available at LIPN - Univ. Paris 13 from October 2011
• Second DICE workshop (Developments in Implicit Computational complExity), April 2-3 2011, Saarbrücken.
• Proceedings of DICE 2010 appeared.
• DICE workshop (Developments in Implicit Computational complExity), March 27-28 2010. Cyprus.
• Post-Doc position at LIPN, Univ. Paris 13
• workshop PCC 2009 (Proof, Computation, Complexity)
• Post-Doc position available at ENS Lyon from September 2009
• Kick-off meeting: jan. 27th 2009

Français

• Description
  • Principales informations
  • Résumé
• Evénements
  • Workshop DICE 2010
  • Complexity Winter School @LI2012
  • Workshop DICE 2011
  • Workshop DICE 2012
  • Workshop DICE 2013
  • workshop PCC 2009 (Proof, Computation, Complexity)
• Groupe de travail du LIPN
  • Groupe de travail
• Offres de postes
  • poste MdC à l’université Paris 13 (chaire CNRS)
  • poste MdC à l’université Paris 7
• Participants
  • Participants - LORIA Nancy
  • Participants - LIP ENS Lyon
  • Participants - LIPN Paris 13
• Post-Doctorats et allocations
  • Offre de Post-Doctorat à l’ENS Lyon
  • Offre de Post-Doctorat à LIPN, Univ. Paris 13
  • Postdoctorat au LORIA, Nancy
• Publications
  • Publications
• Rencontres
  • 5e réunion:19 novembre 2010, à l’ENS Lyon
  • 2e rencontre : lundi 8 juin 2009, à l’ENS Lyon
  • 3e rencontre : vendredi 23/10/2009, au LORIA Nancy
  • 4eme Réunion de projet : 26/5/2010, Univ. Paris 13
  • 6e réunion : mercredi 8/6/2011 au LORIA, Nancy
  • 7e Réunion de projet: 1/12/2011, Univ. Paris 13
  • 8e réunion : 31/05/2012, ENS Lyon
  • 9ème réunion de projet : 29/11/2012, Univ. Paris 13
  • Réunion de lancement : 27 janvier 2009

Brèves

• Les actes de DICE 2011 sont disponibles
• Offre de Post-Doctorat au LIPN - Univ. PAris 13 pour Octobre 2011
• Les actes du workshop DICE 2010 sont parus.
• DICE workshop (Developments in Implicit Computational complExity), March 27-28 2010. Cyprus.
• workshop PCC 2009 (Proof, Computation, Complexity)
• Offre de Post-Doctorat à l’ENS Lyon pour Septembre 2009
• Réunion de lancement : 27/1/2009