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: 8867   Tracked: 13   Attend: 2

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
SPCPSWorkshop on Security and Privacy in Cyber-Physical Systems2017-03-232017-04-222017-06-21
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
Related Journals
CCFFull NameImpact FactorPublisherISSN
IEEE AccessIEEE2169-3536
Chinese Journal of Electronics CIE1022-4653
Cortex4.314ELSEVIER0010-9452
International Journal of Ambient Systems and Applications AIRCC2320-9259
aIEEE Transactions on Software Engineering IEEE0098-5589
cACM SIGSOFT Software Engineering Notes ACM0163-5948
Discrete Event Dynamic Systems2.877Springer0924-6703
bKnowledge Engineering ReviewCambridge University Press0269-8889
Journal of Computer Virology and Hacking Techniques Springer2263-8733
Journal of Optical Communications and Networking2.183OSA Publishing1943-0620
Recommendation