ICALP 2016 - early registration deadline
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 (http://www.easyconferences.eu/icalp2016/index.html).
The list of ACCEPTED PAPERS is here (http://www.easyconferences.eu/icalp2016/accepted.html)
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 (http://www.easyconferences.eu/icalp2016/index.html).
Info about ACCOMMODATION here (http://www.easyconferences.eu/icalp2016/accommodation.html)
Please remind that the EARLY REGISTRATION period for ICALP 2016 ends on May 31, 2016.