Florence, 8-12 September 2014
A week on quantitative and formal methods for computer safety, reliability, and performance

Co-location event

FLORENCE2014  will comprise a one-week scientific event with conferences and workshops in the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications:

  • FORMATS2014 - International Conference on Formal Modeling and Analysis of Timed Systems
  • QEST2014 - International Conference on Quantitative Evaluation of SysTems
  • SAFECOMP2014 - International Conference on Computer Safety, Reliability and Security
  • EPEW2014 - European Workshop on Performance Engineering
  • FMICS2014 - International Workshop on Formal Methods for Industrial Critical System

Schedule and Important Dates

Monday
8th Sep 2014
Tuesday
9th Sep 2014
Wednesday
10th Sep 2014
Thursday
11th Sep 2014
Friday
12th Sep 2014
FORMATS
QEST
SAFECOMP Workshops SAFECOMP
EPEW
FMICS
Reception Event Reception Event

Sponsors