Conference Information
ICFEM 2022: International Conference on Formal Engineering Methods
http://maude.ucm.es/ICFEM22/Submission Date: |
2022-04-10 |
Notification Date: |
2022-06-26 |
Conference Date: |
2022-10-24 |
Location: |
Madrid, Spain |
Years: |
23 |
CCF: c QUALIS: b1 Viewed: 25047 Tracked: 34 Attend: 5
Call For Papers
Overview ICFEM is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM has been hosted in many countries around the world. Topics of Interest Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: Abstraction, refinement and evolution Formal specification and modelling Formal verification and analysis 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 and security Formal methods for software reliability and dependability Development, integration and experiments involving verified systems Formal certification of products under international standards Formal model-based development and code generation
Last updated by Dou Sun in 2021-12-12
Acceptance Ratio
Year | Submitted | Accepted | Accepted(%) |
---|---|---|---|
2009 | 121 | 36 | 29.8% |
2007 | 38 | 19 | 50% |
2006 | 108 | 38 | 35.2% |
2005 | 74 | 30 | 40.5% |
2004 | 110 | 30 | 27.3% |
2003 | 91 | 34 | 37.4% |
2002 | 108 | 59 | 54.6% |
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
VANET | International Workshop on VehiculAr Inter-NETworking, Systems, and Applications | 2012-06-25 | |
FM | International Symposium on Formal Methods | 2022-09-04 | 2023-03-06 |
CIIEM | International Congress of Energy and Environment Engineering and Management | 2017-03-31 | 2017-07-17 |
BDE | International Conference on Big Data Engineering | 2022-02-10 | 2022-05-26 |
WABI | Workshop on Algorithms in Bioinformatics | 2020-05-18 | 2020-09-07 |
EWCN | International Conference on Emerging Wireless Communications and Networking | 2014-12-15 | 2015-04-06 |
MLPRIS | International Conference on Machine Learning, Pattern Recognition and Intelligent Systems | 2020-12-25 | 2020-07-17 |
EICC | European Interdisciplinary Cybersecurity Conference | 2023-01-15 | 2023-06-14 |
ICCCNT | International Conference on Computing, Communications and Networking Technologies | 2018-03-31 | 2018-07-10 |
SOUPS | International Symposium On Usable Privacy and Security | 2022-02-11 | 2022-08-07 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
International Journal of Performability Engineering | RAMS Consultants | 0973-1318 | ||
International Journal of Mathematics and Mathematical Sciences | Hindawi | 0161-1712 | ||
Journal of Systems Engineering and Electronics | Beijing Institute of Aerospace Information | 1004-4132 | ||
Control Engineering Practice | 3.475 | Elsevier | 0967-0661 | |
Fuzzy Information and Engineering | Taylor & Francis | 1616-8658 | ||
International journal of Software Engineering & Applications | AIRCC | 0976-2221 | ||
a | IEEE Transactions on Software Engineering | 4.778 | IEEE | 0098-5589 |
Computers & Chemical Engineering | 3.845 | Elsevier | 0098-1354 | |
Engineering Computations | 1.246 | Emerald | 0264-4401 | |
ACM SIGSOFT Software Engineering Notes | ACM | 0163-5948 |
Full Name | Impact Factor | Publisher |
---|---|---|
International Journal of Performability Engineering | RAMS Consultants | |
International Journal of Mathematics and Mathematical Sciences | Hindawi | |
Journal of Systems Engineering and Electronics | Beijing Institute of Aerospace Information | |
Control Engineering Practice | 3.475 | Elsevier |
Fuzzy Information and Engineering | Taylor & Francis | |
International journal of Software Engineering & Applications | AIRCC | |
IEEE Transactions on Software Engineering | 4.778 | IEEE |
Computers & Chemical Engineering | 3.845 | Elsevier |
Engineering Computations | 1.246 | Emerald |
ACM SIGSOFT Software Engineering Notes | ACM |
Recommendation