Seminari-Esame per Teoria della Concorrenza

Venerdì 15 luglio, dalle 9:00 alle 13:00 circa, in Sala Riunioni del DIMA (ex DIMI, futuro DMIF), si terranno i seguenti seminari-esame per il corso di Teoria della Concorrenza:

Alessio Mansutti: Decidibilità della hedged bisimulation per lo spi calculus
Alexandru Pruteanu: Modelli per sistemi transazionali
Federico Igne: Modelli per la programmazione ad attori
Luca Geatti: Modelli per la Systems Biology
Davide Martincigh: Semantiche quantitative per calcoli con aspetti probabilistici e stocastici

Tutti gli interessati sono invitati a partecipare.

Seminario “Security and Secure Coding”

Il giorno venerdì 29 maggio 2015 alle ore 10.30 in aula 12, Davide Varesano di eMaze terrà un intervento dal titolo Security and Secure Coding all’interno del corso di “Sistemi Distribuiti”, riguardante aspetti di sicurezza informatica a livello industriale. L’intervento è rivolto a tutto gli studenti di Reti di Calcolatori, Sistemi Operativi, Sistemi Distribuiti, ecc.

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.

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.

Seminario Filippo Bonchi su “Coinduction Up-To (and some applications to equivalence checking)”

Mercoledì 28 maggio alle 9:30 in Sala Riunioni del DiMI, il dott. Filippo Bonchi, Chargé de Recherche CNRS presso l’Ecole Normale Supérieure di Lione, terrà il seguente seminario riguardante recenti suoi risultati:

Coinduction Up-To (and some applications to equivalence checking)

Abstract: Coinduction proof principles, and their enhancements by means of up-to techniques, are widely used for reasoning about automata and processes. In this talk, I will consider bisimulation up-to congruence as a technique for proving language equivalence of non-deterministic finite automata. This technique can be effectively implemented in an algorithm that exponentially improves the state of the art.

Tutti gli interessati sono invitati a partecipare.