1st BRIO Research Meeting with Call for Participation and Poster Presentation, Università Statale di Milano, 17/09/2022 sites.unimi.it/brio/events/
Summer School Logic for the AI Spring
The Logic for the AI Spring Summer School is a scientific event of the BRIO Project. Apply!
Giuseppe Primiero talk at Logic4Peace
At the fundrising event Logic4Peace, Giuseppe Primiero presented early results of the BRIO project with a talk titled “Proof-Checking Trustworthiness of Biased Labelling Methods” https://events.illc.uva.nl/Logic4Peace/About/