Ω ::= Journal of Formal Languages

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.