Events

Calendar
Loading events

Eventi in corso o in programma

05 APRIL 2023

Workshop

DIAPASoN Spring Workshop 2023

Aula Ercolani 3, Mura Anteo Zamboni, 7, Bologna

This workshop is held in occasion of the visit of Lê Thành Dũng (Tito) Nguyễn (ENS-Lyon) and Federico Olimpieri (University of Leeds). They will both give a 1h talk. After that, some DIAPASoN members will present some works-in-progress in informal 20 minutes talks.

Concluded events

19 JULY 2021

Workshop

DIAPASoN summer workshop

Aula Busi, Mura Anteo Zamboni, 7, Bologna

This workshop will be the occasion for DIAPASoN members to present some work-in-progress in a casual 20 minutes talk format.

05 JULY 2021

Conference

17th Computability in Europe conference - CIE 2021

M. Antonelli will present her joint work with U. dal Lago e P. Pistone: On Measure Quantifiers in First-Order Arithmetic. More: https://www.cie2021.ugent.be/programme/

29 JUNE
-
02 JULY 2021

Conference

36th Symposium on Logic In Computer Science - LICS 2021

Gabriele Vanoni and Paolo Pistone will present their accepted papers, namely "The Space of Interaction" (by Vanoni, Accattoli and Dal Lago) and "On Generalized Metric Spaces for the Simply Typed Lambda-Calculus" (by Pistone). See http://easyconferences.eu/lics2021/program/ for more details.

14 JUNE
-
26 JUNE 2021

Workshop

Oregon Programming Language Summer School - OPLSS 2021

This year Ugo Dal Lago will give a course at the OPLSS, entitled "From Program Equivalences to Program Metrics". More details: https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php

16 JUNE 2021

Seminar

OWL Seminar

U. Dal Lago will give a talk on Differential Program Semantics at the OWL Seminar next week! See https://www.cl.cam.ac.uk/events/owls/

19 MAY 2021

Seminar

Proof and Algorithms Seminar

F. Gavazzo will present his work on Monadic Rewriting Systems.

26 APRIL 2021

Seminar

SAL & SLM shared session

M. Antonelli will present her work on Measure-Quantified Logics (joint work with U. Dal Lago and P. Pistone).

02 APRIL 2021

Seminar

Augusta CS Colloquim

F. Gavazzo will present his work on Coinductive Equivalences for Higher-order Coeffectful Languages. https://youtu.be/-tgA2zShDcQ

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.