[TYPES/announce] Special issue of Information and Computation on ICC/DICE

Jean-Yves Marion Jean-Yves.Marion at loria.fr
Mon Dec 5 12:17:06 EST 2011

[Apologies if you receive multiple copies of this message]

        Special issue of Information and Computation
         Implicit Computational Complexity

	(Deadline extension = 31 January 2012)

Call for Papers
The area of Implicit Computational Complexity (ICC) has grown out from  several proposals to
use logic and formal methods to provide languages for complexity- bounded computation
(e.g. Ptime, Logspace computation). It aims at studying computational  complexity
without referring to external measuring conditions or a particular  machine model, but
only by considering language restrictions or logical/computational  principles implying complexity properties.

Contributions on various aspects of ICC  including (but not exclusively) are welcome : 
- types for controlling complexity,
- logical systems for implicit computational complexity,
- linear logic,
- semantics of complexity-bounded computation,
- rewriting and termination orderings,
- interpretation-based methods for implicit complexity,
- programming languages for complexity bounded computation, 
- application of implicit complexity to other programming paradigms  (e.g. imperative or object-oriented languages)

- This special issue is a post-conference publication of DICE workshop. The first DICE workshop was held in 2010 in Lyon, the second in Saarbrucken in 2011, and the next one in Tallinn (http://dice2012.cs.unibo.it/) in 2012, as satellite events of ETAPS.

- A survey on ICC by P. Baillot, M. Hofmann, D. Leivant, J-Y Marion and S. Ronchi Della Rocca is planned.

Submissions, in pdf format, must be sent to Jean-Yves Marion at loria.fr no later than

31 January, 2011

But papers will be processed as soon as they are submitted

We encourage to look at http://projects.csail.mit.edu/iandc/info.html
and  the use of Elsevier's elsarticle.cls latex macro package,
that can be retrieved from


- Please send any further inquiry

- See also : http://dice11.loria.fr for updated information

More information about the Types-announce mailing list