Author Archives: Marino

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 … Continue reading

Posted in Didattica, Sistemi Distribuiti | Leave a comment

Assenza 17-20 giugno

Per gli studenti e i tesisti: sarò assente dal 17 al 20 giugno 2014, per partecipare al meeting Open Problems in Concurrency Theory.

Posted in Didattica | Comments Off

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) … Continue reading

Posted in Research | Comments Off

MeMo program is online

The list of accepted papers at MeMo 2014 and the program are online; see the web page of the workshop. Please register at the DisCoTec web page!

Posted in Uncategorized | Comments Off

Assenza 12-16 maggio

Per gli studenti e i tesisti: sarò assente dal 12 al 16 maggio 2014, per partecipare al Types 2014 meeting.

Posted in Didattica | Comments Off

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 … Continue reading

Posted in Didattica | Comments Off

Lezioni di recupero per il corso di Sistemi Distribuiti

Come comunicato a lezione, al fine di terminare il corso entro il mese di maggio è necessario fissare un paio di lezioni di recupero. Precisamente: Lunedì 28 aprile 2014, ore 8:30-10:30, Aula 1 Lunedì 5 maggio 2014, ore 8:30-10:30, Aula … Continue reading

Posted in Didattica, Sistemi Distribuiti | Comments Off

LFMTP 2014: 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

LFMTP is a long-standing forum for presenting state-of-the-art techniques and discuss progress in the area of logical frameworks and meta-languages. This workshop brings together designers, implementers, and practitioners to discuss various aspects impinging on the structure and utility of logical … Continue reading

Posted in Research | Comments Off

Assenza 7-14 aprile

Per gli studenti e i tesisti: sarò assente dal 7 al 14 aprile 2014, per partecipare alle European Joint Conferences on Theory and Practice of Software (ETAPS).

Posted in Uncategorized | Comments Off

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 … Continue reading

Posted in Didattica, Technicisms | Comments Off