Events

Calendar
Loading events

Eventi in corso o in programma

Concluded events

16 FEBRUARY
-
18 FEBRUARY 2021

Workshop

Joint PPS - PIHOC - DAPASoN Workshop

online

The 4th PIHOC workshop is this year again join with the annual meeting 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-diapason2021

25 JANUARY
-
28 JANUARY 2021

Conference

29th edition of Computer Science Logic (CSL 2021)

online

CSL is a major European conference in mathematical logic and computer science. Guillaume Geoffroy and Paolo Pistone will present their joint work on Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. More information: https://csl2021.fmf.uni-lj.si/schedule/

20 JANUARY
-
22 JANUARY 2021

Conference

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.

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.

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/