Logic List Mailing Archive
1st CfP: CiE 2010, Ponta Delgada (Azores, Portugal), 30 Jun to 5 Jul 2010
---------------------------------------------------------------------------
-
COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes
Ponta Delgada (Azores), Portugal
June 30 to July 5 2010
http://www.cie2010.uac.pt/
Deadline for submissions: 20 JANUARY, 2010
---------------------------------------------------------------------------
-
Computability in Europe provides the largest international conference deali
ng
with the full spectrum of computability-related research.
CiE 2010 in the Azores is the sixth conference of the Series, held in a
geographically unique and dramatic location, Europe's most Westerly outpost
.
The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual
CiE synergy of Computer Science, Mathematics and Logic, with important
computability-theoretic connections to science and the real universe.
TUTORIALS: Jeffrey Bub (Information, Computation, and Physics),
Bruno Codenotti (Computational Game Theory).
CONFIRMED INVITED SPEAKERS: Eric Allender, Jose L. Balczar, Denis
Hirschfeldt, Seth Lloyd, Sara Negri, Toniann Pitassi, and Ronald de Wolf,
SPECIAL SESSIONS on
Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan
Computational Complexity, organizers: Alan Selman, Elvira Mayordomo
Computability of the Physical, organizers: Barry Cooper, Cris Calude
Proof Theory and Computation, organizers: Martin Hyland, Fernando Ferreira
Reasoning and Computation from Leibniz to Boole, organizers: N.N.
Web Algorithms and Computation, organizers: Martin Olsen, Thomas Erlebach.
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.
Formal systems, attendant proofs, and the possibility of their computer
generation and manipulation (for instance, into programs) have been changin
g a
whole spectrum of disciplines. The conference will address not only the mor
e
established lines of research of Computational Complexity and the interplay
between Proofs and Computation, but also novel views that rely on physical
and
biological processes and models to find new ways of tackling computations a
nd
improving their efficiency.
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
Elsevier Foundation is supporting the CiE conference series in the programm
e
"Increasing representation of female researchers in the computability
community". This programme will allow us to fund child-care support, a
mentoring system for young female researchers, and also a small number of
grants for female researchers, covering their registration fees.
The dates around the submission process are as follows:
Submission Deadline: 20 January 2010
Notification of Authors: 18 March 2010
Deadline for Final Version: 8 April 2010
CiE 2010 conference topics include, but not exclusively:
* Admissible sets
* Analog computation
* Artificial intelligence
* Automata theory
* Classical computability and degree structures
* Computability theoretic aspects of programs
* Computable analysis and real computation
* Computable structures and models
* Computational and proof complexity
* Computational complexity
* Computational learning and complexity
* Concurrency and distributed computation
* Constructive mathematics
* Cryptographic complexity
* Decidability of theories
* Derandomization
* Domain theory and computability
* Dynamical systems and computational models
* Effective descriptive set theory
* Finite model theory
* Formal aspects of program analysis
* Formal methods
* Foundations of computer science
* Games
* Generalized recursion theory
* History of computation
* Hybrid systems
* Higher type computability
* Hypercomputational models
* Infinite time Turing machines
* Kolmogorov complexity
* Lambda and combinatory calculi
* L-systems and membrane computation
* Mathematical models of emergence
* Molecular computation
* Natural computing
* Neural nets and connectionist models
* Philosophy of science and computation
* Physics and computability
* Probabilistic systems
* Process algebra
* Programming language semantics
* Proof mining
* Proof theory and computability
* Quantum computing and complexity
* Randomness
* Reducibilities and relative computation
* Relativistic computation
* Reverse mathematics
* Swarm intelligence
* Type systems and type theory
* Uncertain reasoning
* Weak arithmetics and applications
Contributed papers will be selected from submissions received by the PROGRA
MME
COMMITTEE consisting of:
Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Arnold Beckmann
(Swansea), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve Cook
(Toronto ON), Barry Cooper (Leeds), Erzsbet Csuhaj-Varj (Budapest), F
ernando
Ferreira (Lisbon, co-chair), Nicola Galesi (Rome),
Lus Mendes Gomes (Ponta Delgada), Rosalie Iemhoff (Utrecht), Achim Jung
(Birmingham), Michael Kaminski (Haifa), Jarkko Kari (Turku), Viv Kendon
(Leeds), James Ladyman (Bristol), Kamal Lodaya (Chennai), Giuseppe Longo
(Paris), Benedikt Lwe (Amsterdam), Elvira Mayordomo Cmara (Zaragoza,
co-chair), Wolfgang Merkle (Heidelberg), Russell Miller (New York NY), Dag
Normann (Oslo), Isabel Oitavem (Lisbon), Joo Rasga (Lisbon), Nicole
Schweikardt (Frankfurt), Alan Selman (Buffalo NY), Peter van Emde Boas
(Amsterdam), Albert Visser (Utrecht)
The Programme Committee cordially invites all researchers in the area of th
e
conference to submit their papers (in PDF-format, at most 10 pages) for
presentation at CiE 2010.
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. Authors of accepted
papers are expected to present their work at the conference. Submitted pape
rs
must describe work not previously published, and they must neither be accep
ted
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 excee
d
10 pages; full proofs may appear in a technical appendix which will be read
at
the reviewers' discretion.
Every paper that has only student authors is eligible for the "CiE 2010 Bes
t
Student Paper Award". If your submission satisfies the requirements, please
submit your paper in the category "Regular paper (eligible for Best
Student Paper Award)". The Programme Committee will select the best submiss
ion
among these after notification. The recipient of the Best Student Paper Awa
rd
will get a fee waiver of the registration fee, a certificate, and a small
symbolic cash prize.
Submissions authored or co-authored by members of the Programme Committee a
re
not allowed.