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.
Date:
Event location: online
Type: Conference
