[Proof Complexity] ICALP 2016 - Early registration reminder

Nicola Galesi galesi at di.uniroma1.it
Fri May 20 17:27:44 CEST 2016

[Apologies for multiple copies]

Please remind that  the EARLY REGISTRATION period for ICALP 2016 ends on
May 31, 2016.

The 43rd International Colloquium on Automata, Languages and Programming
(ICALP 2016) will be held in Rome (Italy) from July 12-th  to 15-th 2016 (

The list of ACCEPTED PAPERS  is here (

Conference's  INVITED SPEAKERS  are:
- Subhash Khot (New York University, USA)
- Marta Z. Kwiatkowska (Oxford University, UK)
- Xavier Leroy (INRIA, Paris, France)
- Devavrat Shah (MIT, USA)

The following 2016 AWARDS will give a talk during the conference
-  Steve Brookes (Carnegie Mellon, USA) and Peter O'Hearn (UCL, UK)  --
Gödel Prize
-  Dexter Kozen (Cornell - USA) -- EATCS award
-  Mark Braverman (Princeton, USA) -- Presburger award

The PROGRAM of the conference is available here (
Info about ACCOMMODATION here (

More information about the Proof-Complexity mailing list