Logiche temporali

Il prof. Mark Reynolds (Professor and Head of the School of Computer Science and Software Engineering at The University of Western Australia) è ospite del nostro dipartimento e terrà un corso monografico di 18 ore sulle logiche temporali, all’interno del corso di “Verifica automatica di sistemi complessi: teoria e applicazioni” della Laurea Magistrale (Internazionale) in Informatica.

Il prof. Reynolds è autore di contributi fondamentali nell’area delle logiche temporali e co-autore di uno dei testi di riferimento del settore.

Tutte le lezioni inizieranno alle ore 10:30 e avranno luogo nei seguenti giorni: 29/04; 30/04; 06/05; 07/05; 08/05; 13/05; 14/05; 15/05; 20/05, il martedì in Aula 12, il mercoledì in Aula H e il giovedì in Aula 47.