Università degli Studi di Milano
Dipartimento di Informatica "Giovanni Degli Antoni"

Tredicesima giornata nazionale di

Sintesi Logica


Crema, 22 giugno 2017

Dipartimento di Informatica "Giovanni Degli Antoni" - sede di Crema
Via Bramante 65, 26013 Crema (CR)


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.

Programma

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
Brochure

Organizzazione

Anna Bernasconi
Valentina Ciriani
Gabriella Trucco

Università degli Studi di Milano
Dipartimento di Informatica "Giovanni Degli Antoni" - sede di Crema
Via Bramante 65,
26013 Crema (CR)
Tel.: +39 373 898 083 / 092
Fax: +39 373 898 010
E-mail: anna.bernasconi@unipi.it
valentina.ciriani@unimi.it
gabriella.trucco@unimi.it

Per motivi logistici si prega chi intende partecipare di mandare una mail all’indirizzo valentina.ciriani@unimi.it, specificando se si desidera avere un posto prenotato per il pranzo (a spese dei partecipanti).

Come raggiungerci