17 ott 2009
Il giorno martedi’ 27 ottobre 2009, alle ore 15, presso la Sala Riunioni,
la dottoressa Raffaella Gentilini, nuova ricercatrice di INF/01 terra’ un seminario dal titolo
“GIOCHI INFINITI PER LA VERIFICA E LA SINTESI DI SISTEMI: UNA PROSPETTIVA ALGORITMICA”
Tutti gli interessati sono invitati ad intervenire
Cordiali saluti
Giulianella Coletti
SOMMARIO: Il recente connubio tra l’area della verifica automatica ed il [...]
17 ott 2009
Nell’ambito dei seminari promossi dal cill di Informatica, vi segnalo il primo appuntamento di questo anno accademico:
giovedì 22 Ottobre ore 9:30 Aula A2
“Ingegneria del Software per Sistemi Pervasivi e Adattivi”
Mauro Caporuscio, PhD Dipartimento di Elettronica e Informazione, Politecnico di Milano
Data:
22/10/2009 – 09:30
Nessun tag per questo post.
Post correlati:
Non ci sono post correlati.
15 ott 2009
E’ in corso lo spostamento degli archivi su un nuovo database per una gestione più ottimizzata. Vi chiediamo di pazientare qualora ci fossero degli inconvenienti, in attesa della nuova versione del sistema di archiviazione quello vecchio continuerà a funzionare.
La nuova raccolta archivi è disponibile momentaneamente in questa pagina http://www.dipmat.it/downloads ed è aggiornata giorno per giorno. [...]
