DICE 2011
Second Workshop on
Developments in Implicit Computational Complexity
April 2nd-3rd, 2011, Saarbrücken, Germany, as part of ETAPS
Proceeding in EPTCS will be soon available
Special issue of Information and Computation :
(extension) Paper submission :
January, 31st 2012