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 1
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 frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressivity and lucidity of the reasoning process.

This year, LFMTP is affiliated with CSL-LICS 2014 and IJCAR 2014 and held as part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic (VSL).

IMPORTANT DATES

  • Paper Submission: May 2
  • Notification: June 3
  • Final papers due: June 19
  • Workshop: July 17

More details are on the LFMTP workshop web page.

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 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.

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 bring together researchers working on the development of theory and tools for meta models for process languages – to share insights, uncover similarities and differences, possibilities for cross-fertilization and stimulate further research in this exciting area. The workshop will be welcoming old and new members of the community alike.

In addition to presentations of contributed papers the workshop will offer two 1-hour tutorials (one about psi-calculus by J. Parrow, and one about Bigraphical Reactive Systems by myself), a poster session and a round-table discussion at the end of the workshop.

Important dates:

  • Abstract regular papers: 20 March 2014
  • Submission regular papers: 24 March 2014 4 April 2014
  • Notification regular papers: 25 April 2014
  • Camera-ready copy: 5 May 2014
  • Submission posters: 28 April 2014
  • Notification posters: 5 May 2014​

For further details, see the web page of MeMo 2014.

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ì 19 marzo 2014, e vedrà il contributo dei seguenti relatori:

Alessandro Re, Horizon Security: The attacker: How to catch a bot!
Alberto Gramegna, Pirelli: The Real Life of an IT Security Manager
Filippo Morgan, Horizon Security: Botnet: Topologies and Black Market

Tutti gli interessati sono invitati a partecipare – e a girare il presente invito ad altri.

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 17 febbraio prima dell’alba del 21…

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 è derivato da UdineThesis, con il quale è compatibile (quasi) al 100%. Potete trovare maggiori dettagli nella pagina di download ad esso dedicato.

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 alle 10.30 in Aula I).

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 si può ottenere tutto e subito. Almeno, quei tre obiettivi cerchiamo di portarli a casa!

Posted in Technicisms | Comments Off