[FOM] Call_for_papers_CiE2010

[Fernando Ferreira]

Call for Papers for CiE2010

Computability in Europe provides the largest international conference  
dealing 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).

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

SPECIAL SESSIONS: Biological Computing (organizers: Paola Bonizzoni  
and Krishna.S), Computational Complexity (organizers: Alan Selman and  
Elvira Mayordomo), Computability of the Physical (organizers: Barry  
Cooper and Cris Calude), Proof Theory and Computation (organizers:  
Martin Hyland and Fernando Ferreira), Reasoning and Computation from  
Leibniz to Boole (organizers: Benedikt Löwe and Guglielmo Tamburrini)  
and Web Algorithms and Computation (organizers: Martin Olsen and  
Thomas Erlebach).

Submission Deadline:
January 20th, 2010
Notification of Authors:
March 18th, 2010
Final Version due:
April 8th, 2010

For more information, see http://www.cie2010.uac.pt/


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/