The organizers of ICALP 2016 have asked me to distribute the message below. I encourage you to attend the conference, which is going to be a veritable celebration of TCS research.
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 (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)
No comments:
Post a Comment