Events

Calendar
Loading events

Eventi in corso o in programma

08 SEPTEMBER
-
10 SEPTEMBER 2020

Conference

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.

28 JULY 2020

Seminar

University of Bath Seminar

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

05 MAY 2020

Seminar

LFCS Seminar - Edinburgh

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

26 FEBRUARY
-
28 FEBRUARY 2020

Workshop

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

10 JULY 2019

Conference

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

06 APRIL
-
11 APRIL 2019

Conference

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

06 FEBRUARY
-
07 FEBRUARY 2019

Workshop

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/