46th International Colloquium on Automata, Languages and Programming - ICALP 2019

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

  • Date: 10 JULY 2019  from 11:20 to 11:45

  • Event location: Patras, Greece

  • Type: Conference