Event | When | Where | Deadline | |
YDS 2013 |
Sixth York Doctoral Symposium on Computer Science and Electronics | |
Oct 29, 2013 - Oct 29, 2013 |
York, UK |
Sep 18, 2013 |
FM 2014 |
International Symposium on Formal Methods | |
May 12, 2014 - May 16, 2014 |
Singapore |
Nov 14, 2013 (Nov 7, 2013) |
UTP 2014 |
Unifying Theories of Programming | |
May 12, 2014 - May 13, 2014 |
Singapore |
Jan 24, 2014 (Jan 17, 2014) |
ICMT 2014 |
7th International Conference on Model Transformation | |
Jul 21, 2014 - Jul 25, 2014 |
York (UK) |
Feb 4, 2014 (Jan 28, 2014) |
TAP 2014 |
8th International Conference on Tests And Proofs | |
Jul 24, 2014 - Jul 25, 2014 |
York, United Kingdom |
Mar 1, 2014 (Feb 25, 2014) |
TASE 2014 |
The 8th International Symposium on Theoretical Aspects of Software Engineering | |
Sep 1, 2014 - Sep 3, 2014 |
Changsha, China |
Mar 7, 2014 (Feb 28, 2014) |
SEFM 2014 |
12th International Conference on Software Engineering and Formal Methods | |
Sep 1, 2014 - Sep 5, 2014 |
Grenoble, France |
Mar 21, 2014 (Mar 14, 2014) |
ICTAC 2014 |
11th International Colloquium on Theoretical Aspects of Computing | |
Sep 17, 2014 - Sep 20, 2014 |
Bucharest, Romania |
Mar 23, 2014 (Mar 16, 2014) |
TTC 2014 |
Transformation Tool Contest | |
Jul 25, 2014 - Jul 25, 2014 |
York, United Kingdom |
Apr 23, 2014 |
SBMF 2014 |
Brazilian Symposium on Formal Methods | |
Sep 29, 2014 - Oct 1, 2014 |
Maceio', AL, Brazil |
Jul 15, 2014 (Jul 8, 2014) |
FACJ-SI-Robotics 2019 |
Special Issue on Formal Methods for Robotics, Formal Aspects of Computing (FACJ) | |
N/A |
N/A |
Mar 31, 2019 |
|