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:

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

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

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

  4. The Association for Symbolic Logic (ASL) sponsors modest student member travel grants. See Student Travel Awards.

  5. 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: