[TYPES/announce] I&C Special Issue on Implicit Computational Complexity

Simona Ronchi Della Rocca ronchi at di.unito.it
Fri Oct 11 04:02:58 EDT 2013


Special Issue on Implicit Computational Complexity

Deadline: November 1st 2013
Notification: May 15th 2013
Guest Editors: Simona Ronchi Della Rocca (ronchi at di.unito.it) and Virgile Mogbil (virgile.mogbil at lipn.univ-paris13.fr)


The area of Implicit Computational Complexity (ICC) has grown out from several proposals to use logic and formal methods to delineate complexity-bounded computation (e.g. polynomial time, polynomial space or 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,
- complexity analysis,
- 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 post-conference publication of DICE 2013 (http://dice2013.di.unito.it/) is open to everyone, also those who did not participate in the conference.
It follows a series of annual workshop as satellite events of ETAPS : DICE 2010 in Paphos, DICE 2011 in Saarbrucken, DICE 2012 in Tallinn and DICE 2013 in Roma.


Submissions must be sent to us no later than NOVEMBER 1st 2013.
Papers will be processed as soon as they are submitted.

I&C solicits high quality papers reporting research results related to the topics mentioned above. 
All papers must be original, unpublished, and not submitted for publication elsewhere. 
Contributions should be submitted electronically as PDF, to both addresses:
iandc at csail.mit.edu and virgile.mogbil at lipn.univ-paris13.fr
using Elsevier's elsarticle.cls latex macro package, that can be retrieved from
We encourage authors to look at 

For additional information see http://dice2013.di.unito.it/
or email inquiries to us (ronchi at di.unito.it or virgile.mogbil at lipn.univ-paris13.fr)

Simona Ronchi Della Rocca
full Professor of  
"Foundations of Computer Science"
Dipartimento di Informatica
Universita' di Torino
c.Svizzera 185, 10149 Torino (Italy)

e-mail :  ronchi at di.unito.it
phone: +39-011-6706734
fax : +39-011-751603
mobile: +39-320-4205121


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20131011/4ea7317c/attachment-0001.html>

More information about the Types-announce mailing list