workshop PCC 2009 (Proof, Computation, Complexity)

Other news

• 17 February 2012 – The proceedings of DICE 2011 have appeared.
• 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
• 10 February 2011 – Second DICE workshop (Developments in Implicit Computational complExity), April 2-3 2011, Saarbrücken.
• 19 May 2010 – Proceedings of DICE 2010 appeared.
• 17 March 2010 – DICE workshop (Developments in Implicit Computational complExity), March 27-28 2010. Cyprus.
• 17 February 2010 – Post-Doc position at LIPN, Univ. Paris 13
• 16 May 2009 – workshop PCC 2009 (Proof, Computation, Complexity)
• 19 February 2009 – Post-Doc position available at ENS Lyon from September 2009
• 24 January 2009 – Kick-off meeting: jan. 27th 2009