Re: [logic-ml] Computability in Europe 2013

-- 河村彰星 東京大学大学院情報理工学系研究科コンピュータ科学専攻 助教（今井研究室） 03-5841-4097 http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/index_j.html FINAL SUBMISSION INFORMATION CiE 2013: The Nature of Computation Milan, Italy July 1 - 5, 2013 http://cie2013.disco.unimib.it co-located with Unconventional Computation and Natural Computation 2013 http://ucnc2013.disco.unimib.it 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 disciplines. We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. SUBMISSIONS 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 https://www.easychair.org/conferences/?conf=cie2013. The proceedings will be available at the conference venue. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.