Author Archives: Marino

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 Uncategorized | Leave a comment

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

MeMo 2014 – 1st International Workshop on Meta Models for Process Languages

The 1st International Workshop on Meta Models for Process Languages (MeMo) 2014 is a new workshop, affiliated to DisCoTec series of federated conference, which will be held in Berlin on June 6, 2014. The goal of the workshop is to … Continue reading

Posted in Research | Comments Off

Seminario “Business Security: Botnet and Data Protection”

All’interno (e di seguito) del corso di “Reti di Calcolatori”, abbiamo organizzato un evento su Sicurezza Informatica, e precisamente su Business Security: Botnet and Data Protection. L’evento si terrà presso l’Aula Multimediale del DIMI, dalle 14:30 alle 16:30 di mercoledì … Continue reading

Posted in Didattica, Reti di Calcolatori, Sistemi Distribuiti | Leave a comment

Assenza 18-20 febbraio

Per gli studenti e i tesisti: sarò assente dal 18 al 20 febbraio 2014, per partecipare al 2nd General Meeting del PRIN CINA. Spero di riuscire comunque a pubblicare su Esse3 i risultati dello scritto di Reti di Calcolatori del … Continue reading

Posted in Didattica, Research | Leave a comment

Nuovo pacchetto THUD – THesis at uniUD

Con l’aiuto di Filippo Mineo, è stato realizzato THUD, una nuova classe LaTeX per scrivere tesi (triennali, magistrali e finanche di dottorato) presso l’Università di Udine (anche se al momento è assai biased verso le lauree informatiche :)). Questo pacchetto … Continue reading

Posted in Didattica | Comments Off

Lezione di esercitazione del corso di Reti di Calcolatori

Annuncio riservato agli studenti del corso di Reti di calcolatori: la lezione extra di esercitazione non si terrà martedì 21, perché non è stato possibile trovare un’aula grande libera. Pertanto, l’esercitazione si terrà lunedì 20 gennaio secondo l’orario consueto (ossia … Continue reading

Posted in Didattica, Technicisms | Leave a comment

Talk su Agenda Digitale

Oggi ho dato una breve presentazione sull’Agenda Digitale, per un seminario organizzato dall’IRES FVG sulla digitalizzazione delle PMI. Per l’occasione ho preparato il mio secondo Prezi. È un po’ preoccupante vedere come gli obiettivi vengano vieppiù ridotti…ma capisco che non … Continue reading

Posted in Technicisms | Comments Off

Assenza 28 ottobre-15 novembre

Per gli studenti e i tesisti: sarò assente dal 28 ottobre al 15 novembre 2013, per missione di ricerca presso Dept. of Computer Science, Aarhus University. Le lezioni di Reti di Calcolatori saranno tenute dal prof. Fontana, senza variazioni di … Continue reading

Posted in Didattica | Comments Off