| Event | When | Where | Deadline | |
| Expired CFPs |
| MEMOCODE 2016 |
ACM-IEEE International Conference on Formal Methods and Models for System Design | |
| Nov 18, 2016 - Nov 20, 2016 |
Indian Institute of Technology, Kanpur |
Jul 29, 2016 (Jul 22, 2016) |
| FORECAST 2016 |
FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems | |
| Jul 8, 2016 - Jul 8, 2016 |
Vienna |
May 5, 2016 (Apr 30, 2016) |
| QAPL 2016 |
Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems | |
| Apr 2, 2016 - Apr 3, 2016 |
Eindhoven, The Netherlands |
Jan 8, 2016 |
| QS 2018 |
The 5th satellite on Quantifying Success at NetSCi 2018 | |
| Jun 11, 2018 - Jun 11, 2018 |
Paris, France |
TBD |
