[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [CiE] COMPUTABILITY IN EUROPE 2010: Programs, Proofs,Processes -Ponta Delgada (Azores), Portugal, June 30 to July 5 2010

Preliminary Announcement

              COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes
                 Ponta Delgada (Azores), Portugal
                     June 30 to July 5 2010

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

CONFIRMED TUTORIALS: Bruno Codenotti (Computational Game Theory).

CONFIRMED INVITED SPEAKERS: Seth Lloyd, Denis Hirschfeldt, Ronald de Wolf, 
Jose L. Balcazar, Eric Allender, Toniann Pitassi, and Sara Negri.


* Proof Theory and Computation, organizers: Martin Hyland, Fernando 

* Computational Complexity, organizers: Alan Selman, Elvira Mayordomo

* Computability of the Physical, organizers: Cris Calude, Barry Cooper

* Reasoning and Computation from Leibniz to Boole, organizers: tbc

* Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan

* Web Algorithms and Computation, organizer: Martin Olsen

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

Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Arnold Beckmann
(Swansea), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve
Cook (Toronto ON), Barry Cooper (Leeds), Erzsebet Csuhaj-Varju
(Budapest), Fernando Ferreira (Lisbon, co-chair), Nicola Galesi (Rome),
Luis 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 Loewe (Amsterdam), Elvira Mayordomo Camara (Zaragoza,
co-chair), Wolfgang Merkle (Heidelberg), Russell Miller (New York NY),
Dag Normann (Oslo), Isabel Oitavem (Lisbon), Joao 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.

  ASSOCIATION COMPUTABILITY IN EUROPE      http://www.computability.org.uk
  CiE Conference Series                         http://www.illc.uva.nl/CiE
  CiE 2010                                      http://www.cie2010.uac.pt/
  CiE Membership Application Form            http://www.cs.swan.ac.uk/acie