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

  • Data: 10 JULY 2019  dalle 11:20 alle 11:45

  • Luogo: Patras, Greece

  • Tipo: Conference