Author Archives: Marino

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

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