Events

48th annual symposium on Principles of Programming Languages - POPL 2021

online

POPL is one of the main international conference on the theory and practice of programming languages. In track B, Ugp Dal Lago and Gabriele Vanoni will present two of their DIAPASoN papers. For more information, see https://popl21.sigplan.org/program/program-POPL-2021.

OWL Seminar

F. Gavazzo will present his work on Modal Reasoning = Metric Reasoning, via Lawvere. See https://www.cl.cam.ac.uk/events/owls/

22nd International Symposium on Principles and Practice of Declarative Programming - PPDP 2020

online

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.

University of Bath Seminar

F. Gavazzo will present is work on An Operational Analysis of Algebraic Effects.

LFCS Seminar - Edinburgh

F. Gavazzo will present his work on Operational Reasoning for Modal Types: Effects and Coeffects. https://youtu.be/IHKpjPZ00vI

Joint PPS - PIHOC - DAPASoN Workshop

Turing conference room, Université de Paris Bâtiment Sophie Germain, 8 Place Aurélie Nemours, 75205 Paris Cedex 13

This year, the 3rd PIHOC workshop is joint with the kick-off meetings of both PPS and DIAPASoN projects! Topics on semantics and formal methods for probabilistic programming, statistical learning, differential and approximate computing. More information: https://www.irif.fr/pps-pihoc-diapason2020

46th International Colloquium on Automata, Languages and Programming - ICALP 2019

Patras, Greece

With 3 tracks, ICALP is one of the main European conference in Theoretical Computer Science. In track B, Francesco Gavazzo will present his joint paper with Ugo Dal Lago on "Differential Logical Relations". For more information, see https://icalp2019.upatras.gr/calendar.php

The European Joint Conferences on Theory and Practice of Software

Prague, Czech Republic

ETAPS groups together the annual conferences ESOP, FASE, FOSSACS, POST and TACAS, as well as many workshops. Francesco Gavazzo will present his joint paper with Ugo Dal Lago on "Effectful Normal-Form Bisimulation" at ESOP. For more info, see https://conf.researchr.org/home/etaps-2019

Second Workshop on Probabilistic Interactive and Higher-Order Computation

Complesso Belmeloro, Bologna

The edition of PIHOC takes place in Bologna on February 6-7, 2019. The topic of the workshop is higher-order probabilistic computation, thus very related to DIAPASoN. More information can be found here: http://pihoc2019.cs.unibo.it/