Friday, May 20, 2016

[DMANET] ICALP 2016 - Early registration reminder

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 (

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.