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.
Forschungs-