Logic List Mailing Archive

Correction to Final CfP, CiE 2010, Ponta Delgada (Portugal), 30 Jun to 4 Jul 2010

---------------------------------------------------------------------------
     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
                   http://www.cie2010.uac.pt/

             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 at

   http://www.cie2010.uac.pt/contents/call_for_papers.html

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
http://www.aslonline.org/studenttravelawards.html

   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 http://www.cie2010.uac.pt/

SPECIAL SESSIONS. The following is the complete list of speakers at the
six special sessions at CiE 2010:

Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan
Invited speakers: Natasha Jonoska, Giancarlo Mauri, Yasubumi Sakakibara,
Stephane Vialette

Computational Complexity, organizers: Luis Antunes, Alan Selman
Invited speakers: Eric Allender, Christian Glasser, John Hitchcock, Rahul
Santhanam

Computability of the Physical, organizers: Cris Calude, Barry Cooper
Invited speakers: Giuseppe Longo, Yuri Manin, Cris Moore, David Wolpert

Proof Theory and Computation, organizers: Fernando Ferreira, Martin Hyland
Invited speakers: Thorsten Altenkirch, Samuel Mimram, Paulo Oliva, Lutz
Strassburger

Reasoning and Computation from Leibniz to Boole, organizers: Benedikt
Loewe, Guglielmo Tamburrini
Invited speakers: Michele Friend, Volker Peckhaus, Olga Pombo, Sara
Uckelman

Web Algorithms and Computation, organizers: Thomas Erlebach, Martin Olsen
Invited speakers: Hannah Bast, Debora Donato, Alex Hall, Jeannette Janssen