Over dit tijdschrift

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.

Aim & Scope

  • 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

Journal Information

  • Title: Logical Techniques in Computer Science (LTCS)
  • Editor-in-Chief: John F. Kennedy
  • Publisher: Python Publishing Press (PPP), Hlavné námestie 12, 811 01 Bratislava, Slovakia
  • First published: 2023
  • Frequency: Quarterly (four issues a year)
  • Peer review: Double-blind, by at least two independent reviewers
  • Licence: CC BY 4.0; authors keep their copyright
  • DOI: registered with Crossref (prefix 10.70705)
  • Article Processing Charges: see APC rates and waivers
  • Indexing: Google Scholar, Crossref
  • Language: English
  • Contact: publisher@pythonpublishingpress.org