sadegh_rk's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
TACAS 2016 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Feb 4, 2016 - Feb 8, 2016 Eindhoven, The Netherlands Oct 16, 2015 (Oct 9, 2015)
ICSMO 2016 2016 ICSMO-4th International Conference on System Modeling and Optimization
Feb 18, 2016 - Feb 19, 2016 Nice, France Dec 25, 2015
iFM 2016 12th International Conference on integrated Formal Methods
Jun 1, 2016 - Jun 3, 2016 Reykjavik, Iceland Jan 6, 2016 (Dec 21, 2015)
FAACS 2019 3rd Workshop on Formal Approaches for Advanced Computing Systems
Sep 9, 2019 - Sep 10, 2019 Paris, France Jun 8, 2019
FACS 2019 Formal Aspects of Component Software
Oct 23, 2019 - Oct 25, 2019 Amsterdam Jun 28, 2019 (Jun 21, 2019)
iFM 2019 International Conference on integrated Formal Methods
Dec 4, 2019 - Dec 8, 2019 Bergen Jun 28, 2019 (Jun 24, 2019)
ICSEA 2019 The Fourteenth International Conference on Software Engineering Advances
Nov 24, 2019 - Nov 28, 2019 Valencia, Spain Aug 11, 2019
TMPA 2019 Software Testing, Machine Learning and Complex Process Analysis
Nov 7, 2019 - Nov 9, 2019 Tbilisi, Georgia Aug 24, 2019
SOFSEM 2020 46th International Conference on Current Trends in Theory and Practice of Computer Science
Jan 20, 2020 - Jan 24, 2020 Limassol, Cyprus Sep 2, 2019 (Aug 26, 2019)
FTSCS 2019 7th International Workshop on Formal Techniques for Safety-Critical Systems
Nov 9, 2019 - Nov 9, 2019 Shenzhen, China Sep 3, 2019
CSICC 2020 25th International Computer Conference
Jan 1, 2020 - Jan 2, 2020 Tehran, Iran Oct 12, 2019
ICST 2020 13th IEEE Conference on Software Testing, Validation and Verification
Mar 23, 2020 - Mar 27, 2020 Porto, Portugal Oct 14, 2019
TACAS 2020 Tools and Algorithms for Construction and Analysis of Systems
Apr 25, 2020 - Apr 30, 2020 Dublin, Ireland Oct 24, 2019
MATEC--ICTTE--Ei Compendex, Scopus 2019 MATEC--2019 8th International Conference on Transportation and Traffic Engineering (ICTTE 2019)--Ei Compendex, Scopus
Dec 19, 2019 - Dec 21, 2019 Auckland, New Zealand Oct 30, 2019
NFM 2020 12th NASA Formal Methods Symposium
May 11, 2020 - May 15, 2020 Moffett Field, CA, USA Dec 19, 2019 (Dec 12, 2019)
RTEST 2020 The CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies
Jun 10, 2020 - Jun 11, 2020 Tehran Jan 6, 2020
FormaliSE 2020 8th International Conference on Formal Methods in Software Engineering
May 25, 2020 - May 26, 2020 Seoul, South Korea Jan 16, 2020 (Jan 9, 2020)
CAV 2020 Computer Aided Verification
Jun 21, 2020 - Jun 24, 2020 Los Angeles, USA Jan 23, 2020
LiVe 2020 4th Workshop on Learning in Verification
Apr 25, 2020 - Apr 25, 2020 Dublin, Ireland Feb 15, 2020
TTCS 2020 Topics in Theoretical Computer Science
Jul 1, 2020 - Jul 3, 2020 IPM - Iran Feb 16, 2020
first | previous | Page 2 | next | last Total of 66 CFPs in 4 pages