DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Forthcoming Volumes

EventAffiliated withFull Name
SNR 2018ETAPS 2018 Fourth International Workshop on Symbolic and Numerical Methods for Reachability Analysis
FoMLAS 2018ETAPS 2018 Formal Approaches towards Accountability, Explainability, and Predictability of Autonomous Systems
MeTRiD 2018ETAPS 2018 1st International Workshop on Methods and Tools for Rigorous System Design
LFMTP 2018FSCD 2018 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
PC 2018UCNC 2018 9th International Workshop on Physics and Computation
MSFP 2018FSCD 2018 7th Workshop on Mathematically Structured Functional Programming
CL&C 2018FSCD 2018 at FloC Seventh International Workshop on Classical Logic and Computation
ML/OCAML 2016ICFP 2016 ML Family Workshop / OCaml Users and Developers workshops
CREST 2018ETAPS 2018 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology
EXPRESS/SOS 2018CONCUR 2018 Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics
GandALF 2018 Ninth International Symposium on Games, Automata, Logics, and Formal Verification
HCVS 2018FLoC 2018 5th Workshop on Horn Clauses for Verification and Synthesis
F-IDE 2018FLoC/FM 2018 4th Workshop on Formal Integrated Development Environment
ACL2 2018FMCAD 2018 15th International Workshop on the ACL2 Theorem Prover and Its Applications
Refine 2018FLoC/FM2018 18th Refinement Workshop
QPL 2018 15th International Conference on Quantum Physics and Logic
CAPNS 2018QI 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences
ML 2017ICFP 2017 ML Family / OCaml Users and Developers workshops
Linearity-TLLA 2018FSCD 2018 at FLoC Joint International Workshop Linearity & Trends in Linear Logic and Applications
TERMGRAPH 2018FSCD 2018 at FLoC Tenth International Workshop on Computing with Terms and Graphs
DCM 2018FLoC 2018 Twelfth International Workshop on Developments in Computational Models
WPTE 2018FSCD 2018 Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

Comments and questions to:
For website issues: