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/

Leave a Reply

Your email address will not be published. Required fields are marked *