News & Events

Assenza 9–13 settembre 2019

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

0 comments

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 […]

0 comments

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.

0 comments

New paper “An abstract distributed middleware for transactions over heterogeneous stores”

The paper An abstract distributed middleware for transactions over heterogeneous stores by Luca Geatti, Federico Igne and myself, has been accepted to the 20th Italian Conference on Theoretical Computer Science. Abstract: We present an abstract middleware, called Acidify, for the coordination of transactions between distributed processes accessing shared heterogeneous (possibly remote) storage services. Processes can […]

0 comments

Tesi, Tirocini e Posizioni in Security presso Cybaze

La Cybaze (che ha recentemente acquisito Emaze Networks) è disposta ad ospitare, presso la sede di Trieste, tesisti triennali interessati allo sbocco professionale come IT Security Analyst Consultant per Security Operation Center (SOC). Gli interessati dovranno sviluppare dei tool SW che sono funzionali all’attività degli analisti. Inoltre, sono alla ricerca di giovani da avviare alla […]

0 comments

Conferenza “Il potere digitale: come internet sta cambiando la sfera pubblica, l’economia e la democrazia”

Sabato 18 maggio 2019 sono invitato dal Circolo della Stampa di Pordenone a partecipare alla tavola rotonda “Il potere digitale: come internet sta cambiando la sfera pubblica, l’economia e la democrazia”, assieme a Gabriele Giacomini e ai giornalisti Pier Paolo Simonato e Sergio Maistrello. Grazie in anticipo a tutti quelli che parteciperanno all’incontro.

0 comments

One year research position at the University of Udine (deadline: April 10, 2019)

One-year research position at the University of Udine about Modelling and performance evaluation of train on-board networks Funded by EU FSE program HEaD Deadline for application: Aprile 10, 2019, 11:30. Subject Nowadays trains feature advanced on-board information networks which are used both for essential services and for additional (infotainment) services, and must guarantee an adequate […]

0 comments

Seminario “Gestire la complessità dei moderni sistemi software industriali”

Come di consueto, alla fine del corso di Reti di Calcolatori proponiamo un seminario con interventi dal mondo dell’industria. Titolo: Gestire la complessità dei moderni sistemi software industriali Luogo e ora: Aula I, mercoledì 20 marzo dalle 16:30 alle 18:30 circa Speaker: Andrea Baruzzo (UniUD)Mauro Rocchi e Giacomo Alzetta (Cybaze) Abstract: Le tecnologie, gli strumenti e […]

0 comments

Assenza 18-22/02/2019

Per studenti e laureandi: sarò assente dal 18 al 22 febbraio 2019 per partecipare al convegno Microservices 2019

0 comments

Workshop “Code is Law” vs “Law is Code”: Il caso degli Smart Contracts

Ho l’onore di partecipare al workshop “Code is Law” vs “Law is Code”: Il caso degli Smart Contracts che si terrà lunedì 4 febbraio 2019 ore 16, presso l’Aula E del Polo Economico-Giuridico (Via Tomadini 30/A, Udine). Maggiori informazioni alla pagina dell’evento.

0 comments