- QAPL 2017: 15th Workshop on Quantitative Aspects of Programming Languages and Syste...
- FORTE 2017: 37th IFIP WG 6.1 International Conference on Formal Techniques for Distr...
- QEST 2017: 14th International Conference on Quantitative Evaluation of SysTems
- CONCUR 2017: 28th International Conference on Concurrency Theory
- SYNT 2017: 6th Workshop on Synthesis
- JLAMP: Journal of Logic and Algebraic Methods in Programming