Ω - Journal of Formal Languages aims to be a monthly journal publishing work in (fragments of) languages whose syntax can be specified in Backus-Naur form (BNF) and in related topics. We welcome both pure theoretical work and applications-based articles. Major fields are:
Natural language processing/understanding
Architecture description languages
Automated theorem proving
We aim to publish mostly original research, review, and survey articles, but also welcome commentary articles and book/software reviews.
Editor-in-Chief: Luis M. Augusto iD
Editors: (Available soon)