[logic-ml] Computability in Europe 2013

[Akitoshi Kawamura]

皆様

お世話になっております
東京大学の河村でございます

以前お知らせ致しました欧洲計算可能性会議CiE 2013（伊ミラノ7月1日〜5日）の
投稿締切が以下の通り1月30日に延長されましたので御案内申し上げます
御投稿を検討いただければ幸いです

-- 
河村彰星
東京大学大学院情報理工学系研究科コンピュータ科学専攻
助教（今井研究室）
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.