New paper: Structural Operational Semantics for Continuous State Stochastic Transition Systems

The paper Structural Operational Semantics for Continuous State Stochastic Transition Systems by Giorgio Bacci and myself has been published on Journal of Computer and System Sciences 81 (2015).

Posted in Research | Comments Off

Esame Francescon per Teoria della Concorrenza

Luca Francescon terrà il seminario-esame del corso di Teoria della Concorrenza il giorno martedì 17 marzo ore 14:00 in Aula Multimediale del DiMI.
Francescon ci parlerà di Timing attack: automated analysis and prevention, ossia sui modelli per attacchi di sicurezza basati su aspetti temporali, e la loro applicazione.

Tutti gli studenti del corso di Teoria della Concorrenza sono invitati a partecipare, e a girare l’invito ad altre persone interessate.

Posted in Didattica, Teoria della Concorrenza | Comments Off

Lezione SD di 13 marzo

La lezione del corso di Sistemi Distribuiti prevista per venerdì 13 marzo è sospesa. Riprenderemo regolarmente le lezioni mercoledì 18 marzo.

Posted in Didattica, Sistemi Distribuiti | Comments Off

Seminario “Business Security: Wireless and Industrial Security”

Come di tradizione, a conclusione del corso di “Reti di Calcolatori” organizziamo un evento su Sicurezza Informatica.
L’argomento di quest’anno è Business Security: Wireless and Industrial Security.
L’evento si terrà presso le Aule Beta1 e Beta2, dalle 14:30 alle 16:30 di mercoledì 21 gennaio 2015, e vedrà il contributo dei seguenti relatori:

Alan Ferrario, Horizon Security: WiFi: History and security
Alessandro Marzi, ENI: Industrial Plant: Security at a glance
Filippo Morgan, Horizon Security: Live Demo: Your WiFi is my WiFi! Le slide sono disponibili a questo link.

Tutti gli interessati sono invitati a partecipare – e a girare il presente invito ad altri.

Posted in Didattica, Reti di Calcolatori | Comments Off

Esercitazione di Reti di Calcolatori

Come annunciato alla fine del corso, in vista dell’esame di Reti di Calcolatori si terrà una lezione extra il 12 gennaio 2015 (alle 10.30 in aula I, come al solito). In tale lezione verranno svolte esercitazioni su esercizi degli esami scorsi, specialmente sulla terza parte (sicurezza delle reti).

Posted in Didattica, Reti di Calcolatori | Comments Off

Esame Foschiano per Teoria della Concorrenza

Andrea Foschiano terrà il seminario-esame del corso di Teoria della Concorrenza il giorno venerdì 19 dicembre ore 9:00 in Sala Riunioni del DiMI.
Foschiano ci parlerà di Making random choices invisible to the scheduler, ossia come la schedulazione può estrarre informazioni dai processi, e su come evitarlo.

Tutti gli studenti del corso di Teoria della Concorrenza sono invitati a partecipare (non mi risulta che ci siano lezioni in sovrapposizione), e a girare l’invito ad altre persone interessate.

Posted in Didattica, Teoria della Concorrenza | Comments Off

Orario ultime lezioni di Reti di Calcolatori

Come annunciato oggi, per terminare le lezioni del corso di Reti di Calcolatori prima di Natale, recupereremo alcune ore il giorno lunedì 22 dicembre. Pertanto, l’orario delle prossime lezioni sarà il seguente:
– martedì 16 dicembre, 14.30-16.30 in aula 5 (come sempre)
– mercoledì 17 dicembre, 16.30-18.30 in aula Beta 2
– giovedì 18 dicembre, 8.30-10.30 in aula I (come sempre)
– lunedì 22 dicembre, 9.00-11.00 in aula I
– lunedì 22 dicembre, 11.30-13.30 in aula I (quasi come sempre)

Posted in Didattica, Reti di Calcolatori | Comments Off

Seminario-esame di Teoria delle Categorie: Dario De Nart

Dario De Nart terrà il seminario-esame per il Corso di Introduzione alla Teoria delle Categorie il giorno mercoledì 17 dicembre 2014, alle 10.30, presso l’Aula Multimediale del DIMI.
De Nart ci parlerà di Una rappresentazione categoriale degli allineamenti di ontologie e delle loro operazioni.

Negli anni numerosissime ontologie sono state proposte, fornendo un gran numero di possibili vocabolari per i Linked Data, attivamente utilizzati dai publisher. Ciascuna di tali ontologie è, però, un modello logico della conoscenza intrinsecamente diverso da tutti gli altri e pertanto i dati aderenti ad un modello non possono essere facilmente integrati con quelli aderenti ad un altro. Per rendere interoperabili i dati aderenti a ontologie diverse occorre prima specificare un allineamento tra le ontologie coinvolte. In questo seminario si vedrà come la Teoria delle Categorie può essere impiegata per costruire una formalizzazione degli allineamenti e delle operazioni ad essi associate, indipendente dal linguaggio di rappresentazione utilizzato.

Tutti gli interessati sono invitati (e gli studenti, obbligati).

Posted in Didattica | Comments Off

Assenza 26-28 novembre

Causa missione fuori sede, sarò assente dal 26 novembre pomeriggio al 27, e forse anche 28 novembre. La lezione di Reti di Calcolatori del 27 novembre quindi non si terrà, e verrà recuperata in data da destinarsi.

Posted in Didattica, Reti di Calcolatori | Comments Off

Slot per recuperi lezioni di Reti di Calcolatori

Come detto in aula oggi, per riuscire a finire il corso entro dicembre dobbiamo recuperare alcune lezioni. La segreteria ci ha allocato il mercoledì, ore 16.30-18.30 in Aula Beta2, come slot per eventuali recuperi. Il primo di questo sarà domani, 19 novembre; altri eventuali verranno comunicati a tempo debito, su questa pagina. State in campana!

Posted in Didattica, Reti di Calcolatori | Comments Off