Events

Calendar
Loading events

Eventi in corso o in programma

Concluded events

19 JULY 2021

Workshop

DIAPASoN summer workshop

Aula Busi, Mura Anteo Zamboni, 7, Bologna

This workshop will be the occasion for DIAPASoN member to present one 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 Locis In Computer Science Symposium - LICS 2021

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

14 JUNE
-
26 JUNE 2021

Workshop

Oregon Programming Language Summer School 2021

This year Ugo Dal Lago will give a 4 sessions lecture at the OPLS, 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.

25 NOVEMBER 2020

Seminar

OWL Seminar

F. Gavazzo will present his work on Modal Reasoning = Metric Reasoning, via Lawvere. See https://www.cl.cam.ac.uk/events/owls/