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