29th edition of Computer Science Logic - CSL 2021

CSL is a major European conference in mathematical logic and computer science. Guillaume Geoffroy and Paolo Pistone will present their joint work on Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. More information: https://csl2021.fmf.uni-lj.si/schedule/

  • Date:

    25 JANUARY
    -
    28 JANUARY 2021
     
  • Event location: online

  • Type: Conference