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
Data: 10 JULY 2019 dalle 11:20 alle 11:45
Luogo: Patras, Greece
Tipo: Conference
