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
    Service in the PC of conferences:

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