16th International Conference on Formal Aspects of Component Software (FACS 2019)

Call for Papers: FACS 2019 FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. See website for more information.
  • 16th International Conference on Formal Aspects of Component Software (FACS 2019)
  • 2019-10-23T09:00:00+02:00
  • 2019-10-25T17:00:00+02:00
  • Call for Papers: FACS 2019 FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. See website for more information.
  • What Formal Methods Not a Seminar English
  • When 23-10-2019 09:00 to 25-10-2019 17:00 (Europe/Amsterdam / UTC200)
  • Where Room L016 at CWI, Science Park 123 in Amsterdam
  • Contact Name
  • Contact Phone see website
  • Web Visit external website
  • Add event to calendar iCal

Call for Papers: FACS 2019
FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones.

Invited speakers:

  • Wan Fokkink (Professor of Theoretical Computer Science, Vrije Universiteit Amsterdam)
  • Carlo Ghezzi (Professor of Software Engineering, Polytechnic University of Milan)
  • Kim Larsen (Professor of Computer Science, Aalborg University)