For a Human-Centered AI

#conference


  • 15 Ottobre 2022
    Metodi formali nella progettazione assistita da computer: superare i confini
    L'unità ES del Centro Digital Industry Center (FBK) ha co-organizzato l'edizione di quest'anno della Conferenza internazionale sui metodi formali nella progettazione assistita da computer (FMCAD), la n. 22 di una serie di conferenze su teoria e applicazioni dei metodi formali nella verifica dell'hardware e del sistema. Il convegno si è tenuto a Trento dal 17 al 21 ottobre 2022