DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Forthcoming Volumes

EventAffiliated withFull Name
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
VORTEX 2018ECOOP 2018 Second Workshop on Verification of Objects at RunTime EXecution
ThEdu'18FLoC 2018 7th International Workshop on Theorem proving components for Educational software
TFPIE 2018TFP 2018 Trends in Functional Programming in Education
PLACES 2019ETAPS 2019 Programming Language Approaches to Concurrency and Communication-cEntric Software
DICE-FOPARA 2019ETAPS2019 Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis
ITRS 2018 and DCM 2018FSCD 2018 at FLoC Ninth Workshop on Intersection Types and Related Systems and Twelfth International Workshop on Developments in Computational Models
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
EXPRESS/SOS 2019CONCUR 2019 Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
WPTE 2018FSCD 2018 at FLoC Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
TFPIE 2019TFP 2019 Trends in Functional Programming in Education
SNR 2018 & 2019ETAPS 2018 Fourth and Fifth International Workshops on Symbolic and Numerical Methods for Reachability Analysis

Comments and questions to:
For website issues: