BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:22nd International Symposium on Principles and Practice of Declarative Programming - PPDP 2020
X-WR-CALDESC:Part of BoPL 2020, PPDP aims at stimulating research in formal methods for declarative programming. On Thursday, Gabriele Vanoni will present his joint paper with Beniamino Accattoli and Ugo Dal Lago. More information: http://www.cse.chalmers.se/~abela/ppdp20/program.html.
END:VCALENDAR