services

Events, committees and other professional activities I am involved in.

Current and incoming events

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

  1. 7th Italian Conference on Cybersecurity (ITASEC 2023) (PC member)
  2. International Conference on Security for Information Technology and Communications (SecITC 2022) (PC member)
  3. 6th Italian Conference on Cybersecurity (ITASEC 2022) (PC member)
  4. 5th Italian Conference on Cybersecurity (ITASEC 2021) (PC member)
  5. 4th Italian Conference on Cybersecurity (ITASEC 2020) (PC member)
  6. Italy OWASP Day 2019 (OC chair)
  7. EXPRESS/SOS 2019 (PC member)
  8. 3rd Italian Conference on Cybersecurity (ITASEC 2019) (PC member)
  9. 2018 EUTypes Summer School on Types for Programming and Verification (EUTYPES School 2018) (chair)
  10. Logics, Types, and Semantics: a Journey in Theoretical Computer Science (co-chair)
  11. 2nd Italian Conference on Cybersecurity (ITASEC 2018) (PC member)
  12. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2017) (PC Co-chair)
  13. 18th Italian Conference on Theoretical Computer Science (ICTCS 2017) (PC member)
  14. 1st Italian Conference on Cybersecurity (ITASEC 2017) (PC member)
  15. 31º Convegno Italiano di Logica Computazionale (CILC 2016) (PC member)
  16. Special Track of the 31st ACM Symposium on Applied Computing about Coordination Models, Languages and Applications (ACM SAC:CM 2016) (PC member)
  17. 16th Italian Conference on Theoretical Computer Science (ICTCS 2015) (PC member)
  18. 2nd International Workshop on Meta Models for Process Languages (MeMo 2015) (PC Chair)
  19. 8th International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG’14) (PC Co-chair)
  20. 1st International Workshop on Meta Models for Process Languages (MeMo 2014) (OC member)
  21. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2014) (PC member)
  22. CALCO’13 (PC member)
  23. TYPES’13 (PC member)
  24. FOSSACS’11 (PC member)
  25. Logical Frameworks and Meta-Languages: Theory and Practice (PC Co-chair)
  26. Logical Frameworks and Meta-Languages: Theory and Practice 2009 (PC member)
  27. Membrane Computing and Biologically Inspired Process Calculi 2009 (PC member).
  28. Mathematically Structured Functional Programming 2008 (PC member).
  29. Logical Frameworks and Meta-Languages: Theory and Practice 2007 (PC member)
  30. TYPES 2007 (OC and PC member)
  31. Effects and Type Theory, EffTT 2007 .
  32. Mathematically Structured Functional Programming 2006 (PC member)
  33. IFIP WG 2.2 Anniversary Meeting (OC member).
  34. ACM SIGPLAN MERλIN’05 (PC member)
  35. AICA 2005 (PC member).
  36. ACM SIGPLAN MERλIN’03 (PC member, OC member)
  37. COMETA 2003 final workshop (OC member).
  38. COMETA 2002 kickoff meeting (OC member)
  39. GioCoNOpLe (OC member).
  40. 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)