BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:29th edition of Computer Science Logic - CSL 2021
X-WR-CALDESC: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/
END:VCALENDAR