1 2 3
Informazioni per...

Calendario

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)

mer 22 ott 2025

Conservative geometric tt-functors via purity

Juan Omar Gomez | University of Bielefeld | h 17.45 Aula G (presenza e remoto)

mer 22 ott 2025

Homological properties of completions of discrete cluster categories

Sofia Franchini | University of Lancaster | h 16.30 Aula G (presenza e remoto)

lun 27 ott 2025
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