DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Forthcoming Volumes

EventAffiliated withFull Name
VPT 2019Programming  2019 Seventh International Workshop on Verification and Program Transformation
PxTP 2019CADE-27 Sixth Workshop on Proof eXchange for Theorem Proving
EXPRESS/SOS 2019CONCUR 2019 Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
FROM 2019 Third Symposium on Working Formal Methods
GandALF 2019 Tenth International Symposium on Games, Automata, Logics, and Formal Verification
LFMTP 2019LICS 2019 of the Fourteenth Worshop on Logical Frameworks and Meta-Languages: Theory and Practice
ICE 2019DISCOTEC 2019 12th Interaction and Concurrency Experience
ICLP 2019 35th International Conference on Logic Programming (Technical Communications)
SNR 2018 & 2019ETAPS 2018 Fourth and Fifth International Workshops on Symbolic and Numerical Methods for Reachability Analysis
QPL 2019 16th International Conference on Quantum Physics and Logic
VORTEX 2018ECOOP 2018 Second Workshop on Verification of Objects at RunTime EXecution
QAPL 2019ETAPS 2019 16th Workshop on Quantitative Aspects of Programming Languages and Systems
CREST 2019ETAPS 2019 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
TFPIE 2019TFP 2019 Trends in Functional Programming in Education
GCM 2019STAF 2019 Tenth International Workshop on Graph Computation Models
QSQW 2019 9th International Conference on Quantum Simulation and Quantum Walks

Comments and questions to:
For website issues: