La logica sta alla base di sistemi software per la verifica che vengono utilizzati con successo in varie fasi dello sviluppo industriale, dai requisiti alla verifica funzionale e all'analisi di sicurezza. La logica è al lavoro in settori critici quali l’aerospaziale, il ferroviario, il controllo avanzato e l’industria 4.0. Relatore del seminario Alessandro Cimatti, Fondazione Bruno Kessler (Trento).