30 Jun - 5 Jul 2010
Preliminary Announcement
---------------------------------------------------------------------------
-
COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes
Ponta Delgada (Azores), Portugal
June 30 to July 5 2010
http://www.cie2010.uac.pt/
---------------------------------------------------------------------------
-
CiE 2010 is the sixth in a successful series of conferences organised by
CiE (Computability in Europe), a European association of mathematicians,
logicians, computer scientists, philosophers, physicists and others
interested in new developments in computability and their underlying
significance for the real world. Previous meetings took place in
Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and
Heidelberg (2009). Please mark the conference dates in your agendas for
2010.
CONFIRMED TUTORIALS: Bruno Codenotti (Computational Game Theory).
CONFIRMED INVITED SPEAKERS: Seth Lloyd, Denis Hirschfeldt, Ronald de Wolf,
Jose
L. Balczar, Eric Allender, Toniann Pitassi, and Sara Negri.
SPECIAL SESSIONS on
Proof Theory and Computation, organizers: Martin Hyland, Fernando Ferreira
Computational Complexity, organizers: Alan Selman, Elvira Mayordomo
Computability of the Physical, organizers: Barry Cooper, Cris Calude
Reasoning and Computation from Leibniz to Boole, organizers: N.N.
Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan
Web Algorithms and Computation, organizers: Martin Olsen, N.N.
Formal systems, attendant proofs, and the possibility of their computer
generation and manipulation (for instance, into programs) have been
changing a whole spectrum of disciplines. The conference will address
not only the more established lines of research of Computational
Complexity and the interplay between Proof Theory and Computation, but
also novel views that rely on physical and biological processes and
models to find new ways of tackling computations and improving their
efficiency. Also, information systems like the Web are a recent subject
of attention in view of the fact that managing such complex and evolving
systems pose particular problems. In all cases we are looking for
fundamental and theoretical submissions.
In line with other conferences in this series, CiE2010 has a broad scope
and provides a forum for the discussion of theoretical and practical
issues in Computation with an emphasis on new paradigms of computation
and the development of their mathematical theory.
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 programme
"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.
Contributed papers will be selected from submissions received by the
PROGRAMME 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), Fernando 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)
In a Call for Papers to be sent out this month, the PC will
invite all researchers in the area of the conference to submit their
papers 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.