[TYPES/announce] I&C special issue on Implicit Computational Complexity

[Ronchi Della Rocca Simona]

================================================================================================================================

INFORMATION & COMPUTATION
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)

CALL FOR PAPERS
=====================================================================================================================================

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 Rome.

SUBMISSIONS
-----------

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, using Elsevier's elsarticle.cls latex macro package, that can be retrieved from
http://www.elsevier.com/wps/find/authorsview.authors/elsarticle
We encourage authors to look at 
http://www.elsevier.com/journals/information-and-computation/0890-5401/guide-for-authors

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
Università di Torino
c. Svizzera 185, 10149 Torino

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/20130708/1f5ee904/attachment-0001.html>