Open Science Research Excellence

ICFST 2022 : International Conference on Formal Specification and Technology

Vienna, Austria
June 21 - 22, 2022

Call for Papers

ICFST 2022 : International Conference on Formal Specification and Technology is the premier interdisciplinary platform for the presentation of new advances and research results in the fields of Formal Specification and Technology. The conference will bring together leading academic scientists, researchers and scholars in the domain of interest from around the world. Topics of interest for submission include, but are not limited to:
  • Formal software specification
  • Formal specification in the software process
  • Sub-system interface specification
  • Behavioral specification
  • Systems, software and technology
  • User requirements definition
  • System requirements specification
  • High-level design
  • Architectural design
  • System modelling
  • Mathematical and logical basis
  • Set theory
  • Predicate logic
  • Modal logic
  • Specification techniques
  • State charts
  • The specification language
  • Abstract data types
  • Specification analysis and proof
  • Transformational development
  • Program verification
  • Specification and design
  • Specification techniques
  • Formal specification languages
  • Interface specification
  • Specification components
  • Specification models
  • The structure of an algebraic specification
  • Systematic algebraic specification
  • Specification operations