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:
Formal semantics
Semantic Web
Natural language processing/understanding
Automata theory
Programming languages
Compilation
Formal logic
Symbolic AI
Cryptography
Formal methods
Chomsky hierarchy
Robot languages
Cognitive modeling
Stringology
Architecture description languages
Formal ontology
Aesthetic computing
Automated theorem proving
…
We aim to publish mostly original research, review, and survey articles, but also welcome commentary articles and book/software reviews.
The Tower of Babel by Pieter Bruegel the Elder (1563). (Public domain.)