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
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
ICE 2018DISCOTEC 2018 11th Interaction and Concurrency Experience
ML 2017ICFP 2017 ML Family / OCaml Users and Developers workshops
Linearity-TLLA 2018FSCD 2018 at FLoC Joint International Workshop on 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
VORTEX 2018ECOOP 2018 Third VORTEX Workshop on Runtime Verification
WPTE 2018FSCD 2018 Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org