1 2 3
Informazioni per...

Calendario

mer 8 ott 2025

The quest for reliable testing and verification in machine learning security

Antonio Emanuele Cinà | DIBRIS (Università di Genova) | h 16.30 Sala Verde (presenza ed on line)

gio 16 ott 2025

Explaining AI through counterfactuals

Francesco Leofante | Imperial College London (UK) | h 14.30

mar 21 ott 2025

Towards counterfactual explanations for sequential decision-making problems

Francesco Leofante | Imperial College (Londra - UK) | h 14.00 Sala Verde (presenza ed on line)

lun 27 ott 2025

Introduction to Type Theory [1 ECTS, SSD: Mat/01]

Thorsten Altenkirch | University of Nottingham | h 16.30 (see after abstract for timetable and venue)

Condividi