Prof. Alessandro Aldini
Ph.D. in Computer Science























Dip. di Scienze Pure e Applicate (DiSPeA)
Sez. di Scienze e Tecnologie dell'Informazione
Palazzo Raffaello
Piazza della Repubblica 13, 61029 Urbino

email: alessandro.aldini [at] uniurb.it
skype: a.aldini
tel: +39 0722 304417

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. QAPL 2019: 16th Workshop on Quantitative Aspects of Programming Languages and Systems, April 6-7 2019, Prague, Czech Republic (satellite event of ETAPS 2019)
  2. BASS 2018: International Workshop on Behavioral Analysis for System Security, 26-28 July, Porto, Portugal (satellite event of SECRYPT 2018)
  3. ICTCS 2018: 19th Italian Conference on Theoretical Computer Science, 18-20 September 2018, Urbino, Italy
  4. QASA 2017: 6th International Workshop on Quantitative Aspects of Security Assurance, 15 September 2017, Oslo, Norway (affiliated workshop with ESORICS 2017)
  5. QASA 2016: 5th International Workshop on Quantitative Aspects in Security Assurance, 26-27 September 2016, Heraklion, Creete (affiliated workshop with ESORICS 2016)
  6. QASA 2015: 4th International Workshop on Quantitative Aspects in Security Assurance, 21-22 September 2015, Vienna, Austria (affiliated workshop with ESORICS 2015)
  7. QASA 2014: 3rd International Workshop on Quantitative Aspects in Security Assurance, 11 September 2014, Wroclaw, Poland (affiliated workshop with ESORICS 2014)
  8. EPEW 2010: 7th European Performance Engineering Workshop, 23-24 September 2010, Bertinoro, Italy
  9. VODCA 2008: 3rd Workshop on Views On Designing Complex Architectures, August 30-31 2008, Bertinoro, Italy
  10. QAPL 2008: 6th Workshop on Quantitative Aspects of Programming Languages, March 29-30 2008, Budapest, Hungary (satellite event of ETAPS 2008)
  11. 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. SAC 2019: 34th ACM Symposium On Applied Computing, Limassol, Cyprus
  2. SPCloud 2018: 7th International Workshop on Security, Privacy and Performance in Cloud Computing, Orléans, France
  3. SAC 2018: 33rd ACM Symposium On Applied Computing, Pau, France
  4. QAPL 2017: 15th International Workshop on Quantitative Aspects of Programming Languages and Systems, Uppsala, Sweden (ETAPS 2017)
  5. ACM SAC 2017 (TRECK track): 32nd ACM Symposium On Applied Computing: track on Trust, Reputation, Evidence and other Collaboration Know-how (TRECK), Marrakech, Morocco
  6. QAPL 2016: 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, Eindhoven, The Netherlands (ETAPS 2016)
  7. Securware 2016: 10th International Conference on Emerging Security Information, Systems and Technologies, Nice, France
  8. AFIN 2016: 7th International Conference on Advances in Future Internet, Nice, France
  9. ICWMC 2016: 12th International Conference on Wireless and Mobile Communications, Barcelona, Spain
  10. 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
  11. Securware 2015: 9th International Conference on Emerging Security Information, Systems and Technologies, Venice, Italy
  12. AFIN 2015: 7th International Conference on Advances in Future Internet, Venice, Italy
  13. ICWMC 2015: 11th International Conference on Wireless and Mobile Communications, St. Julians, Malta
  14. QAPL 2015: 13th Workshop on Quantitative Aspects of Programming Languages and Systems, London, UK (satellite event of ETAPS 2015)
  15. CECNet 2014: International Conference on Consumer Electronics, Communications and Networks, Beijing, China
  16. ICWMC 2014: 10th International Conference on Wireless and Mobile Communications, Seville, Spain
  17. AFIN 2014: 6th International Conference on Advances in Future Internet, Lisbon, Portugal
  18. QAPL 2014: 12th Workshop on Quantitative Aspects of Programming Languages and Systems, Grenoble, France (satellite event of ETAPS 2014)
  19. ICIT 2014: 2nd ScienceOne International Conference on Information Technology, Dubai, UAE
  20. CECNet 2013: International Conference on Consumer Electronics, Communications and Networks, Xianning, China
  21. QASA 2013: 2nd International Workshop in Quantitative Aspects in Security Assurance, 12-13 September, 2013, Egham, UK (satellite event of ESORICS 2013)
  22. AFIN 2013: 5th International Conference on Advances in Future Internet, 25-31 August, 2013, Barcelona, Spain
  23. SEC 2013: 28th IFIP TC-11 SEC 2013 International Information Security and Privacy Conference, 8-10 July 2013, Auckland, New Zealand
  24. QAPL 2013: 11th Workshop on Quantitative Aspects of Programming Languages, Roma, Italia (satellite event of ETAPS 2013)
  25. QASA 2012: International Workshop in Quantitative Aspects in Security Assurance, 14 September, 2012, Pisa, Italia (satellite event of ESORICS 2012)
  26. QAPL 2012: 10th Workshop on Quantitative Aspects of Programming Languages, March 31 - April 1, 2012, Tallinn, Estonia (satellite event of ETAPS 2012)
  27. QAPL 2011: 9th Workshop on Quantitative Aspects of Programming Languages, April 1-3 2011, Saarbrücken, Germany (satellite event of ETAPS 2011)
  28. WOCSD 2011: Workshop on Overcoming Challenges for Security and Dependability, August 26, 2011, Oslo, Norway (satellite event of FCT 2011)
  29. QAPL 2010: 8th Workshop on Quantitative Aspects of Programming Languages, March 27-28 2010, Paphos, Cyprus (satellite event of ETAPS 2010)
  30. ISARCS 2010: 1st International Symposium on Architecting Critical Systems, Prague, Czech Republic
  31. SEC-2010: 25th IFIP International Information Security Conference, Brisbane, Australia
  32. QAPL 2009: 7th Workshop on Quantitative Aspects of Programming Languages March 28-29 2009, York, England (satellite event of ETAPS 2009)
  33. 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
  34. 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)
  35. WITS 2007: 7th International Workshop on Issues in the Theory of Security, March 24-25 2007, Braga, Portugal (satellite event of ETAPS 2007)
  36. VODCA 2006: 2nd Workshop on Views On Designing Complex Architectures, September 16-17 2006, Bertinoro, Italy
  37. QAPL 2006: 4th Workshop on Quantitative Aspects of Programming Languages April 1-2 2006, Vienna, Austria (satellite event of ETAPS 2006)
  38. VODCA 2004: 1st Workshop on Views On Designing Complex Architectures, September 11-12 2004, Bertinoro, Italy