vai al contenuto della pagina vai al menu di navigazione

Events

Calendar
Loading events

Eventi conclusi

26 FEBRUARY
-
28 FEBRUARY 2020

Workshop

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

10 JULY 2019

Conference

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

06 APRIL
-
11 APRIL 2019

Conference

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

06 FEBRUARY
-
07 FEBRUARY 2019

Workshop

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/