vai al contenuto della pagina vai al menu di navigazione

Events

Calendar
Loading events
26FEB
-
28FEB2020

/ Workshop

Closed event Published

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

10JUL2019

/ Conference

Closed event Published

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

06APR
-
11APR2019

/ Conference

Closed event Published

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

06FEB
-
07FEB2019

/ Workshop

Closed event Published

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/