| Event | When | Where | Deadline | |
| SecCo 2011 |
9th International Workshop on Security Issues in Concurrency | |
| Sep 5, 2011 - Sep 5, 2011 |
Aachen, Germany |
Jun 3, 2011 |
| CS&P 2011 |
International Workshop on Concurrency, Specification and Programming | |
| Sep 28, 2011 - Sep 30, 2011 |
Pułtusk, Poland |
Jul 3, 2011 |
| ACSD 2013 |
13th International Conference on Application of Concurrency to System Design | |
| Jul 8, 2013 - Jul 10, 2013 |
Barcelona, Spain |
Feb 3, 2013 (Jan 27, 2013) |
| FM 2015 |
International Symposium on Formal Methods | |
| Jun 22, 2015 - Jun 26, 2015 |
Oslo, Norway |
Jan 9, 2015 (Jan 2, 2015) |
| CONCUR-YR 2015 |
Young Researchers Workshop on Concurrency Theory | |
| Sep 5, 2015 - Sep 5, 2015 |
Madrid |
Jul 13, 2015 |
| VMCAI 2016 |
17th International Conference on Verification, Model Checking, and Abstract Interpretation | |
| Jan 17, 2016 - Jan 19, 2016 |
St. Petersburg, Florida, United States |
Sep 11, 2015 (Sep 4, 2015) |
| FoSSaCS 2016 |
19th International Conference on Foundations of Software Science and Computation Structures | |
| Feb 4, 2016 - Feb 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
| TACAS 2016 |
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
| Feb 4, 2016 - Feb 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
