sadegh_rk's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
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)
first | previous | Page 1 | next | last Total of 163 CFPs in 9 pages