CIE 2011 - Computability in Europe 2011 "Models of Computation in Context"

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach. CiE in Sofia will bring context, multidisciplinary perspective and computability-theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory.

CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

We particularly invite papers that build bridges between different parts of the research community. Since women are underrepresented in mathematics and computer science, we emphatically encourage submissions by female authors.

IMPORTANT DATES:
Submission Deadline: January 14, 2011
Notification of Authors: March 12, 2011
Final Version: April 2, 2011
The Programme Committee cordially invites all researchers in the area of the conference to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2011 to http://www.easychair.org/conferences/?conf=cie2011. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. Other accepted contributed papers together with abstracts of informal presentations will appear in our local pre-conference proceedings volume.

Authors of accepted papers are expected to present their work at the conference. 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. All papers need to be prepared in LNCS-style LaTeX. Papers should not exceed 10 pages; full proofs may appear in a technical appendix which will be read at the reviewers' discretion.

Submissions authored or co-authored by members of the Programme Committee are not allowed.

A PDF-Version of the call for papers for notice boards.