Excellence in Research and Innovation for Humanity

ICFEME 2024 : 26th International Conference on Formal Engineering Methods and Applications

Madrid, Spain
March 26 - 27, 2024

Conference Code: 24ES03ICFEME

Conference Proceedings

All submitted conference papers will be blind peer reviewed by three competent reviewers. The peer-reviewed conference proceedings are indexed in the International Science Index (ISI), Google Scholar, Semantic Scholar, Zenedo, OpenAIRE, BASE, WorldCAT, Sherpa/RoMEO, and other index databases. Impact Factor Indicators.

Special Journal Issues

ICFEME 2024 has teamed up with the Special Journal Issue on Formal Engineering Methods and Applications. A number of selected high-impact full text papers will also be considered for the special journal issues. All submitted papers will have the opportunity to be considered for this Special Journal Issue. The paper selection will be carried out during the peer review process as well as at the conference presentation stage. Submitted papers must not be under consideration by any other journal or publication. The final decision for paper selection will be made based on peer review reports by the Guest Editors and the Editor-in-Chief jointly. Selected full-text papers will be published online free of charge.

Conference Sponsor and Exhibitor Opportunities

The Conference offers the opportunity to become a conference sponsor or exhibitor. To participate as a sponsor or exhibitor, please download and complete the Conference Sponsorship Request Form.

Important Dates

Abstracts/Full-Text Paper Submission Deadline   September 26, 2023
Notification of Acceptance/Rejection   December 26, 2023
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline   November 26, 2023
Conference Dates   March 26 - 27, 2024

Important Notes

Please ensure your submission meets the conference's strict guidelines for accepting scholarly papers. Downloadable versions of the check list for Full-Text Papers and Abstract Papers.

Please refer to the Paper Submission GUIDE before submitting your paper.

Selected Conference Papers

1) Development of Active Learning Calculus Course for Biomedical Program
Mikhail Bouniaev
2) Computational Study of Blood Flow Analysis for Coronary Artery Disease
Radhe Tado, Ashish B. Deoghare, K. M. Pandey
3) Concept of a Pseudo-Lower Bound Solution for Reinforced Concrete Slabs
M. De Filippo, J. S. Kuang
4) Characterisation of Wind-Driven Ventilation in Complex Terrain Conditions
Daniel Micallef, Damien Bounaudet, Robert N. Farrugia, Simon P. Borg, Vincent Buhagiar, Tonio Sant
5) Leveraging Reasoning through Discourse: A Case Study in Secondary Mathematics Classrooms
Cory A. Bennett
6) The Use of Lane-Centering to Assure the Visible Light Communication Connectivity for a Platoon of Autonomous Vehicles
Mohammad Y. Abualhoul, Edgar Talavera Munoz, Fawzi Nashashibi
7) High Performance Electrocardiogram Steganography Based on Fast Discrete Cosine Transform
Liang-Ta Cheng, Ching-Yu Yang
8) Accelerating the Uptake of Smart City Applications through Cloud Computing
Panagiotis Tsarchopoulos, Nicos Komninos, Christina Kakderi
9) Numerical Investigation of Pressure Drop and Erosion Wear by Computational Fluid Dynamics Simulation
Praveen Kumar, Nitin Kumar, Hemant Kumar
10) Electoral Mathematics and Asymmetrical Treatment to Political Parties: The Mexican Case
Verónica Arredondo, Miguel Martínez-Panero, Teresa Peña, Victoriano Ramírez
11) Modelling a Hospital as a Queueing Network: Analysis for Improving Performance
Emad Alenany, M. Adel El-Baz
12) Computational Fluid Dynamics Simulation and Comparison of Flow through Mechanical Heart Valve Using Newtonian and Non-Newtonian Fluid
D. Šedivý, S. Fialová
13) Sfard’s Commognitive Framework as a Method of Discourse Analysis in Mathematics
Dong-Joong Kim, Sangho Choi, Woong Lim
14) Numerical Study of Effects of Air Dam on the Flow Field and Pressure Distribution of a Passenger Car
Min Ye Koo, Ji Ho Ahn, Byung Il You, Gyo Woo Lee
15) Speeding up Nonlinear Time History Analysis of Base-Isolated Structures Using a Nonlinear Exponential Model
Nicolò Vaiana, Giorgio Serino

Similar conferences about Mathematical and Computational Sciences