Aim & Scope
Logical Techniques in Computer Science (LTCS) is a peer-reviewed, open-access journal published by Python Publishing Press. It publishes work on the logical and mathematical foundations of computing and on how those foundations are used to build systems that can be trusted.
We welcome theoretical results with complete proofs, new formal methods and tools, and applied studies that show logical techniques solving practical problems.
Scope
We welcome original research articles, reviews, short communications and case-based studies in areas including:
- Logic in computer science and automated reasoning
- Formal methods, specification and verification
- Model checking and theorem proving
- Type theory and programming language semantics
- Algorithms, complexity and computational models
- Logic programming and knowledge representation
- Formal approaches to security, cryptography and protocols
- Logic-based and neuro-symbolic artificial intelligence
Not sure whether your manuscript fits? Write to publisher@pythonpublishingpress.org with a short summary before you submit and the editors will tell you.
