DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Forthcoming Volumes

EventAffiliated withFull Name
Linearity&TLLA 2020FSCD2020 Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications
SNR'21QONFEST'21 The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
MFPS 2021 37th Conference on Mathematical Foundations of Programming Semantics
GCM 2021STAF 2021 Twelfth International Workshop on Graph Computational Models
LSFA 2021FSCD 2021 16th Logical and Semantic Frameworks with Applications
ADG 2021 13th International Conference on Automated Deduction in Geometry
ACT 2021 Fourth International Conference on Applied Category Theory
ThEdu'21CADE28 10th International Workshop on Theorem-Proving Components for Educational Software
TERMGRAPH 2022FLoC 2022 Twelfth International Workshop on Computing with Terms and Graphs
NCL 2022 10th International Conference on Non-classical logics. Theory and applications
MARS 2022ETAPS Fifth Workshop on Models for Formal Analysis of Real Systems
PLACES 2022ETAPS 2022 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
ACL2 2022 Seventeenth Workshop on The ACL2 theorem prover and its applications
QAVS 2022ETAPS 2022 Third Workshop on Quantitative Aspects of Variant-rich Systems
TFPIE 2021/22TFP 2021, Lambda Days 2021/22 Tenth and Eleventh International Workshop on Trends in Functional Programming In Education
VPT 2022ETAPS 2022 Tenth International Workshop on Verification and Program Transformation

Comments and questions to:
For website issues: