For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, and Dana Scott (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).
ACM Transactions on Speech and Language Processing (TSLP) focuses on practical areas of the design, development, and evaluation of speech- and text-processing systems along with their associated theory. Topics within TSLP's scope include: natural language understanding, generation, and parsing; dialog management; machine translation; document summarization; question answering; detection and tracking of entities, relationships, topics, and novelty; language modeling for machine translation and speech; speech prosody; audio indexing; spoken document retrieval; and machine learning and pattern analysis applied to the above
Advances in Computational Mathematics aims to publish high quality, accessible and original articles at the forefront of applied mathematics, with the potential for impact across the sciences. The journal places a particular emphasis on numerical methods, modeling, and simulation.