36th Symposium on Logic In Computer Science - LICS 2021

Gabriele Vanoni and Paolo Pistone will present their accepted papers, namely "The Space of Interaction" (by Vanoni, Accattoli and Dal Lago) and "On Generalized Metric Spaces for the Simply Typed Lambda-Calculus" (by Pistone). See http://easyconferences.eu/lics2021/program/ for more details.

  • Date:

    29 JUNE
    -
    02 JULY 2021
     from 15:00 to 19:00
  • Type: Conference