Conference Information
ICFEM 2023: International Conference on Formal Engineering Methods
https://formal-analysis.com/icfem/2023/Submission Date: |
2023-05-14 |
Notification Date: |
2023-07-30 |
Conference Date: |
2023-11-21 |
Location: |
Brisbane, Australia |
Years: |
24 |
CCF: c QUALIS: b1 Viewed: 26932 Tracked: 34 Attend: 5
Call For Papers
Scope and Topics 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 and equivalence checking Automated and interactive theorem proving 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 hardware and embedded 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 2023-05-03
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 | 2024-04-05 | 2024-09-09 |
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