---------------------------------------------------------------------------
CORRECTIONS AND UPDATES TO THE FINAL CALL FOR PAPERS
---------------------------------------------------------------------------
COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes
Ponta Delgada (Azores), Portugal
June 30 to July 4, 2010
Deadline for submissions: 20 JANUARY 2010*
*Even though the deadline for submission of papers is January 20, the actual refereeing process will not start for a week or even slightly longer. Submissions can be made as long as EasyChair allows.
---------------------------------------------------------------------------
Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. For more details, we refer to the original Call for Papers
Please find some corrections, updates and reminders on informal presentations, grant opportunities and the special sessions below.
INFORMAL PRESENTATIONS. We have received many questions about the possibility of giving informal presentations at CiE 2010. As is the CiE tradition, there will be again informal presentations at CiE 2010. The call for informal presentations will be published after the decisions on the submitted papers are announced, with a deadline around April-May.
GRANT OPPORTUNITIES. We would like to stress that CiE 2010 has many opportunities for grants and we would encourage those eligible for a grant to consider the submission of a paper:
- Papers that have only student authors are eligible for the "CiE 2010 Best Student Paper Award." If your submission satisfies the requirements, please submit your paper in the category "Regular paper (eligible for Best Student Paper Award)." The Programme Committee will select the best submission among these after acceptance. The recipient of the Best Student Paper Award will get a fee waiver of the registration fee, a certificate, and a small symbolic cash prize.
- Funded by the Elsevier Foundation's programme 'Women in Computability' we shall offer five travel grants (covering registration fee and up to 300 EUR in reimbursement for travel and accomodation expenses) for junior female researchers. More information will become available in March 2010.
- Funded by the Elsevier journal Annals of Pure and Applied Logic (APAL), the organizers are offering a number of travel grants (including fee waivers and a modest reimbursement of travel and accommodation expenses) for students to attend CiE 2010. Student authors of accepted papers will have priority for these grants.
- The Association for Symbolic Logic (ASL) sponsors modest student member travel grants. See Student Travel Awards.
- New funding opportunities are expected to be offered. For more details concerning funding and up to date information, please consult regularly the web page of the conference.
SPECIAL SESSIONS. The following is the complete list of speakers at the six special sessions at CiE 2010:
- Biological Computing
- Organizers: Paola Bonizzoni and Krishna Narayanan
- Invited speakers: Natasha Jonoska, Giancarlo Mauri, Yasubumi Sakakibara, Stephane Vialette
- Computational Complexity
- Organizers: Luis Antunes and Alan Selman
- Invited speakers: Eric Allender, Christian Glasser, John Hitchcock, Rahul Santhanam
- Computability of the Physical
- Organizers: Cris Calude and Barry Cooper
- Invited speakers: Giuseppe Longo, Yuri Manin, Cris Moore, David Wolpert
- Proof Theory and Computation
- Organizers: Fernando Ferreira and Martin Hyland
- Invited speakers: Thorsten Altenkirch, Samuel Mimram, Paulo Oliva, Lutz Strassburger
- Reasoning and Computation from Leibniz to Boole
- Organizers: Benedikt Loewe and Guglielmo Tamburrini
- Invited speakers: Michele Friend, Volker Peckhaus, Olga Pombo, Sara Uckelman
- Web Algorithms and Computation
- Organizers: Thomas Erlebach and Martin Olsen
- Invited speakers: Hannah Bast, Debora Donato, Alex Hall, Jeannette Janssen