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
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
QPL 2018 15th International Conference on Quantum Physics and Logic
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 Second Workshop on Verification of Objects at RunTime EXecution
ThEdu'18FLoC2018 7th International Workshop on Theorem proving components for Educational software
ITRS 2018FSCD 2018 Ninth Workshop on Intersection Types and Related Systems
PLACES 2019ETAPS 2019 Programming Language Approaches to Concurrency and Communication-cEntric Software
MeTRiD 2019ETAPS 2019 Second International Workshop on Methods and Tools for Rigorous System Design
VPT 2019Programming  2019 Seventh International Workshop on Verification and Program Transformation
PERR 2019ETAPS 2019 Third International Workshop on Program Equivalence and Relational Reasoning
CREST 2019ETAPS 2019 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
QAPL19ETAPS 2019 16th Workshop on Quantitative Aspects of Programming Languages and Systems
TARK 2019 Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge
HCVS 2019ETAPS 2019 Sixth Workshop on Horn Clauses for Verification and Synthesis
WPTE 2018FSCD 2018 Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

Comments and questions to:
For website issues: