DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Forthcoming Volumes


EventAffiliated withFull Name
FICS 2024CSL 2024 Twelfth Workshop on Fixed Points in Computer Science
MSFP 2024FSCD 2024 Tenth Workshop on Mathematically Structured Functional Programming
ACT 2024 Seventh International Conference on Applied Category Theory 2024
ACL2 2025 19th International Workshop on the ACL2 Theorem Prover and Its Applications
TFPiE 2025TFP 2025 14th International Workshop on Trends in Functional Programming in Education
QCCC 2025 The 3rd International Conference on Quantum and Classical Computation and Complexity
VSS 2025ETAPS 2025 International Workshop on Verification of Scientific Software
NCMA 2025DCFS 2025 15th International Workshop on Non-Classical Models of Automata and Applications
LFMTP 2025FSCD 2025 Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
QPL 2025QPL 22nd International Conference on Quantum Physics and Logic
ICE 2025DisCoTec 2025 Proceedings 18th Interaction and Concurrency Experience
TARK 2025 Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
ACT 2025 Eighth International Conference on Applied Category Theory
GandALF 2025 Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
LSFA 2025CICM 2025 Twentieth International Symposium on Logical and Semantic Frameworks with Applications
EXPRESS/SOS 2025CONFEST 2025 Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
GCM 2025STAF 2025 16th International Workshop on Graph Computation Models
WACA 2025DisCoTec 2025 First Workshop on Adaptable Cloud Architectures
LTT 2026ETAPS 2026 Logics and Type Theory: Essays Dedicated to Stefano Berardi on the occasion of his 64th Birthday

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org