[FOM] CiE2010

[Fernando Ferreira]

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. Balcazar, 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: 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  
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), 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
_____________________________________________________________________



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
Portugal

http://www.ciul.ul.pt/~ferferr/