| Event | When | Where | Deadline | |
| ICFEM 2013 |
International Conference on Formal Engineering Methods | |
| Oct 29, 2013 - Nov 1, 2013 |
Queenstown, New Zealand |
Apr 22, 2013 (Apr 15, 2013) |
| ICSM 2013 |
29th IEEE International Conference on Software Maintenance | |
| Sep 22, 2013 - Sep 28, 2013 |
Eindhoven, The Netherlands |
Apr 24, 2013 (Apr 15, 2013) |
| ASE 2013 |
28th IEEE/ACM International Conference on Automated Software Engineering | |
| Nov 11, 2013 - Nov 15, 2013 |
Palo Alto, USA |
May 17, 2013 (May 10, 2013) |
| JIH 2013 |
The Journal of Interactive Humanities | |
| N/A |
N/A |
Jun 28, 2013 |
| FACS 2013 |
The 10th International Symposium on Formal Aspects of Component Software | |
| Oct 28, 2013 - Oct 30, 2013 |
Nanchang, China |
Jul 15, 2013 (Jul 8, 2013) |
| FM 2014 |
International Symposium on Formal Methods | |
| May 12, 2014 - May 16, 2014 |
Singapore |
Nov 14, 2013 (Nov 7, 2013) |
| SETTA 2014 |
Symposium on Dependable Software Engineering: Theories, Tools and Applications | |
| Aug 14, 2014 - Aug 17, 2014 |
Nanjing, China |
Mar 1, 2014 (Feb 22, 2014) |
| ProCoS 2015 |
BCS-FACS ProCoS Workshop on Provably Correct Systems | |
| Mar 9, 2015 - Mar 10, 2015 |
London, UK |
Mar 6, 2015 |
| SETTA 2015 |
1st Symposium on Dependable Software Engineering: Theories, Tools and Applications | |
| Nov 4, 2015 - Nov 6, 2015 |
Nanjing, China |
Jun 30, 2015 (Jun 23, 2015) |
| EVA London 2016 |
Electronic Visualisation and the Arts | |
| Jul 12, 2016 - Jul 14, 2016 |
London, UK |
Jan 8, 2016 |
| UTP 2016 |
The 6th International Symposium on Unifying Theories of Programming | |
| Jun 4, 2016 - Jun 5, 2016 |
Reykjavík, Iceland |
Mar 20, 2016 |
| EVA London 2017 |
Electronic Visualisation and the Arts | |
| Jul 10, 2017 - Jul 13, 2017 |
London, UK |
Jan 16, 2017 |
| EVA London 2018 |
Electronic Visualisation and the Arts | |
| Jul 9, 2018 - Jul 12, 2018 |
London, UK |
Jan 15, 2018 |
| EVA London 2019 |
Electronic Visualisation and the Arts | |
| Jul 8, 2019 - Jul 11, 2019 |
London, UK |
Jan 14, 2019 |
| EVA London 2024 |
Electronic Visualisation and the Arts | |
| Jul 8, 2024 - Jul 12, 2024 |
London |
Jan 15, 2024 |
| TASE 2024 |
18th Theoretical Aspects of Software Engineering Conference | |
| Jul 29, 2024 - Aug 1, 2024 |
Guiyang City, China |
Feb 24, 2024 (Feb 17, 2024) |
|
