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 |