BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:46th International Colloquium on Automata, Languages and Programming - ICALP 2019
X-WR-CALDESC:With 3 tracks, ICALP is one of the main European conference in Theoretical Computer Science.
In track B, Francesco Gavazzo will present his joint paper with Ugo Dal Lago on "Differential Logical Relations".
For more information, see https://icalp2019.upatras.gr/calendar.php
END:VCALENDAR