DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Forthcoming Volumes

EventAffiliated withFull Name
DCM 2023FSCD 2023 13th International Workshop on Developments in Computational Models
ThEdu'23CADE29 12th International Workshop on Theorem proving components for Educational software
LSFA 2023FSCD 2023 18th International Workshop on Logical and Semantic Frameworks, with Applications
MARS 2024ETAPS 2024 Sixth Workshop on Models for Formal Analysis of Real Systems
HCVS 2023ETAPS 2023 10th Workshop on Horn Clauses for Verification and Synthesis
PLACES 2024ETAPS 2024 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
FICS 2024CSL 2024 Workshop on Fixed Points in Computer Science
GCM 2023STAF 2023 Fourteenth International Workshop on Graph Computation Models
MSFP 2024FSCD 2024 Tenth Workshop on Mathematically Structured Functional Programming
ICE 2024DisCoTec 2024 17th Interaction and Concurrency Experience
NCMA 2024DLT 2024 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024)
ACT 2024 Seventh International Conference on Applied Category Theory 2024
QPL 2024 21st International Conference on Quantum Physics and Logic

Comments and questions to:
For website issues: