afshinamighi's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

CfPs interested in formal methods, concurrency and verifications

 Sort by 
 
Event When Where Deadline
ICST 2014 International Conference on Software Testing, Verification, and Validation
Mar 31, 2014 - Apr 4, 2014 Cleveland, Ohio, USA Sep 23, 2013
TACAS 2014 Tools and Algorithms for Construction and Analysis of Systems
Apr 5, 2014 - Apr 13, 2014 Grenoble Oct 11, 2013 (Oct 4, 2013)
FoSSaCS 2014 17th International Conference on Foundations of Software Science and Computation Structures
Apr 5, 2014 - Apr 13, 2014 Grenoble, France Oct 11, 2013 (Oct 4, 2013)
HSCC 2014 International Conference on Hybrid Systems: Computation and Control
Apr 15, 2014 - Apr 17, 2014 Berlin Oct 14, 2013
MBMV 2014 Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Mar 10, 2014 - Mar 12, 2014 Boeblingen, Germany Nov 11, 2013 (Nov 2, 2013)
FM 2014 International Symposium on Formal Methods
May 12, 2014 - May 16, 2014 Singapore Nov 14, 2013 (Nov 7, 2013)
QAPL 2014 Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems
Apr 12, 2014 - Apr 13, 2014 Grenoble, France Dec 31, 2013 (Dec 24, 2013)
IJCAR 2014 International Joint Conference on Automated Reasoning (IJCAR)
Jul 19, 2014 - Jul 22, 2014 Vienna, Austria Jan 22, 2014 (Jan 15, 2014)
ISSTA 2014 International Symposium on Software Testing and Analysis
Jul 21, 2014 - Jul 26, 2014 Hilton San Jose, Bay Area, CA, USA Jan 24, 2014
PSI 2014 Ershov Informatics Conference
Jun 24, 2014 - Jun 27, 2014 Peterhof, St. Petersburg, Russia Feb 3, 2014 (Jan 27, 2014)
QEST 2014 Quantitative Evaluation of Systems
Sep 8, 2014 - Sep 11, 2014 Florence, Italy Mar 14, 2014 (Mar 7, 2014)
FSE 2014 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering
Nov 16, 2014 - Nov 22, 2014 Hong Kong, China Mar 16, 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)
SPIN 2014 21st International SPIN Symposium on Model Checking of Software
Jul 21, 2014 - Jul 23, 2014 San Jose, Bay Area, California Apr 11, 2014
WODA 2014 The 12th International Workshop on Dynamic Analysis
Jul 22, 2014 - Jul 22, 2014 San Jose, CA, USA Apr 25, 2014
HCVS 2014 Workshop on Horn Clauses for Verification and Synthesis
Jul 17, 2014 - Jul 17, 2014 Vienna, Austria May 1, 2014
TGC 2014 9th Symposium on Trustworthy Global Computing
Sep 5, 2014 - Sep 6, 2014 Rome (Italy) May 9, 2014 (May 2, 2014)
SaFoMe 2014 1st International Workshop on Safety and Formal Methods
Sep 1, 2014 - Sep 1, 2014 Grenoble May 30, 2014 (May 23, 2014)
AVOCS 2014 Automated Verification of Critical Systems
N/A N/A May 31, 2014
HVC 2014 10th Haifa Verification Conference
Nov 18, 2014 - Nov 20, 2014 Haifa, Israel Jul 29, 2014
first | previous | Page 2 | next | last Total of 42 CFPs in 3 pages