La giornata di lavoro si svolgerà a Crema, presso il Dipartimento di Tecnologie dell’Informazione dell’Università degli Studi di Milano, martedì 21 giugno 2011.
|
Il Dipartimento di Tecnologie dell’Informazione dell'Università degli Studi di Milano ospita una giornata di lavoro sul tema della sintesi logica.
La giornata si svolge in due fasi. Nel corso della mattinata verranno presentati alcuni recenti sviluppi della ricerca in tale settore. Nel pomeriggio si terrà una tavola rotonda per discutere i possibili sviluppi della sintesi logica in Italia.
Scopo della giornata è anche incoraggiare la collaborazione fra ricercatori di diverse Facoltà italiane.
La giornata di lavoro si svolgerà a Crema, presso il Dipartimento di Tecnologie dell’Informazione dell’Università degli Studi di Milano, martedì 21 giugno 2011. |
|
| Mattina | Aula 1 Sud |
|
Ore 10:50: | Apertura dei lavori | |
| Ore 11.00: | S. Lovergine, C. Pilato, F. Ferrandi (Politecnico di Milano) | |
| A formal method to represent and optimize instructions activating conditions as logic functions | ||
| Ore 11.20: | G. Cabodi, S. Nocco, S. Quer (Politecnico di Torino) | |
| Thread-based multi-engine model checking | ||
| Ore 11.40: | F. Cavaliere, F. Mari, I. Melatti, G. Minei, I. Salvo, E. Tronci, G. Verzino, and Y. Yushtein (Telespazio S.p.A., Università degli Studi di Roma, ESA/ESTEC) | |
| Model checking satellite operational procedures | ||
| Ore 12.00: | A. Bernasconi, V. Ciriani, V. Liberali, G. Trucco, T. Villa (Università di Pisa, Università degli Studi di Milano, Università degli Studi di Verona) | |
| An approximation algorithm for cofactoring-based synthesis | ||
| Ore 12.20: | P. Arcaini, G. Fraser, A. Gargantini, E. Riccobene (Università degli Studi di Milano , Universität des Saarlandes, Università di Bergamo) | |
| Generating minimal fault detecting test suites for general Boolean expressions | ||
| Ore 13.00: | Pranzo | |
Pomeriggio |
Aula 1Sud |
|
| Ore 14.30: | G. Castagnetti, M. Piccolo, T. Villa (Università degli Studi di Verona) | |
| BALM-II, extending BALM to solve parallel language equations | ||
Ore 14.50: |
Tavola rotonda sul tema: |
|
| Progettazione di sistemi digitali basati su strutture logiche regolari |