In a not-so-far future, everything will be about formal languages. To avoid a Tower of Babel, we need to set common specifications and standards in the many papers to be published in the field.
Ω ::= 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 application-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
Editorial Advisory Board: (Available soon)
The Tower of Babel by Pieter Bruegel the Elder (1563). (Public domain.)