DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Forthcoming Volumes

EventAffiliated withFull Name
CoALP-Ty'16ICLP 2016 First Workshop on Coalgebra, Horn Clause Logic Programming and Types
VPT 2017ETAPS 2017 Fifth International Workshop on Verification and Program Transformation
CREST 2017ETAPS 2017 2nd Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
TARK 2017TARK 2017 Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge
ICE 2017Discotec 2017 10th Interaction and Concurrency Experience
GandALF 2017 Eighth International Symposium on Games, Automata, Logics and Formal Verification
AFL 2017 15th International Conference on Automata and Formal Languages
EXPRESS/SOS 2017CONCUR 2017 Combined 24rd International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics
FVAV 2017iFM 2017 First Workshop on Formal Verification of Autonomous Vehicles
PrePost 2017IFM 2017 Second International Workshop on Pre- and Post-Deployment Verification Techniques
ALP4IoT 2017iFM 2017 1st workshop on Architectures, Languages and Paradigms for IoT
HCVS 2017CADE-26 Fourth Workshop on Horn Clauses for Verification and Synthesis
SYNT 2017CAV 2017 Sixth Workshop on Synthesis
PxTP 2017Tableaux, FroCoS and ITP 2017 Fifth Workshop on Proof eXchange for Theorem Proving
WPTE 2017FSCD 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
MeMo 2017CONCUR 2017 3rd International Workshop on Meta Models for Process Languages
ML/OCAML 2016ICFP 2016 ML Family Workshop/The OCaml Users and Developers Workshop
WAO 2017iFM 2017 Workshop on Actors and Active Objects
IMPEX 2017ICFEM 2017 First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development
GaM 2017ETAPS 2017 Third Workshop on Graphs as Models

Comments and questions to:
For website issues: