From: <jerome.durand-lose@univ-orleans.fr>
To: destinataires inconnus: ;
Subject: Fundamenta Informaticae / Special issue / Machines, Computations and Universality
Date: Thu, 20 Mar 2008 11:07:42 +0100 [thread overview]
Message-ID: <E1JcLbC-0006Hk-Me@mailserv.mta.ca> (raw)
Call for paper for the special issue of Fundamenta Informaticae
on "Machines, Computations and Universality".
This call for paper is open to everyone (it is not restricted to the
participant of MCU '07).
After the success of MCU '07 at Orleans (France), in Sept. 10-13,
2007, a special issue of Fundamenta Informaticae will be published with
contributions on the topics of the conference, which include the following:
Digital computation (fundamental classical models):
Turing machines, register machines, word processing (groups and
monoids), other machines.
Digital models of computation:
cellular automata, other automata, tiling of the plane, polyominoes,
snakes, neural networks, molecular computations,
Analog and Hybrid Computations:
BSS machines, infinite cellular automata, real machines,
quantum computing, computable analysis, abstract geometrical
computation.
In all these settings:
frontiers between a decidable halting problem and an undecidable one
in the various computational settings
minimal universal codes:
size of such a code, namely, for Turing machines, register
machines, cellular automata, tilings, neural nets, Post systems
computation complexity of machines with a decidable halting problem
as well as universal machines,
connections between decidability under some complexity class and
completeness according to this class,
self-reproduction and other tasks,
universality and decidability in the real field.
Submissions will be refereed and here are the dates for the process:
submission dead-line: April 10th, 2008 (strict)
notification of accetance/rejection : September, 1st, 2008
final version due: December, 1st, 2008
If you already have a published contribution in the proceedings of
the conference (LNCS 4664), we draw your attention on the following:
your submission must be sustantially different from the paper of LNCS:
it must either contain significantly new results or important proofs
that could not be included in the LNCS format; we have to strictly
apply this rule.
Send your submission to the following address:
margens@univ-metz.fr
It is important that your submission applies FI's format (see FI's
site: http://fi.mimuw.edu.pl/) for your contribution to be
examined. There is no apriori limit on the number of pages. The format
of FI is large and, in principle, 30 pages is a reasonable limit. If
you actually need more,please contact us.
Jerome Durand-Lose, Maurice Margenstern,
co-chairs of MCU '07
reply other threads:[~2008-03-20 10:07 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1JcLbC-0006Hk-Me@mailserv.mta.ca \
--to=jerome.durand-lose@univ-orleans.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).