Jump to: current and incoming · PC or OC chair · steering committees · PhD schools · PC or OC member

Current and incoming

• 11th Italian Conference on Cybersecurity (ITASEC 2027) (PC member)
• 33rd International Conference on Types for Proofs and Programs (TYPES 2027) (General chair, PC chair)

Conference PC or OC chair

1. Italy OWASP Day 2019 (OC chair)
2. Logics, Types, and Semantics: a Journey in Theoretical Computer Science (2018) (co-chair)
3. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2017) (PC Co-chair)
4. 2nd International Workshop on Meta Models for Process Languages (MeMo 2015) (PC Chair)
5. 8th International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG’14) (PC Co-chair)
6. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2010) (PC Co-chair)
7. TYPES 2007 (OC and PC co-chair)
8. ACM SIGPLAN MERλIN’03 (PC co-chair)

Steering committees

1. Types conference Steering Committee member (May 2026-)
2. Logical Frameworks and Meta-Languages: Theory and Practice Steering Committee member (2017-2022)
3. Logical Frameworks and Meta-Languages: Theory and Practice Steering Committee member (2010-2015)

International PhD schools

1. 25th Italian Summer School in Logics (AILA-Summer School 2026) (lecturer)
2. 27th Estonian Winter School in Computer Science (EWSCS 2025) (lecturer)
3. 8th European Network for Cybersecurity PhD School (NeCS 2025) (lecturer)
4. EUTypes Summer School on Types for Programming and Verification (EUTYPES School 2018) (chair)

Conference PC or OC member

1. Joint 36th Annual Symposium on Logic-Based Program Synthesis and Transformation, and 28th International Symposium on Principles and Practice of Declarative Programming (LOPSTR+PPDP 2026) (PC member)
2. 17th International Workshop on Graph Computation Models (GCM 2026) (PC member)
3. 2nd International Workshop on Security and Risk in Identity Management (SeRIM 2026) (PC member)
4. 8th Distributed Ledger Technology Workshop (DLT 2026) (PC member)
5. 32nd International Conference on Types for Proofs and Programs (TYPES 2026) (PC member)
6. 10th Italian Conference on Cybersecurity (ITASEC 2026) (PC member)
7. 1st International Workshop on Security and Risk in Identity Management (SeRIM 2025) (PC member)
8. 7th Distributed Ledger Technology Workshop (DLT 2025) (PC member)
9. 3rd International Workshop on Trends in Digital Identity (TDI 2025) (PC member)
10. 9th Italian Conference on Cybersecurity (ITASEC 2025) (PC member)
11. 36th IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2024) (PC member)
12. 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024) (PC member)
13. 15th International Workshop on Graph Computation Models (GCM 2024) (PC member)
14. 6th Distributed Ledger Technology Workshop (DLT 2024) (PC member)
15. 8th Italian Conference on Cybersecurity (ITASEC 2024) (PC member)
16. 14th International Workshop on Graph Computation Models (GCM 2023) (PC member)
17. 35th IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2023) (PC member)
18. 5th Distributed Ledger Technology Workshop (DLT 2023) (PC member)
19. 7th Italian Conference on Cybersecurity (ITASEC 2023) (PC member)
20. International Conference on Security for Information Technology and Communications (SecITC 2022) (PC member)
21. 6th Italian Conference on Cybersecurity (ITASEC 2022) (PC member)
22. 5th Italian Conference on Cybersecurity (ITASEC 2021) (PC member)
23. 4th Italian Conference on Cybersecurity (ITASEC 2020) (PC member)
24. Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) (PC member)
25. 3rd Italian Conference on Cybersecurity (ITASEC 2019) (PC member)
26. 2nd Italian Conference on Cybersecurity (ITASEC 2018) (PC member)
27. 18th Italian Conference on Theoretical Computer Science (ICTCS 2017) (PC member)
28. 1st Italian Conference on Cybersecurity (ITASEC 2017) (PC member)
29. 31º Convegno Italiano di Logica Computazionale (CILC 2016) (PC member)
30. Special Track of the 31st ACM Symposium on Applied Computing about Coordination Models, Languages and Applications (ACM SAC:CM 2016) (PC member)
31. 16th Italian Conference on Theoretical Computer Science (ICTCS 2015) (PC member)
32. 1st International Workshop on Meta Models for Process Languages (MeMo 2014) (OC member)
33. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2014) (PC member)
34. 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013) (PC member)
35. 19th Conference on Types for Proofs and Programs (TYPES’13) (PC member)
36. 14th Conference on Foundations of Software Science and Computation Structures (FOSSACS 2011) (PC member)
37. 19th Conference on Types for Proofs and Programs (TYPES’10) (PC member)
38. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) (PC member)
39. Membrane Computing and Biologically Inspired Process Calculi (MECBIC 2009) (PC member).
40. Mathematically Structured Functional Programming (MSFP 2008) (PC member).
41. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2007) (PC member)
42. Effects and Type Theory, EffTT 2007 (PC member)
43. Mathematically Structured Functional Programming (MSFP 2006) (PC member)
44. IFIP WG 2.2 Anniversary Meeting (OC member)
45. ACM SIGPLAN MERλIN’05 (PC member)
46. Congresso nazionale AICA “Comunità Virtuale dalla Ricerca all’Impresa, dalla Formazione al Cittadino” 2005 (PC member)
47. COMETA 2003 final workshop (OC member)
48. COMETA 2002 kickoff meeting (OC member)
49. ACM SIGPLAN MERλIN’01 (PC member, OC member)
50. TOSCA’01 Final workshop (OC member)