- QEST 2017: 14th International Conference on Quantitative Evaluation of SysTems
- CONCUR 2017: 28th International Conference on Concurrency Theory
- SYNT 2017: 6th Workshop on Synthesis
- EXPRESS/SOS 2017: Combined 24rd International Workshop on Expressiveness in Concurrency an...
- JLAMP: Journal of Logic and Algebraic Methods in Programming