The 43rd International Colloquium on Automata, Languages and Programming
Rome, Italy
July 12 - 15, 2016
http://www.easyconferences.eu/icalp2016/
###############################################################
The 43rd International Colloquium on Automata, Languages and Programming
(ICALP 2016) will be held in Rome (Italy) from July 12 to July 15 2016.
ICALP is the main European conference in Theoretical Computer Science and
annual meeting of
the European Association for Theoretical Computer Science (EATCS).
The conference will include 4 days of technical presentations, and accepted
papers will each
have an oral presentation. It is subdivided in three tracks:
Track A: Algorithms, Complexity and Games
Track B: Logic, Semantics, Automata and Theory of Programming
Track C: Foundations of Networked Computation: Models, Algorithms and
Information Management
The program includes talks by four invited speakers:
*Subhash Khot (New York University, USA)
* Marta Z. Kwiatkowska (Oxford University, UK)
*Xavier Leroy (INRIA, Paris, France)
* Devavrat Shah (MIT, USA)
as well as award ceremonies and talks for the following prizes
* 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 conference will be located in a pleasant area full of shops,
restaurants and cafes. Close to the subway stop Lepanto of A-line, and at
10-15 minutes walking distance from Villa Borghese, the Vatican and Piazza
del Popolo, one of the main entrance in the center of the historical city.
Please visit http://www.easyconferences.eu/icalp2016/ for info about:
program, registration, accommodation and location of the conference.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
