Events

Service in the SC of summerschools:

• FOSAD: International School on Foundations of Security Analysis and Design, Bertinoro, Italy (active since 2000)

• SFM10:QAPL: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages, 21-26 June 2010, Bertinoro, Italy

Program Chair of conferences:

1. BASS 2024: 4th International Workshop on Behavioral Analysis for System Security, 30 July - 2 August, Wien, Austria (satellite event of ARES 2024)

2. CIFMA 2023: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, 6-10 November, Eindhoven, Netherlands (satellite event of SEFM 2023)

3. BASS 2021: 3rd International Workshop on Behavioral Analysis for System Security, 17-20 August, Wien, Austria (satellite event of ARES 2021)

4. BASS 2019: 2nd International Workshop on Behavioral Analysis for System Security, 26-29 August, Canterbury, UK (satellite event of ARES 2019)

5. QAPL 2019: 16th Workshop on Quantitative Aspects of Programming Languages and Systems, April 6-7 2019, Prague, Czech Republic (satellite event of ETAPS 2019)

6. BASS 2018: International Workshop on Behavioral Analysis for System Security, 26-28 July, Porto, Portugal (satellite event of SECRYPT 2018)

7. ICTCS 2018: 19th Italian Conference on Theoretical Computer Science, 18-20 September 2018, Urbino, Italy

8. QASA 2017: 6th International Workshop on Quantitative Aspects of Security Assurance, 15 September 2017, Oslo, Norway (affiliated workshop with ESORICS 2017)

9. QASA 2016: 5th International Workshop on Quantitative Aspects in Security Assurance, 26-27 September 2016, Heraklion, Crete (affiliated workshop with ESORICS 2016)

10. QASA 2015: 4th International Workshop on Quantitative Aspects in Security Assurance, 21-22 September 2015, Vienna, Austria (affiliated workshop with ESORICS 2015)

11. QASA 2014: 3rd International Workshop on Quantitative Aspects in Security Assurance, 11 September 2014, Wroclaw, Poland (affiliated workshop with ESORICS 2014)

12. EPEW 2010: 7th European Performance Engineering Workshop, 23-24 September 2010, Bertinoro, Italy

13. VODCA 2008: 3rd Workshop on Views On Designing Complex Architectures, August 30-31 2008, Bertinoro, Italy

14. QAPL 2008: 6th Workshop on Quantitative Aspects of Programming Languages, March 29-30 2008, Budapest, Hungary (satellite event of ETAPS 2008)

15. QAPL 2007: 5th Workshop on Quantitative Aspects of Programming Languages, March 24-25 2007, Braga, Portugal (satellite event of ETAPS 2007)

Service in the PC of conferences:

1. ICSOC24: International Conference on Service Oriented Computing, Tunis, Tunisia

2. GBC24: IEEE Global Blockchain Conference, Shanghai, China

3. ICWS24 (Senior PC member):  International Conference on Web Services, Shenzhen, China

4. ITASEC24: Italian Conference on Cybersecurity, Salerno, Italy 

5. SAC 2024: 39th ACM Symposium on Applied Computing: Track on Decentralized Applications with Blockchain, DLT and Crypto-Currencies, Avila, Spain

6. ICSOC23:  International Conference on Service Oriented Computing, Rome, Italy

7. ICWS23:  International Conference on Web Services, Chicago, USA

8. ITASEC23: Italian Conference on Cybersecurity, Bari, Italy

9. SAC 2023: 38th ACM Symposium on Applied Computing: Track on Decentralized Applications with Blockchain, DLT and Crypto-Currencies, Tallinn, Estonia 

10. ETAA22: 5th International Workshop on Emerging Technologies for Authorization and Authentication, Copenhagen, Denmark

11. IHIET22: 8th International Conference on Human Interaction & Emerging Technologies - Track on Emerging Technologies and Business Applications, Nice, France

12. ICSOC22: International Conference on Service Oriented Computing, Sevilla, Spain

13. ITASEC22: Italian Conference on Cybersecurity, Roma, Italy

14. SAC 2022: 37th ACM Symposium on Applied Computing: Track on Decentralized Applications with Blockchain, DLT and Crypto-Currencies, Brno, Czech Republic

15. ICSOC21: International Conference on Service Oriented Computing, Dubai, UAE

16. ITASEC21: Italian Conference on Cybersecurity, CINI, Italy

17. SAC 2021: 36th ACM Symposium On Applied Computing: Track on Decentralized Applications with Blockchain, DLT, cryptocurrencies, Gwanju, South Korea

18. ICSOC 2020: 18th International Conference on Service Oriented Computing, 14-17 December, Dubai, UAE

19. SEFM2020: 18th International Conference on Software Engineering and Formal Methods, Amsterdam, The Netherlands

20. ETAA 2020: 3rd International Workshop on Emerging Technologies for Authorization and Authentication, Surrey, UK

21. ITASEC20: Italian Conference on Cybersecurity, Ancona, Italy

22. SAC 2020: 35th ACM Symposium On Applied Computing: DAPP Track (Decentralized Applications, Blockchain, DLT, and Cryptocurrencies), Brno, Czech Republic

23. ICTCS 2019: 20th Italian Conference on Theoretical Computer Science, Como, Italy

24. SPCloud 2019: 5th International Workshop on Security, Privacy and Performance in Cloud Computing, Dublin, Ireland

25. SAC 2019: 34th ACM Symposium On Applied Computing: Track on Decentralized Applications with Blockchain, DLT, cryptocurrencies, Limassol, Cyprus

26. SPCloud 2018: 4th International Workshop on Security, Privacy and Performance in Cloud Computing, Orléans, France

27. SAC 2018: 33rd ACM Symposium On Applied Computing, Pau, France

28. QAPL 2017: 15th International Workshop on Quantitative Aspects of Programming Languages and Systems, Uppsala, Sweden (ETAPS 2017)

29. ACM SAC 2017 (TRECK track): 32nd ACM Symposium On Applied Computing: track on Trust, Reputation, Evidence and other Collaboration Know-how (TRECK), Marrakech, Morocco

30. QAPL 2016: 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, Eindhoven, The Netherlands (ETAPS 2016)

31. Securware 2016: 10th International Conference on Emerging Security Information, Systems and Technologies, Nice, France

32. AFIN 2016: 7th International Conference on Advances in Future Internet, Nice, France

33. ICWMC 2016: 12th International Conference on Wireless and Mobile Communications, Barcelona, Spain

34. ACM SAC 2016 (TRECK track): 31st ACM/SIGAPP Symposium On Applied Computing: track on Trust, Reputation, Evidence and other Collaboration Know-how (TRECK), Pisa, Italia

35. Securware 2015: 9th International Conference on Emerging Security Information, Systems and Technologies, Venice, Italy

36. AFIN 2015: 7th International Conference on Advances in Future Internet, Venice, Italy

37. ICWMC 2015: 11th International Conference on Wireless and Mobile Communications, St. Julians, Malta

38. QAPL 2015: 13th Workshop on Quantitative Aspects of Programming Languages and Systems, London, UK (satellite event of ETAPS 2015)

39. CECNet 2014: International Conference on Consumer Electronics, Communications and Networks, Beijing, China

40. ICWMC 2014: 10th International Conference on Wireless and Mobile Communications, Seville, Spain

41. AFIN 2014: 6th International Conference on Advances in Future Internet, Lisbon, Portugal

42. QAPL 2014: 12th Workshop on Quantitative Aspects of Programming Languages and Systems, Grenoble, France (satellite event of ETAPS 2014)

43. ICIT 2014: 2nd ScienceOne International Conference on Information Technology, Dubai, UAE

44. CECNet 2013: International Conference on Consumer Electronics, Communications and Networks, Xianning, China

45. QASA 2013: 2nd International Workshop in Quantitative Aspects in Security Assurance, 12-13 September, 2013, Egham, UK (satellite event of ESORICS 2013)

46. AFIN 2013: 5th International Conference on Advances in Future Internet, 25-31 August, 2013, Barcelona, Spain

47. SEC 2013: 28th IFIP TC-11 SEC 2013 International Information Security and Privacy Conference, 8-10 July 2013, Auckland, New Zealand

48. QAPL 2013: 11th Workshop on Quantitative Aspects of Programming Languages, Roma, Italia (satellite event of ETAPS 2013)

49. QASA 2012: International Workshop in Quantitative Aspects in Security Assurance, 14 September, 2012, Pisa, Italia (satellite event of ESORICS 2012)

50. QAPL 2012: 10th Workshop on Quantitative Aspects of Programming Languages, March 31 - April 1, 2012, Tallinn, Estonia (satellite event of ETAPS 2012)

51. QAPL 2011: 9th Workshop on Quantitative Aspects of Programming Languages, April 1-3 2011, Saarbrücken, Germany (satellite event of ETAPS 2011)

52. WOCSD 2011: Workshop on Overcoming Challenges for Security and Dependability, August 26, 2011, Oslo, Norway (satellite event of FCT 2011)

53. QAPL 2010: 8th Workshop on Quantitative Aspects of Programming Languages, March 27-28 2010, Paphos, Cyprus (satellite event of ETAPS 2010)

54. ISARCS 2010: 1st International Symposium on Architecting Critical Systems, Prague, Czech Republic

55. SEC-2010: 25th IFIP International Information Security Conference, Brisbane, Australia

56. QAPL 2009: 7th Workshop on Quantitative Aspects of Programming Languages March 28-29 2009, York, England (satellite event of ETAPS 2009)

57. FCS-ARSPA-WITS 2008: Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis, and Issues in the Theory of Security, June 21-22 2008, Pittsburgh, PA, USA

58. FMOODS 2007: 9th International Conference on Formal Methods for Open Object-Based Distributed Systems June 5-8 2007, Paphos, Cyprus (co-located with DisCoTec 2007)

59. WITS 2007: 7th International Workshop on Issues in the Theory of Security, March 24-25 2007, Braga, Portugal (satellite event of ETAPS 2007)

60. VODCA 2006: 2nd Workshop on Views On Designing Complex Architectures, September 16-17 2006, Bertinoro, Italy

61. QAPL 2006: 4th Workshop on Quantitative Aspects of Programming Languages April 1-2 2006, Vienna, Austria (satellite event of ETAPS 2006)

62. VODCA 2004: 1st Workshop on Views On Designing Complex Architectures, September 11-12 2004, Bertinoro, Italy