events

Current and incoming events

• 1st Workshop on Formal Methods cross Spatial Logics (FMxSL) (PC member)
• 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024) (PC member)
• 8th Italian Conference on Cybersecurity (ITASEC 2024) (PC member)
• 6th Distributed Ledger Technology Workshop (DLT 2024) (PC member)
• 15th International Workshop on Graph Computation Models (GCM 2024) (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)

PC or OC member

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