[FOM] CiE2010

Fernando Ferreira ferferr at cii.fc.ul.pt
Fri Sep 4 17:39:44 EDT 2009

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 2010.

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, tbc

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  

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  

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  

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.

  CiE Conference Series                         http:// 
  CiE 2010                                      http:// 
  CiE Membership Application Form            http://www.cs.swan.ac.uk/ 

Fernando Ferreira
Departamento de Matemática
Faculdade de Ciências
Universidade de Lisboa
Campo Grande, Edifício C6, Gabinete 6.2.8
P-1749-016 Lisboa


More information about the FOM mailing list