[Proof Complexity] CiE 2013: The Nature of Computation - final submission by *February 2nd 2013*

CiE Conference Series cie.conference.series at gmail.com
Fri Jan 18 13:46:14 CET 2013


                CiE 2013: The Nature of Computation
                              Milan, Italy
                           July  1 - 5, 2013


co-located with Unconventional Computation and Natural Computation 2013

ALL FINAL SUBMISSION needed by *February 2nd 2013*

The organisers have received several requests for extending the deadline.

The server for submissions to CIE 2013 will remain
open for new submissions until January 30th. Revised
versions of papers may be submitted until February 2nd, as
long as a preliminary version including an abstract has been submitted
by January 30th.

Computability in Europe provides the largest international conference
dealing with the full spectrum of computability-related research.
The Nature of Computation is meant to emphasize the special focus of
CIE13 on the unexpected and strong changes that studies on Nature have
brought in several areas of mathematics, physics, and computer science.
Starting from Alan Turing, research on Nature with a computational
perspective has produced novel contributions, giving rise even to new

We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic
connection with computability.


Authors of accepted papers are expected to present their work at the
conference. Each presentation will be 25 minutes long, including the
time for the eventual discussion. Submitted papers must describe work
not previously published, and they must neither be accepted nor under
review at a journal or at another conference with refereed proceedings.
Authors are required to submit their manuscripts electronically in PDF
using the LNCS style. Authors using LaTeX can download the needed macros
at Springer-Verlag site. Papers should not exceed 10 pages; full proofs
may appear in a clearly marked technical appendix which will be read at
the reviewers¹ discretion.
The submission process is managed by EasyChair and is available at

The proceedings will be available at the conference venue.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.

More information about the Proof-Complexity mailing list