services
Events, committees and other professional activities I am involved in.
Current and incoming events
- IEEE 35th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2023) (PC member)
- 5th Distributed Ledger Technology Workshop (DLT 2023) (PC member)
- 14th International Workshop on Graph Computation Models (GCM 2023) (PC member)
Current academic duties
- Head of the Udine node of the Cybersecurity National Laboratory
- Representative of the University of Udine in the Board of Directors of CINI
- Head of the CyberChallenge.it at the University of Udine
- Delegate for Orientation and Tutoring at DMIF
- Representative of the University of Udine in the Scientific-Technical Board of IFTS
Past events
- 7th Italian Conference on Cybersecurity (ITASEC 2023) (PC member)
- International Conference on Security for Information Technology and Communications (SecITC 2022) (PC member)
- 6th Italian Conference on Cybersecurity (ITASEC 2022) (PC member)
- 5th Italian Conference on Cybersecurity (ITASEC 2021) (PC member)
- 4th Italian Conference on Cybersecurity (ITASEC 2020) (PC member)
- Italy OWASP Day 2019 (OC chair)
- EXPRESS/SOS 2019 (PC member)
- 3rd Italian Conference on Cybersecurity (ITASEC 2019) (PC member)
- 2018 EUTypes Summer School on Types for Programming and Verification (EUTYPES School 2018) (chair)
- Logics, Types, and Semantics: a Journey in Theoretical Computer Science (co-chair)
- 2nd Italian Conference on Cybersecurity (ITASEC 2018) (PC member)
- Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2017) (PC Co-chair)
- 18th Italian Conference on Theoretical Computer Science (ICTCS 2017) (PC member)
- 1st Italian Conference on Cybersecurity (ITASEC 2017) (PC member)
- 31º Convegno Italiano di Logica Computazionale (CILC 2016) (PC member)
- Special Track of the 31st ACM Symposium on Applied Computing about Coordination Models, Languages and Applications (ACM SAC:CM 2016) (PC member)
- 16th Italian Conference on Theoretical Computer Science (ICTCS 2015) (PC member)
- 2nd International Workshop on Meta Models for Process Languages (MeMo 2015) (PC Chair)
- 8th International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG’14) (PC Co-chair)
- 1st International Workshop on Meta Models for Process Languages (MeMo 2014) (OC member)
- Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2014) (PC member)
- CALCO’13 (PC member)
- TYPES’13 (PC member)
- FOSSACS’11 (PC member)
- Logical Frameworks and Meta-Languages: Theory and Practice (PC Co-chair)
- Logical Frameworks and Meta-Languages: Theory and Practice 2009 (PC member)
- Membrane Computing and Biologically Inspired Process Calculi 2009 (PC member).
- Mathematically Structured Functional Programming 2008 (PC member).
- Logical Frameworks and Meta-Languages: Theory and Practice 2007 (PC member)
- TYPES 2007 (OC and PC member)
- Effects and Type Theory, EffTT 2007 .
- Mathematically Structured Functional Programming 2006 (PC member)
- IFIP WG 2.2 Anniversary Meeting (OC member).
- ACM SIGPLAN MERλIN’05 (PC member)
- AICA 2005 (PC member).
- ACM SIGPLAN MERλIN’03 (PC member, OC member)
- COMETA 2003 final workshop (OC member).
- COMETA 2002 kickoff meeting (OC member)
- GioCoNOpLe (OC member).
- TOSCA’01 Final workshop (OC member)
Past academic duties
- Head of the Web Commission of the DMIF (2019-2022)
- Member of the Steering Committee of Logical Frameworks and Meta-Languages: Theory and Practice (2010-2015 and 2017-2022)
- Paritetic Commission of the DMIF (2013–2017)
- Deputy head of the Board of the Computer Science Curricula (2013–2016)
- Deputy head of the Department of Mathematics and Computer Science (2005–2008)