Events

Directions and Perspectives in the λ-calculus

Aula Ercolani 3, Mura Anteo Zamboni 2B, 40126 Bologna, Italia - In presence and online event

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.

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.

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/

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.

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

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/

Proof and Algorithms Seminar

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

SAL & SLM shared session

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

Augusta CS Colloquim

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

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

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/