| Event | When | Where | Deadline | |
| CALCO 2015 |
6th International Conference on Algebra and Coalgebra in Computer Science | |
| Jun 24, 2015 - Jun 26, 2015 |
Nijmegen, Netherlands |
Apr 2, 2015 (Mar 22, 2015) |
| ESSoS 2016 |
International Symposium on Engineering Secure Software and Systems | |
| Apr 6, 2016 - Apr 8, 2016 |
Royal Holloway, University of London, UK |
Oct 2, 2015 (Sep 25, 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) |
| ETAPS 2017 |
European Joint Conferences on Theory and Practice of software | |
| Apr 22, 2017 - Apr 29, 2017 |
Uppsala, Sweden |
Oct 21, 2016 (Oct 14, 2016) |
| CSF 2017 |
30th IEEE Computer Security Foundations Symposium | |
| Aug 21, 2017 - Aug 25, 2017 |
Santa Barbara, CA, USA |
Feb 17, 2017 |
|
