Conference Information
ICFEM 2017 : International Conference on Formal Engineering Methods
http://ictt.xidian.edu.cn/icfem2017/
Submission Date:
2017-04-30
Notification Date:
2017-06-29
Conference Date:
2017-11-13
Location:
Xi an, China
Years:
19
CCF: c   QUALIS: b1   Viewed: 8249   Tracked: 10   Attend: 0

Conference Location
Advertisment
Call For Papers
Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal engineering methods and their practical applications will also be considered. 

    Abstraction, refinement and evolution
    Formal specification and modeling
    Program analysis
    Formal verification
    Model checking
    Formal approaches to software testing and inspection
    Formal methods for self-adaptive systems
    Formal methods for object-oriented systems
    Formal methods for component-based systems
    Formal methods for concurrent and real-time systems
    Formal methods for cloud computing
    Formal methods for cyber-physical systems
    Formal methods for software safety, security, reliability and dependability
    Tool development, integration and experiments involving verified systems
    Formal methods used in certifying products under international standards
    Formal model-based development and code generation
Last updated by Dou Sun in 2016-12-02
Related Publications
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20091213629.8%
2007381950%
20061083835.2%
2005743040.5%
20041103027.3%
2003913437.4%
20021085954.6%
Advertisment
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1WiOptInternational Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks2017-01-052017-02-242017-05-15
bb1FMInternational Symposium on Formal Methods2016-05-162016-08-082016-11-07
MIEInternational Conference of the European Federation for Medical Informatics2012-01-152012-03-272012-08-26
cPSDPrivacy in Statistical Databases2016-05-082016-06-162016-09-14
b4QUATICInternational Conference on the Quality of Information and Communications Technology2014-04-282014-05-262014-09-23
cDFRWSDigital Forensics Research Conference2016-10-022016-12-182017-03-21
CNCTInternational Academic Conference on Computer, Networks and Communication Technology2016-12-05 2016-12-16
ICAITAInternational Conference on Advanced Information Technologies and Applications2014-09-132014-10-212014-11-07
ARITHIEEE Symposium on Computer Arithmetic2017-01-312017-03-312017-07-24
SmartCloudIEEE International Conference on Smart Cloud2016-08-012016-09-152016-11-18
Related Journals
Recommendation