Reviewer for Formal Aspects of Computing (Journal or book series)

Activity: Publication peer-review and editorial work › Publication Peer-review

Description

Formal Aspects of Computing: Applicable Formal Methods (FAC) is a Gold Open Access journal publishing contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus, new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.
Period01 Jan 2024 → 31 Dec 2024
Type of journalJournal

Fields of science

  • 102006 Computer supported cooperative work (CSCW)
  • 102016 IT security
  • 102027 Web engineering
  • 502050 Business informatics
  • 102040 Quantum computing 
  • 102020 Medical informatics
  • 502032 Quality management
  • 503015 Subject didactics of technical sciences
  • 102022 Software development
  • 102034 Cyber-physical systems
  • 102015 Information systems
  • 509026 Digitalisation research

JKU Focus areas

  • Digital Transformation

Documents & Links