News & Events

Assenza 3-7 febbraio

Sarò fuori sede dal 3 al 7 febbraio 2020 per partecipare a DLT 2020 e ITASEC 2020.

Nuova versione di THUD

Il famoso stile LaTeX THUD per le tesi del DMIF è stato adeguato all’immagine coordinata dell’Università di Udine. Oltre alla grafica del frontespizio, dove sono apparsi i colori istituzionali di UniUD, sono stati modificate anche le intestazioni dei capitoli e le intestazioni delle pagine. Purtroppo questo ha significato perdere il “mezzo pollo” in trasparenza sullo … Continue reading Nuova versione di THUD

Cyberchallenge 2020 – spostamento scadenza iscrizioni

La scadenza per le iscrizioni alla CyberChallenge 2020 è stata spostata al 6 febbraio 2020. Iscrivetevi numerosi!

Conferenza “Bitcoin e Blockchain: dalle criptovalute agli smart contract”

Venerdì 20 dicembre 2019 ho tenuto una conferenza intitolata “Bitcoin e Blockchain: dalle criptovalute agli smart contract“, presso la Fondazione Friuli, su invito di UCID Udine. Le slide sono disponibili a questo link. Grazie a tutti i presenti per la partecipazione e l’interessante dibattito che è seguito.

OWASP Day 2019 @ Udine

OWASP Italy Day is a one-day conference focused on web application and software security, application security testing tools and technologies and cloud security. This conference provides a unique opportunity to learn about application security topics and to network with application security professionals/managers, software engineers, software quality engineers/testers and computer science students. This year special topic … Continue reading OWASP Day 2019 @ Udine

Cyberchallenge.it 2020

CyberChallenge.it 2020 è il primo programma italiano di addestramento alla cybersecurity per giovani di talento delle scuole superiori e delle università. Il programma mira a identificare, attrarre, reclutare e collocare la prossima generazione di professionisti della  sicurezza informatica. Il programma si rivolge ai  giovani talenti tra i 16 e i 23 anni, e  affianca un’attività … Continue reading Cyberchallenge.it 2020

Qualche statistica su Reti di Calcolatori 2018-19

Come di tradizione, adesso che si è chiuso anche l’ultimo appello di Reti di Calcolatori per l’A.A. 2018-19 possiamo fare qualche veloce analisi. Nei cinque appelli del 2019 si sono iscritti ad almeno un appello 149 studenti (-13 rispetto al 2018; -8%), per complessive 271 iscrizioni (-39; -12,6%).Si sono registrate 196 presenze agli scritti (-49; … Continue reading Qualche statistica su Reti di Calcolatori 2018-19

Assenza 9–13 settembre 2019

Sarò assente per missione fuori sede dal 9 al 13 settembre 2019.

New paper “A GSOS for Attribute-based Communication”

The short paper A GSOS for Attribute-based Communication by Matteo Paier and myself, has been accepted to EXPRESS/SOS, the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. Abstract: We propose a new GSOS semantics fo AbC, a calculus for attribute-based communication. This semantics is simpler than the previous … Continue reading New paper “A GSOS for Attribute-based Communication”

LMCS Special Festschrift Issue in Honor of Furio Honsell

Finally, the LMCS Special Issue collecting a selection of the papers presented at the Symposium in honour of Furio Honsell, on the occasion of his 60th birthday, is out on the Logical Methods in Computer Science website.