events

Current and incoming events

• 3rd International Workshop on Trends in Digital Identity (TDI 2025) (PC member)
• 36th IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2024) (PC member)
• 9th Italian Conference on Cybersecurity (ITASEC 2025) (PC member)

Past events

PC or OC Chair

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

PC or OC member

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

Steering Committee Member

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