torre CiE 2007 logo
CiE 2007 | General Information | Participation | Scientific Programme | Publications | CiE | CCA 2007
photo credit

The CiE 2007 conference photograph:

photo of CiE 2007 participants
Click on photo for big file.

(18/06/07) Talks download area: All available talks can now be accessed online via the CiE 2007 talks download area.

(20/06/07) Registrations: These have now reached 283.

(17/05/07) Record number of registrations received: With still a month to go, over 200 registrations have now been received, a record for a CiE meeting.

(14/5/07) CiE 2007 contributed schedule: There is now a Contributed Talk schedule online.

(9/4/07) Revised CiE 2007 schedule: To meet the requirements of particular speakers, and ease the allocation of sessions to rooms, there is now a revised provisional schedule online.

(19/3/07) ASL student travel grants again: The final number of applicants from students wanting to come to CiE 2007 was 30 (see below). Sadly, it seems, the ASL will not be able to fund many more than ten students.

(19/3/07) CiE 2007 schedule: There is now a provisional schedule online.

giraffe (16/3/07) Conference banquet: The venue for the conference banquet will be the headquarters of the Contrada della Giraffa.

(15/3/07) ASL student travel grants: The ASL reports that "the number of applications we are getting for CiE is unprecedented for a sponsored meeting ... there will of necessity (unfortunately) have to be a significant number of disappointments." A PC member comments "For us, this is great news, as it makes us stand out as a very special ASL-sponsored event. Unfortunately, the students who get a rejection e-mail will not think so."

George (5/3/07) Late addition to programme: Writer and lecturer George Odifreddi is an intriguing late addition to the CiE 2007 programme, and will give a conference introductory lecture.

(16/2/07) Contributed papers: The list of accepted contributed papers is now available.

(13/12/06) Women in Computability workshop: Schedule finalised.

poster (09/11/06) CiE 2007 poster: The CiE 2007 poster is now available. Please download and print this A2 copy (pdf file, 2.8MB), and display in your department.

Scott (3/11/06) The final plenary speaker to confirm: Dana Scott writes that he certainly intends to come and speak at CiE 2007 in Siena in June, 2007.

(31/10/06) The CiE 2007 First Call for Papers is now out.

penrose (14/10/06) Latest plenary speaker: Sir Roger Penrose has provisionally accepted an invitation to speak at CiE 2007.

(28/9/06) EACSL sponsorship for CiE 2007: The European Association for Computer Science Logic has agreed (Sept. 2006) to sponsor CiE 2007, including providing support for a plenary speaker.

Anil (15/9/06) New plenary speaker: Anil Nerode has accepted an invitation to speak at CiE 2007.

Pre-registration for CiE 2007: Pre-registration for CiE 2007 has opened.

And so has Registration.

Paper submission: The CiE 2007 arrangements for submission of papers are now online. Dates for the submission of papers are:

Submission of papers: January 12, 2007
Notification of authors: February 16, 2007
Deadline for final revisions: March 9, 2007

CCA Conference 2007: The homepage for the 2007 Computability and Complexity in Analysis Conference, co-located with CiE 2007, is now online.

palazzo publico

CiE logo
EATCS logo ASL logo AILA logo
EACSL logo LNCS logo FoLLI logo CRA-W logo MPS logo
CiE logo CiE 2005 small poster CiE 2006 small poster CiE07 poster CCA logo UNISI logo GNSAGA Springer
B. Cooper
Valid HTML 4.01!