Event | When | Where | Deadline | |
MaLOTA 2015 |
Machine Learning and Optimization: Trends and Applications | |
Apr 20, 2015 - Apr 22, 2015 |
Prague, Czech Republic |
Feb 28, 2015 |
Maths of Robotics 2015 |
IMA Conference on Mathematics of Robotics | |
Sep 9, 2015 - Sep 11, 2015 |
Oxford |
Mar 15, 2015 |
SaFoMe 2015 |
2nd International Workshop on Safety and Formal Methods | |
Jun 22, 2015 - Jun 22, 2015 |
Oslo, Norway |
Mar 24, 2015 |
WWV 2015 |
11th International Workshop on Automated Specification and Verification of Web Systems | |
Jun 23, 2015 - Jun 23, 2015 |
Oslo, Norway |
Mar 25, 2015 (Mar 18, 2015) |
CONCUR 2015 |
26th International Conference on Concurrency Theory | |
Sep 1, 2015 - Sep 4, 2015 |
Madrid, Spain |
Apr 20, 2015 (Apr 13, 2015) |
SPIN 2015 |
22nd International Workshop on Model Checking Software | |
Aug 24, 2015 - Aug 26, 2015 |
Stellenbosch, South Africa |
Apr 24, 2015 |
ACML 2015 |
7th Asian Conference on Machine Learning | |
Nov 20, 2015 - Nov 22, 2015 |
Hong Kong |
May 11, 2015 |
GandALF 2015 |
The Sixth International Symposium on Games, Automata, Logics and Formal Verification | |
Sep 21, 2015 - Sep 23, 2015 |
Genova |
May 29, 2015 (May 22, 2015) |
ICTAC 2015 |
12th International Colloquium on Theoretical Aspects of Computing | |
Oct 29, 2015 - Oct 31, 2015 |
Cali, Colombia |
Jun 5, 2015 (Jun 1, 2015) |
RP 2015 |
9th International Workshop on Reachability Problems | |
Sep 21, 2015 - Sep 23, 2015 |
Warsaw, Poland |
Jun 11, 2015 |
FACS 2015 |
12th International Conference on Formal Aspects of Component Software | |
Oct 14, 2015 - Oct 16, 2015 |
Rio de Janeiro |
Jun 28, 2015 (Jun 22, 2015) |
WPHS-ATVA 2015 |
Workshop on Probabilistic and Hybrid Systems | |
Oct 12, 2015 - Oct 15, 2015 |
Shanghai, China |
Jul 1, 2015 |
SBMF 2015 |
The 18th Brazilian Symposium on Formal Methods | |
Sep 21, 2015 - Sep 26, 2015 |
Belo Horizonte, MG, Brazil |
Jul 3, 2015 (Jun 27, 2015) |
SIASE 2015 |
Journal of Software Engineering: Special Issue on Automated Software Engineering | |
N/A |
N/A |
Jul 7, 2015 |
FSTTCS 2015 |
35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | |
Dec 16, 2015 - Dec 18, 2015 |
Bangalore, India |
Jul 13, 2015 |
FTSCS 2015 |
4th International Workshop on Formal Techniques for Safety-Critical Systems | |
Nov 6, 2015 - Nov 7, 2015 |
Paris |
Sep 5, 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) |
ISEC 2016 |
9TH INDIA SOFTWARE ENGINEERING CONFERENCE | |
Feb 18, 2016 - Feb 20, 2016 |
BITS Pilani, Goa, India |
Sep 25, 2015 (Sep 1, 2015) |
ISPASS 2016 |
International Symposium on Performance Analysis of Systems and Software | |
Apr 17, 2016 - Apr 19, 2016 |
Uppsala, Sweden |
Oct 9, 2015 (Oct 2, 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) |