Skip to main content Skip to navigation

ICALP 2012

ICALP 2012


The 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS), took place on 9 - 13 July 2012 at the University of Warwick, UK.

The conference was one of the Alan Turing Centenary Celebration events, celebrating the Life and Work, and Legacy of Alan Turing. Prof David Harel from the Weizmann Institute of Science, gave a special Alan Turing talk during the conference.

Three special awards were presented during the conference: EATCS/ACM SIGACT Gödel Prize 2012, EATCS Award 2012, and EATCS Presburger Award 2012.

The main conference was preceded by a series of workshops taking place on Sunday, July 8.


The full conference program consisted of 134 talks: 124 contributed talks selected by the PC, 6 invited talks, and 4 special presentations given by the winners of EATCS/ACM SIGACT Gödel Prize 2012, EATCS Award 2012, and EATCS Presburger Award 2012.

Electronic access to ICALP proceedings is available through MSR: Volume I (LNCS 7391) and Volume II (LNCS 7392).

Attendance numbers: 212 registered participants, including 66 students.


Sponsors:

We thank the sponsors Microsoft Research, the Centre for Discrete Mathematics and its Applications (DIMAP), Springer Verlag, the European Association for Theoretical Computer Science (EATCS) for their support, and the University of Warwick for hosting ICALP 2012.

MSR . MSR . MSR . MSR . MSR



Important Dates:

  • Submission: 23:59 GMT on February 21, 2012
  • Notification: April 17 2012
  • Final manuscript due: May 8, 2012
  • The conference: July 9 - 13, 2012

Invited Speakers:


ICALP 2013


Important Dates:

  • Submission:
    February 21, 2012 (Closed)
  • Notification:
    April 17, 2012
  • Final manuscript due: May 8, 2012
  • Conference:
    July 9 - 13, 2012

Submission guidelines

Conference poster (pdf)