DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Forthcoming Volumes

EventAffiliated withFull Name
QPL 2021 18th International Conference on Quantum Physics and Logic
ICLP 2021 37th International Conference on Logic Programming (Technical Communications)
GandALF 2021 12th International Symposium on Games, Automata, Logics, and Formal Verification
SNR'21QONFEST'21 The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
ICE 2021DisCoTec 2021 14th Interaction and Concurrency Experience
TLLALINEARITY 2020FSCD2020 2020 Joint Workshop on Linearity and Trends in Linear Logic and Applications
AppFM 2021FM 2021 First Workshop on Applicable Formal Methods
FMAS 2021 Third Workshop on Formal Methods for Autonomous Systems
GCM 2021STAF 2021 Twelfth International Workshop on Graph Computational Models
ITRS 2021FSCD 2021 Tenth Workshop on Intersection Types and Related Systems
LSFA 2021FSCD 2021 16th Logical and Semantic Frameworks with Applications
ACT 2021 Fourth International Conference on Applied Category Theory
ThEdu'21CADE28 10th International Workshop on Theorem-Proving Components for Educational Software
NCL 2022 10th International Conference on Non-classical logics. Theory and applications
TFPIE 2021Lambda Days 2021, TFP 2021 Tenth International Workshop on Trends in Functional Programming In Education

Comments and questions to:
For website issues: