Istituto di Scienze e Tecnologie dell'Informazione

EVENTS

• 2010:
  • 7^th European Performance Engineering Workshop (EPEW 2010)
  • 10^th International School on Foundations of Security Analysis and Design (FOSAD 2010)
  • 10^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages (SFM-10:QAPL)

• 2009:
  • 9^th International School on Foundations of Security Analysis and Design (FOSAD 2009)
  • 9^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM-09:WS)

• 2008:
  • 8^th International School on Foundations of Security Analysis and Design (FOSAD 2008)
  • 8^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology (SFM-08:Bio)

• 2007:
  • 7^th International School on Foundations of Security Analysis and Design (FOSAD 2007)
  • 7^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM-07:PE)

• 2006:
  • 6^th International School on Foundations of Security Analysis and Design (FOSAD 2006)
  • 6^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Hardware Verification (SFM-06:HV)

• 2005:
  • 5^th International School on Foundations of Security Analysis and Design (FOSAD 2005)
  • 5^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing (SFM-05:Moby)

• 2004:
  • 4^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time (SFM-04:RT)
  • 4^th International School on Foundations of Security Analysis and Design (FOSAD 2004)

• 2003:
  • 3^rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture (SFM-03:SA)
  • JLAP Special Issue on Process Algebra and System Architecture

• 2002:
  • 2^nd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking (SFM-02:MC)

• 2001:
  • 1^st International School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebra (SFM-01:PA)

	Università degli Studi di Urbino "Carlo Bo" via Saffi, 2 ¬ 61029 Urbino PU Vedi punto sulla Mappa del Campus		Informazioni Phone# 0722.4475 Fax# 0722.447552

© 2006 - Tutti i diritti riservati - Università degli Studi di Urbino Carlo Bo comunicaweb ¬	Web-Mail