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.

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.

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.

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 è un po’ mirato alle 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.

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!

Seminario-esame di Teoria delle Categorie: Laura Titolo

Il secondo seminario-esame per il Corso di Introduzione alla Teoria delle Categorie sarà tenuto da Laura Titolo, giovedì 3 ottobre 2013, con inizio alle ore 15.30, presso la Sala Riunioni del DIMI.
La Titolo ci parlerà di “Bialgebraic semantics” (o qualcosa del genere).

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