DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Forthcoming Volumes

EventAffiliated withFull Name
ACT2022 Fifth International Conference on Applied Category Theory
PLACES 2023ETAPS 2023 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
CREST 2023ETAPS 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
Linearity&TLLA 2022FSCD/LICS 2022 at FLoC 2022 Proceedings Third Joint International Workshop on Linearity and Trends in Linear Logic and its Applications
TiCSA 2023ETAPS 2023 First Workshop on Trends in Configurable Systems Analysis
QPL 2022 19th International Conference on Quantum Physics and Logic
ICLP 2023n/a 39th International Conference on Logic Programming
HCVS 2023ETAPS 2023 10th Workshop on Horn Clauses for Verification and Synthesis
EXPRESS/SOS2023CONCUR 2023 Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics
AREA 2023ECAI 2023 Third Workshop on Agents and Robots for reliable Engineered Autonomy
GandALF 2023 Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
ACL2 2023 18th International Workshop on the ACL2 Theorem Prover and Its Applications
GCM 2023STAF 2023 Fourteenth International Workshop on Graph Computation Models
ACT 2023 Applied Category Theory 2023
TERMGRAPH 2022FLoC 2022 Twelfth International Workshop on Computing with Terms and Graphs

Comments and questions to:
For website issues: