Ω - 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:

Formal semantics

Natural language processing/understanding

Automata theory

Programming languages

Compilation

Formal logic

Symbolic AI

Cryptography

Formal methods

Chomsky hierarchy

Robot languages

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.

 

 

Editorial body

Editor-in-Chief: Luis M. Augusto iD

Editors: (Available soon)