For a Human-Centered AI

Metodi formali nella progettazione assistita da computer: superare i confini

15 Ottobre 2022

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

FMCAD fornisce ai ricercatori nel mondo accademico e industriale un forum di massimo livello per presentare e discutere metodi, tecnologie, risultati teorici e strumenti innovativi per ragionare formalmente sui sistemi informatici.

FMCAD copre gli aspetti formali della progettazione di sistemi assistiti da computer, tra cui verifica, specifica, sintesi e test.

In termini applicativi, la conferenza tratta di strumenti matematici per rilevare difetti su hardware (come processori o le centraline delle automobili), software usato in sistemi critici (di nuovo automobili, ma anche aerei, treni, etc.) e componenti basati su Intelligenza Artificiale.

FMCAD si è tenuta per la prima volta nel 1996 ed è stata una conferenza semestrale fino al 2006, quando le conferenze FMCAD e CHARME si sono fuse in un’unica conferenza annuale.

Prima della fusione, FMCAD si è tenuta negli Stati Uniti negli anni pari e la sua conferenza sorella, CHARME, si è tenuta in Europa negli anni dispari.

Dal 2006, la conferenza FMCAD si tiene ogni anno in varie sedi internazionali.

L’edizione di quest’anno, la prima in presenza dopo lo stop dovuto alla crisi pandemica, si è tenuta a Trento dal 17 al 21 ottobre 2022, registrando una importante partecipazione, ed è stata presieduta da Alberto Griggio (FBK) e Neha Rungta (Amazon Web Services).

Il COMITATO DIRETTIVO FMCAD è composto da:

  • Clark Barrett, Stanford University, CA, USA
  • Armin Biere, University of Freiburg, Germany
  • Anna Slobodova, Intel Corporation, TX, USA
  • Georg Weissenbacher, TU Vienna, Austria

FMCAD 2022 ha ospitato infine un forum studentesco che configura una piattaforma di confronto per gli studenti in qualsiasi fase della propria carriera (universitari o laureati), una occasione preziosa per presentare la ricerca in corso alla più ampia comunità di metodi formali e sollecitarne feedback.


Autore/i