La giornata di lavoro si svolgerà a Crema, presso il Dipartimento di Informatica "Giovanni Degli Antoni" dell’Università degli Studi di Milano, giovedì 22 giugno 2017.
|
Il Dipartimento di Informatica "Giovanni Degli Antoni" 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 Informatica "Giovanni Degli Antoni" dell’Università degli Studi di Milano, giovedì 22 giugno 2017. |
|
| Mattina | Aula 1 Nord |
|
Ore 10:50: | Apertura dei lavori | |
| Ore 11.00: | Valerio Tenace, Andrea Calimera (Politecnico di Torino) | |
| Boolean Function Representation Through Classification Models | ||
| Ore 11.20: | Anna Bernasconi, Valentina Ciriani, Luca Frontini, Gabriella Trucco, Tiziano Villa (Università di Pisa, Università degli Studi di Milano, Università degli Studi di Verona) | |
| Logic synthesis of switching lattices | ||
| Ore 11.40: | Anna Bernasconi, Fabrizio Luccio, Linda Pagli (Università di Pisa) | |
| Combinatorial problems in switching lattice implementation | ||
| Ore 12.00: | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci (Sapienza Università di Roma) | |
| Linearising Discrete Time Hybrid Systems | ||
| Ore 12.20: | Maurizio Bruglieri, Roberto Cordone (Politecnico di Milano, Università degli Studi di Milano) | |
| Partitioning a graph into minimum gap components | ||
| Ore 13.00: | Pranzo | |
Pomeriggio |
Aula 1Nord |
|
| Ore 14.30: | Tavola rotonda sul tema: |
|
| La sintesi logica: nuove prospettive e direzioni di ricerca | ||
| H2020-MSCA-RISE-2015: 691178 NANOxCOMP |