Please note that this newsitem has been archived, and may contain outdated information or links.
4 November 2021, Logic and Interactive Rationality (LIRa), Giuseppe Primiero
Speaker: Giuseppe Primiero
Title: A Typed Natural Deduction System to verify Trustworthiness of Probabilistic Computations
Date: Thursday 4 November 2021
Time: 16:30-18:00
Location: Online
(joint work with Fabio Aurelio D’Asaro)
For more information, see
https://projects.illc.uva.nl/lgc/seminar/2021/08/lira-session-giuseppe-primiero/.
Please note that this newsitem has been archived, and may contain outdated information or links.