Recupero lezione di Reti di Calcolatori

Al fine di terminare le lezioni prima della pausa natalizia, è necessario recuperare una lezione a breve. Pertanto, vista la disponibilità di aule e l’assenza di altre lezioni del terzo anno, il giorno giovedì 30 ottobre ci saranno 2 lezioni di Reti di calcolatori:
– ore 8.30-10.15
– ore 13.00-14.30
sempre in Aula I. La seconda lezione inizia alle 13 e non alle 12.30 per lasciare lo spazio per un rapido pasto (per chi non ha ancora perso il vizio di mangiare).

Assenza 21 luglio – 1 agosto

Per gli studenti e i tesisti: sarò assente per ferie dal 21 luglio al 1º agosto 2014. In tale periodo sarò in sede solo il 24 o il 25 luglio, per l’appello estivo di laurea. Inoltre non ci sarò il 16-17 luglio per missione a Roma. Pertanto:

  • i tesisti che vogliono tentare gli appelli di laurea della sessione autunnale (ottobre-dicembre) vengano a farsi firmare le carte entro il 18 luglio;
  • gli studenti di Sistemi Distribuiti che vogliano iniziare il loro esame-progetto, se lo facciano assegnare entro il 15 luglio.

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.

Seminario-esame di Teoria delle Categorie: Marco Peressotti

Marco Peressotti terrà il seminario-esame per il Corso di Introduzione alla Teoria delle Categorie il giorno giovedì 8 maggio 2014, con inizio alle ore 14.30, presso la Sala Riunioni del DIMI.
Peressotti ci parlerà di Coalgebraic trace semantics.

Trace semantics has been defined for various kind of state-based systems, notably with different forms of computational behavior/branching such as non-determinism or probabilism.
In the last years a coalgebraic understanding of trace semantics has emerged shading light on the shared mathematical structure behind all these “trace semantics”, namely coinduction in Kleisli categories.

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

Aggiornamento di THUD – THesis at uniUD

In vista della sessione di lauree di marzo, il pacchetto THUD è stato aggiornato ed esteso con nuove funzionalità: adesso offre anche una classe derivata da Beamer, e uno schema base per la stesura delle slide. Contestualmente è stata leggermente modificata (e migliorata) anche la classe thud.cls, che è quella usata per la stesura della tesi.
Potete trovare maggiori dettagli nella pagina di download ad esso dedicato.