Logic List Mailing Archive

Computability in Europe 2011: Models of Computation in Context, Sofia (Bulgaria), 27 June to 2 July 2011

**********************************************************************
                     First Announcement
                  COMPUTABILITY IN EUROPE 2011
                Models of Computation in Context
               Sofia (Bulgaria), 27 June- 02 July
               http://cie2011.fmi.uni-sofia.bg
           Deadline for submissions: January 14, 2011
**********************************************************************

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.

The main events in this year conference are as follows:

Tutorials:
 	Jack Lutz (Iowa State University)
 	Geoffrey Pullum (University of Edinburgh)

Confirmed plenary speakers:
 	Scott Aaronson (MIT)
 	Christel Baier (University of Bonn)
 	Michiel van Lambalgen (University of Amsterdam)
 	Antonio Montalban (University of Chicago)
 	Alexandra Shlapentokh (East Carolina University)
 	Theodore  Slaman (UC Berkley)
 	Alasdair Urquhart (University of Toronto)

Special sessions:
 	Computability in Analysis, Algebra, and Geometry
         (Organizers: Alexandra Shlapentokh, Dieter Spreen)
 	Classical Computability Theory
         (Organizers: Doug Cenzer, Bjørn Kjos-Hanssen)
 	Natural Computing
         (Organizers: Erzsébet Csuhaj-Varjú, Ion Petre)
 	Relations between the physical world and formal
         models of computability
         (Organizers: Viv Kendon, Sonja Smets)
 	Theory of transfinite computations
         (Organizers: Peter Koepke, C.T. Chong)
 	Computational Linguistics
         (Organizers: Tejaswini Deoskar, Tinko Tinchev)


SUBMISSIONS: 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.

IMPORTANT DATES:

Deadline for submissions: January 14, 2011
Notification of authors:  March 12, 2011
Final version: April 2, 2011
CiE 2011: June 27 - July 2, 2011

PROGRAMME COMMITTEE: Selim Akl, Albert Atserias, Anthony Beavers,
Arnold Beckmann, Paola Bonizzoni, Anne Condon, Thierry Coquand,
Anuj Dawar, Fernando Ferreira, Denis Hirschfeldt, Radha Jagadeesan,
Neil Jones, Natasha Jonoska, Achim Jung, Viv Kendon, Julia Knight,
Phokion Kolaitis, Benedikt Löwe, Elvira Mayordomo, Dag Normann
(co-chair), Jan-Willem Romeijn, Marie-France Sagot, Dirk Schlimm,
Anthony Seda, Nir Shavit, Ivan Soskov (co-chair), Alexandra Soskova,
Sarah Teichmann, Peter van Emde Boas, Jan van Leeuwen, Klaus Wagner,
  Andreas Weiermann.

LOCAL ORGANIZING COMMITTEE: Angel Dichev, Hristo Ganchev, Dimitar
Guelev, Vladislav Nenchev, Stela Nikolova, Dimitar Shiyachki,
Alexandra Soskova (Chair), Mariya Soskova, Stefan Vatev, Mitko
Yanchev, Anton Zinoviev.

Please e-mail your inquiries to   cie2011@fmi.uni-sofia.bg .