International Conference on Formal Engineering Methods and Applications ICFEME in January 2025 in Istanbul

<!DOCTYPE html> <html lang="en" dir="ltr"> <head>  <script async src="https://www.googletagmanager.com/gtag/js?id=G-PR6KLBBXF0"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'G-PR6KLBBXF0'); </script>  <script type="text/javascript" > (function(m,e,t,r,i,k,a){m[i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date(); for (var j = 0; j < document.scripts.length; j++) {if (document.scripts[j].src === r) { return; }} k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(55165294, "init", { clickmap:false, trackLinks:true, accurateTrackBounce:true, webvisor:false }); </script> <noscript><div><img src="https://mc.yandex.ru/watch/55165294" style="position:absolute; left:-9999px;" alt="" /></div></noscript>   <script> var _paq = window._paq = window._paq || []; /* tracker methods like "setCustomDimension" should be called before "trackPageView" */ _paq.push(['trackPageView']); _paq.push(['enableLinkTracking']); (function() { var u="//matomo.waset.org/"; _paq.push(['setTrackerUrl', u+'matomo.php']); _paq.push(['setSiteId', '1']); var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0]; g.async=true; g.src=u+'matomo.js'; s.parentNode.insertBefore(g,s); })(); </script>  <title>International Conference on Formal Engineering Methods and Applications ICFEME in January 2025 in Istanbul</title> <meta name="description" content="Formal Engineering Methods and Applications scheduled on January 30-31, 2025 in January 2025 in Istanbul is for the researchers, scientists, scholars, engineers, academic, scientific and university practitioners to present research activities that might want to attend events, meetings, seminars, congresses, workshops, summit, and symposiums."> <meta name="keywords" content="formal methods, software architecture, application, computer aided, computer applications, software engineering, encapsulation, open source software, object oriented programming, software metering, agile testing, functional programming, computer design, mobile app, developer, serverless architecture, january 2025 in istanbul, 2024, 2025, 2026"> <meta name="viewport" content="width=device-width, initial-scale=1, minimum-scale=1, maximum-scale=1, user-scalable=no"> <meta charset="utf-8"> <link href="https://cdn.waset.org/favicon.ico" type="image/x-icon" rel="shortcut icon"> <link href="https://cdn.waset.org/static/plugins/bootstrap-4.2.1/css/bootstrap.min.css" rel="stylesheet"> <link href="https://cdn.waset.org/static/plugins/fontawesome/css/all.min.css" rel="stylesheet"> <link href="https://cdn.waset.org/static/css/site.css?v=150220211555" rel="stylesheet"> </head> <body> <header> <div class="container"> <nav class="navbar navbar-expand-lg navbar-light"> <a class="navbar-brand" href="https://waset.org"> <img src="https://cdn.waset.org/static/images/wasetc.png" alt="Open Science Research Excellence" title="Open Science Research Excellence" /> </a> <button class="d-block d-lg-none navbar-toggler ml-auto" type="button" data-toggle="collapse" data-target="#navbarMenu" aria-controls="navbarMenu" aria-expanded="false" aria-label="Toggle navigation"> <span class="navbar-toggler-icon"></span> </button> <div class="w-100"> <div class="d-none d-lg-flex flex-row-reverse"> <form method="get" action="https://waset.org/search" class="form-inline my-2 my-lg-0"> <input class="form-control mr-sm-2" type="search" placeholder="Search Conferences" value="" name="q" aria-label="Search"> <button class="btn btn-light my-2 my-sm-0" type="submit"><i class="fas fa-search"></i></button> </form> </div> <div class="collapse navbar-collapse mt-1" id="navbarMenu"> <ul class="navbar-nav ml-auto align-items-center" id="mainNavMenu"> <li class="nav-item"> <a class="nav-link" href="https://waset.org/conferences" title="Conferences in 2024/2025/2026">Conferences</a> </li> <li class="nav-item"> <a class="nav-link" href="https://waset.org/disciplines" title="Disciplines">Disciplines</a> </li> <li class="nav-item"> <a class="nav-link" href="https://waset.org/committees" rel="nofollow">Committees</a> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownPublications" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> Publications </a> <div class="dropdown-menu" aria-labelledby="navbarDropdownPublications"> <a class="dropdown-item" href="https://publications.waset.org/abstracts">Abstracts</a> <a class="dropdown-item" href="https://publications.waset.org">Periodicals</a> <a class="dropdown-item" href="https://publications.waset.org/archive">Archive</a> </div> </li> <li class="nav-item"> <a class="nav-link" href="https://waset.org/page/support" title="Support">Support</a> </li> </ul> </div> </div> </nav> </div> </header> <main> <div class="container" id="conferenceDetail"> <nav aria-label="breadcrumb" class="mt-2"> <ol class="breadcrumb"> <li class="breadcrumb-item"><a href="https://waset.org/conferences" title="Conferences in 2024/2025/2026">Conferences</a></li> <li class="breadcrumb-item"><a href="https://waset.org/conferences-in-january-2025-in-istanbul" title="Conferences in January 2025 in Istanbul">January 2025 in Istanbul</a></li> <li class="breadcrumb-item"><a href="https://waset.org/formal-engineering-methods-and-applications-conference" title="International Conference on Formal Engineering Methods and Applications (ICFEME)">Formal Engineering Methods and Applications</a></li> </ol> </nav> <h1 class="text-center"> ICFEME 2025: 19. International Conference on Formal Engineering Methods and Applications </h1> <h2 class="text-center">January 30-31, 2025 in Istanbul, Türkiye</h2> <div class="mt-4"> <div class="card"> <div class="ribbon ribbon-green ribbon-top-right"><span>DIGITAL</span></div> <img src="https://cdn.waset.org/i/1140x400/static/images/cities/istanbul.jpg" alt="Istanbul" class="card-img-top"> <div class="card-body" style="padding:1.15rem;"> <div class="clearfix mb-1"> <div class="float-left">Conference Code: <strong>25TRIS01ICFEME001</strong></div> <div class="float-right"> <span id="dpContainer"></span> <a rel="nofollow" href="https://waset.org/formal-engineering-methods-and-applications-conference-in-january-2025-in-istanbul/reminder" class="btn btn-danger" data-modalify="true" title="Submission Reminder"><i class="far fa-bell"></i></a> <a rel="nofollow" href="https://waset.org/profile/submissions/papers/create/2474/9257" class="btn btn-success btn-paper-submission" title="Formal Engineering Methods and Applications, January 2025, Istanbul"><i class="far fa-file-alt"></i> Submit Your Paper</a> <a rel="nofollow" href="https://waset.org/profile/registrations/author/create/2474/9257" class="btn btn-info" title="Author Registration">Author Registration</a> <a rel="nofollow" href="https://waset.org/profile/registrations/listener/create/2474/9257" class="btn btn-info" title="Listener Registration">Listener Registration</a> </div> </div> <nav> <div class="nav nav-tabs" id="nav-tab" role="tablist"> <a class="nav-item nav-link active" id="nav-about-tab" data-toggle="tab" href="#nav-about" role="tab">About</a> <a class="nav-item nav-link" id="nav-venue-tab" data-toggle="tab" href="#nav-venue" role="tab">Venue</a> <a class="nav-item nav-link" id="nav-topics-tab" data-toggle="tab" href="#nav-topics" role="tab">Call For Papers</a> <a class="nav-item nav-link" id="nav-dates-tab" data-toggle="tab" href="#nav-dates" role="tab">Important Dates</a> <a class="nav-item nav-link" id="nav-committee-tab" data-toggle="tab" href="#nav-committee" role="tab">Committees</a> <a class="nav-item nav-link" id="nav-fees-tab" data-toggle="tab" href="#nav-fees" role="tab">Registration Fees</a> <a class="nav-item nav-link" id="nav-program-tab" data-toggle="tab" href="#nav-program" role="tab">Program</a> <a class="nav-item nav-link" id="nav-photos-tab" data-toggle="tab" href="#nav-photos" role="tab">Conference Photos</a> <a class="nav-item nav-link" id="nav-flyer-tab" data-toggle="tab" href="#nav-flyer" role="tab">Flyer</a> </div> </nav> <div class="tab-content pt-3" id="nav-tabContent"> <div class="tab-pane fade show active text-justify" id="nav-about" role="tabpanel"> <div> <div class="clearfix"> <h3 class="float-left">The International Research Conference Aims and Objectives</h3> </div> <p> The International Research Conference is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the <a href="https://waset.org/conferences-in-january-2025-in-istanbul/program#engineering-and-physical-sciences-research" target="_blank" title="January 2025 in Istanbul Conference Program">conference program</a>. Events will run over a span of time during the conference depending on the number and length of the presentations. With its high quality, it provides an exceptional value for students, academics and industry researchers. </p> <p> <strong>International Conference on Formal Engineering Methods and Applications</strong> aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of Formal Engineering Methods and Applications. It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Formal Engineering Methods and Applications. </p> </div> <h3>Call for Contributions</h3> <p> Prospective authors are kindly encouraged to contribute to and help shape the conference through submissions of their research abstracts, papers and e-posters. Also, high quality research contributions describing original and unpublished results of conceptual, constructive, empirical, experimental, or theoretical work in all areas of Formal Engineering Methods and Applications are cordially invited for presentation at the conference. The conference solicits contributions of abstracts, papers and e-posters that address themes and topics of the conference, including figures, tables and references of novel research materials. </p> <h3>Guidelines for Authors</h3> <p> Please ensure your submission meets the conference's strict guidelines for accepting scholarly papers. Downloadable versions of the check list for <a target="_blank" rel="nofollow" href="https://waset.org/static/files/help/wasetPaperCheckList.pdf">Full-Text Papers</a> and <a target="_blank" rel="nofollow" href="https://waset.org/static/files/help/wasetAbstractCheckList.pdf">Abstract Papers</a>. </p> <p> Please refer to the <a target="_blank" rel="nofollow" href="https://waset.org/page/paper-submission-guideline">Paper Submission Guideline</a>, <a target="_blank" rel="nofollow" href="https://waset.org/page/abstract-submission-guideline">Abstract Submission Guideline</a> and <a target="_blank" rel="nofollow" href="https://waset.org/page/author-information">Author Information</a> before submitting your paper. </p> <h3>Conference Proceedings</h3> <p> All submitted conference papers will be blind peer reviewed by three competent reviewers. The peer-reviewed conference proceedings are indexed in the <a target="_blank" href="https://publications.waset.org">Open Science Index</a>, <a target="_blank" href="https://scholar.google.com/citations?user=kfYkqrMAAAAJ&hl=en">Google Scholar</a>, <a target="_blank" href="https://www.semanticscholar.org/search?q=World%20Academy%20of%20Science%2C%20Engineering%20and%20Technology&sort=relevance">Semantic Scholar</a>, <a target="_blank" href="https://zenodo.org/communities/waset/?page=1&size=20">Zenedo</a>, <a target="_blank" href="https://www.base-search.net/Search/Results?lookfor=World+Academy+of+Science%2C+Engineering+and+Technology+&type=all&oaboost=1&ling=1&name=&newsearch=1&refid=dcbasen">BASE</a>, <a target="_blank" href="https://www.worldcat.org/search?qt=worldcat_org_all&q=World+Academy+of+Science%2C+Engineering+and+Technology">WorldCAT</a>, <a target="_blank" href="http://www.sherpa.ac.uk/romeo/search.php?id=566&fIDnum=|&mode=simple&la=en">Sherpa/RoMEO</a>, and other index databases. <a target="_blank" href="https://waset.org/page/impact-factor">Impact Factor Indicators</a>. </p> <h3>Special Journal Issues</h3> <p> <strong>19. International Conference on Formal Engineering Methods and Applications</strong> has teamed up with the Special Journal Issue on <a target="_blank" href="https://publications.waset.org/computer-and-information-engineering">Formal Engineering Methods and Applications</a>. 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. </p> <h3>Conference Sponsor and Exhibitor Opportunities</h3> <p> The Conference offers the opportunity to become a conference sponsor or exhibitor. To participate as a sponsor or exhibitor, please download and complete the <a href="https://waset.org/profile/registrations/sponsorship/create/2474/9257">Conference Sponsorship Request Form</a>. </p> <div class="mt-3"> <h3>Application Forms</h3> <ul> <li><a href="https://waset.org/profile/submissions/papers/create/2474/9257">Paper Submission</a></li> <li><a href="https://waset.org/profile/registrations/author/create/2474/9257">Author Registration</a></li> <li><a href="https://waset.org/profile/registrations/listener/create/2474/9257">Listener Registration</a></li> <li><a href="https://waset.org/profile/registrations/sponsorship/create/2474/9257">Sponsorship and Exhibition</a></li> <li><a href="https://waset.org/profile/registrations/volunteerism/create/2474/9257">Volunteerism</a></li> </ul> </div> <div class="mt-3"> <h3>Selected Papers</h3> <ol> <li> <a href="https://publications.waset.org/10013498/aeration-optimization-in-an-activated-sludge-wastewater-treatment-plant-based-on-cfd-method-a-case-study" target="_blank">Aeration Optimization in an Activated Sludge Wastewater Treatment Plant Based on CFD Method: A Case Study</a><br /> Seyed Sina Khamesi, Rana Rafiei </li> <li> <a href="https://publications.waset.org/10013505/a-case-study-to-observe-how-students-perception-of-the-possibility-of-success-impacts-their-performance-in-summative-exams" target="_blank">A Case Study to Observe How Students’ Perception of the Possibility of Success Impacts Their Performance in Summative Exams</a><br /> Rochelle Elva </li> <li> <a href="https://publications.waset.org/10013504/an-investigation-on-designing-and-enhancing-the-performance-of-h-darrieus-wind-turbine-of-10-kw-at-the-medium-range-of-wind-speed-in-vietnam" target="_blank">An Investigation on Designing and Enhancing the Performance of H-Darrieus Wind Turbine of 10 kW at the Medium Range of Wind Speed in Vietnam</a><br /> Ich Long Ngo, Dinh Tai Dang, Ngoc Tu Nguyen, Minh Duc Nguyen </li> <li> <a href="https://publications.waset.org/10013674/interdisciplinarity-a-pedagogical-practice-in-the-classrooms" target="_blank">Interdisciplinarity: A Pedagogical Practice in the Classrooms</a><br /> C. Cruz, A. Breda </li> <li> <a href="https://publications.waset.org/10013649/blockchain-based-assignment-management-system" target="_blank">Blockchain-Based Assignment Management System</a><br /> Amogh Katti, J. Sai Asritha, D. Nivedh, M. Kalyan Srinivas, B. Somnath Chakravarthi </li> <li> <a href="https://publications.waset.org/10013704/real-time-fitness-monitoring-with-mediapipe" target="_blank">Real-Time Fitness Monitoring with MediaPipe</a><br /> Chandra Prayaga, Lakshmi Prayaga, Aaron Wade, Kyle Rank, Gopi Shankar Mallu, Sri Satya Harsha Pola </li> <li> <a href="https://publications.waset.org/10013705/microfluidic-manipulation-for-biomedical-and-biohealth-applications" target="_blank">Microfluidic Manipulation for Biomedical and Biohealth Applications</a><br /> Reza Hadjiaghaie Vafaie, Sevda Givtaj </li> <li> <a href="https://publications.waset.org/10013736/non-reacting-numerical-simulation-of-axisymmetric-trapped-vortex-combustor" target="_blank">Non-reacting Numerical Simulation of Axisymmetric Trapped Vortex Combustor</a><br /> Heval Serhat Uluk, Sam M. Dakka, Kuldeep Singh, Richard Jefferson-Loveday </li> <li> <a href="https://publications.waset.org/10013770/the-effect-of-agricultural-waste-as-a-filler-in-fibre-cement-board-reinforced-with-natural-cellulosic-fibres" target="_blank">The Effect of Agricultural Waste as a Filler in Fibre Cement Board Reinforced with Natural Cellulosic Fibres</a><br /> Anuoluwapo S. Taiwo, David S. Ayre, Morteza Khorami, Sameer S. Rahatekar </li> <li> <a href="https://publications.waset.org/10013821/designing-interactive-applications-for-social-anxiety-scenario-stories-for-children-with-autism" target="_blank">Designing Interactive Applications for Social Anxiety Scenario Stories for Children with Autism</a><br /> Wen Huei Chou, Yi-Ting Chen </li> <li> <a href="https://publications.waset.org/10013858/personalized-applications-for-advanced-healthcare-through-ai-ml-and-blockchain" target="_blank">Personalized Applications for Advanced Healthcare through AI-ML and Blockchain</a><br /> Anuja Vyas, Aikel Indurkhya, Hari Krishna Garg </li> <li> <a href="https://publications.waset.org/10013860/continuous-measurement-of-spatial-exposure-based-on-visual-perception-in-three-dimensional-space" target="_blank">Continuous Measurement of Spatial Exposure Based on Visual Perception in Three-Dimensional Space</a><br /> Nanjiang Chen </li> <li> <a href="https://publications.waset.org/10013030/an-overview-of-project-management-application-in-computational-fluid-dynamics" target="_blank">An Overview of Project Management Application in Computational Fluid Dynamics</a><br /> Sajith Sajeev </li> <li> <a href="https://publications.waset.org/10012917/generative-design-of-acoustical-diffuser-and-absorber-elements-using-large-scale-additive-manufacturing" target="_blank">Generative Design of Acoustical Diffuser and Absorber Elements Using Large-Scale Additive Manufacturing</a><br /> S. Aziz, B. Alexander, C. Gengnagel, S. Weinzierl </li> <li> <a href="https://publications.waset.org/10013022/effect-of-sand-particle-transportation-in-oil-and-gas-pipeline-erosion" target="_blank">Effect of Sand Particle Transportation in Oil and Gas Pipeline Erosion</a><br /> Christopher Deekia Nwimae, Nigel Simms, Liyun Lao </li> </ul> </div> </div> <div class="tab-pane fade" id="nav-venue" role="tabpanel"> <p>Digital Program consists of the e-proceedings book which is available online-only and includes the conference communications (proceedings abstracts and papers). Registered participants can access the digitally available conference proceedings ( and certificates ) by visiting their profile pages. </p> </div> <div class="tab-pane fade" id="nav-topics" role="tabpanel"> <div> Formal Engineering Methods and Applications<br /> Abstraction and refinement<br /> Formal specification and modeling<br /> Program analysis<br /> Software verification<br /> Software model checking<br /> Formal approaches to software testing<br /> Formal methods for self-adaptive systems<br /> Formal methods for object and component systems<br /> Formal methods for concurrent and real-time systems<br /> Formal methods for cloud computing and cyber-physical systems<br /> Formal methods for software safety, security, reliability and dependability<br /> Tool development, integration and experiments involving verified systems<br /> Formal methods used in certifying products under international standards<br /> Formal model-based development and code generation </div> </div> <div class="tab-pane fade" id="nav-dates" role="tabpanel"> <table class="table table-sm table-striped"> <tbody> <tr> <td>Abstracts/Full-Text Paper Submission Deadline</td> <td> </td> <td class="textright">November 28, 2024</td> </tr> <tr> <td>Notification of Acceptance/Rejection</td> <td> </td> <td class="textright">December 12, 2024</td> </tr> <tr> <td>Final Paper (Camera Ready) Submission & Early Bird Registration Deadline</td> <td> </td> <td class="textright">December 31, 2024</td> </tr> <tr> <td>Conference Dates</td> <td> </td> <td class="textright">January 30-31, 2025</td> </tr> </tbody> </table> </div> <div class="tab-pane fade" id="nav-fees" role="tabpanel"> </div> <div class="tab-pane fade" id="nav-committee" role="tabpanel"></div> <div class="tab-pane fade" id="nav-program" role="tabpanel"></div> <div class="tab-pane fade" id="nav-photos" role="tabpanel"></div> <div class="tab-pane fade" id="nav-flyer" role="tabpanel"></div> </div> <div class="card-text text-justify"> </div> </div> </div> </div> <h3 class="text-center mt-3">Other Conferences</h3> <div class="row mt-3"> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-green ribbon-top-right"><span>DIGITAL</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/cairo.jpg" alt="Cairo" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-december-2024-in-cairo" title="International Conference on Formal Engineering Methods and Applications ICFEME in December 2024 in Cairo"> December 2024 in Cairo </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 24EGCA12ICFEME001</li> <li>Abstract/Full-Text Paper Submission: November 28, 2024</li> <li>Notification of Acceptance/Rejection: December 12, 2024</li> <li>Final Paper and Early Bird Registration: November 15, 2024</li> <li>Conference Date: December 16-17, 2024</li> <li><a href="https://waset.org/conferences-in-december-2024-in-cairo/program" title="December 2024 in Cairo Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-green ribbon-top-right"><span>DIGITAL</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/default.jpg" alt="Maldives" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-january-2025-in-maldives" title="International Conference on Formal Engineering Methods and Applications ICFEME in January 2025 in Maldives"> January 2025 in Maldives </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 25MVMA01ICFEME001</li> <li>Abstract/Full-Text Paper Submission: November 28, 2024</li> <li>Notification of Acceptance/Rejection: December 12, 2024</li> <li>Final Paper and Early Bird Registration: December 15, 2023</li> <li>Conference Date: January 23-24, 2025</li> <li><a href="https://waset.org/conferences-in-january-2025-in-maldives/program" title="January 2025 in Maldives Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-green ribbon-top-right"><span>DIGITAL</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/madrid.jpg" alt="Madrid" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-march-2025-in-madrid" title="International Conference on Formal Engineering Methods and Applications ICFEME in March 2025 in Madrid"> March 2025 in Madrid </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 25ESMA03ICFEME001</li> <li>Abstract/Full-Text Paper Submission: November 28, 2024</li> <li>Notification of Acceptance/Rejection: December 12, 2024</li> <li>Final Paper and Early Bird Registration: February 26, 2025</li> <li>Conference Date: March 17-18, 2025</li> <li><a href="https://waset.org/conferences-in-march-2025-in-madrid/program" title="March 2025 in Madrid Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-green ribbon-top-right"><span>DIGITAL</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/singapore.jpg" alt="Singapore" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-april-2025-in-singapore" title="International Conference on Formal Engineering Methods and Applications ICFEME in April 2025 in Singapore"> April 2025 in Singapore </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 25SGSI04ICFEME001</li> <li>Abstract/Full-Text Paper Submission: November 28, 2024</li> <li>Notification of Acceptance/Rejection: December 12, 2024</li> <li>Final Paper and Early Bird Registration: April 02, 2025</li> <li>Conference Date: April 24-25, 2025</li> <li><a href="https://waset.org/conferences-in-april-2025-in-singapore/program" title="April 2025 in Singapore Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-green ribbon-top-right"><span>DIGITAL</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/paris.jpg" alt="Paris" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-may-2025-in-paris" title="International Conference on Formal Engineering Methods and Applications ICFEME in May 2025 in Paris"> May 2025 in Paris </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 25FRPA05ICFEME001</li> <li>Abstract/Full-Text Paper Submission: November 28, 2024</li> <li>Notification of Acceptance/Rejection: December 12, 2024</li> <li>Final Paper and Early Bird Registration: April 16, 2025</li> <li>Conference Date: May 08-09, 2025</li> <li><a href="https://waset.org/conferences-in-may-2025-in-paris/program" title="May 2025 in Paris Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-green ribbon-top-right"><span>DIGITAL</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/istanbul.jpg" alt="Istanbul" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-june-2025-in-istanbul" title="International Conference on Formal Engineering Methods and Applications ICFEME in June 2025 in Istanbul"> June 2025 in Istanbul </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 25TRIS06ICFEME001</li> <li>Abstract/Full-Text Paper Submission: November 28, 2024</li> <li>Notification of Acceptance/Rejection: December 12, 2024</li> <li>Final Paper and Early Bird Registration: May 27, 2025</li> <li>Conference Date: June 26-27, 2025</li> <li><a href="https://waset.org/conferences-in-june-2025-in-istanbul/program" title="June 2025 in Istanbul Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-hybrid ribbon-top-right"><span>HYBRID</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/cairo.jpg" alt="Cairo" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-december-2025-in-cairo" title="International Conference on Formal Engineering Methods and Applications ICFEME in December 2025 in Cairo"> December 2025 in Cairo </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 25EGCA12ICFEME001</li> <li>Abstract/Full-Text Paper Submission: November 28, 2024</li> <li>Notification of Acceptance/Rejection: December 12, 2024</li> <li>Final Paper and Early Bird Registration: November 15, 2025</li> <li>Conference Date: December 13-14, 2025</li> <li><a href="https://waset.org/conferences-in-december-2025-in-cairo/program" title="December 2025 in Cairo Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-hybrid ribbon-top-right"><span>HYBRID</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/istanbul.jpg" alt="Istanbul" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-january-2026-in-istanbul" title="International Conference on Formal Engineering Methods and Applications ICFEME in January 2026 in Istanbul"> January 2026 in Istanbul </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 26TRIS01ICFEME001</li> <li>Abstract/Full-Text Paper Submission: February 13, 2025</li> <li>Notification of Acceptance/Rejection: February 27, 2025</li> <li>Final Paper and Early Bird Registration: December 31, 2025</li> <li>Conference Date: January 28-29, 2026</li> <li><a href="https://waset.org/conferences-in-january-2026-in-istanbul/program" title="January 2026 in Istanbul Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-hybrid ribbon-top-right"><span>HYBRID</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/madrid.jpg" alt="Madrid" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-march-2026-in-madrid" title="International Conference on Formal Engineering Methods and Applications ICFEME in March 2026 in Madrid"> March 2026 in Madrid </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 26ESMA03ICFEME001</li> <li>Abstract/Full-Text Paper Submission: February 13, 2025</li> <li>Notification of Acceptance/Rejection: February 27, 2025</li> <li>Final Paper and Early Bird Registration: February 26, 2026</li> <li>Conference Date: March 25-26, 2026</li> <li><a href="https://waset.org/conferences-in-march-2026-in-madrid/program" title="March 2026 in Madrid Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-hybrid ribbon-top-right"><span>HYBRID</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/singapore.jpg" alt="Singapore" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-may-2026-in-singapore" title="International Conference on Formal Engineering Methods and Applications ICFEME in May 2026 in Singapore"> May 2026 in Singapore </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 26SGSI05ICFEME001</li> <li>Abstract/Full-Text Paper Submission: February 13, 2025</li> <li>Notification of Acceptance/Rejection: February 27, 2025</li> <li>Final Paper and Early Bird Registration: April 02, 2026</li> <li>Conference Date: May 03-04, 2026</li> <li><a href="https://waset.org/conferences-in-may-2026-in-singapore/program" title="May 2026 in Singapore Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-hybrid ribbon-top-right"><span>HYBRID</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/paris.jpg" alt="Paris" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-may-2026-in-paris" title="International Conference on Formal Engineering Methods and Applications ICFEME in May 2026 in Paris"> May 2026 in Paris </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 26FRPA05ICFEME001</li> <li>Abstract/Full-Text Paper Submission: February 13, 2025</li> <li>Notification of Acceptance/Rejection: February 27, 2025</li> <li>Final Paper and Early Bird Registration: April 16, 2026</li> <li>Conference Date: May 17-18, 2026</li> <li><a href="https://waset.org/conferences-in-may-2026-in-paris/program" title="May 2026 in Paris Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-hybrid ribbon-top-right"><span>HYBRID</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/istanbul.jpg" alt="Istanbul" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-june-2026-in-istanbul" title="International Conference on Formal Engineering Methods and Applications ICFEME in June 2026 in Istanbul"> June 2026 in Istanbul </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 26TRIS06ICFEME001</li> <li>Abstract/Full-Text Paper Submission: February 13, 2025</li> <li>Notification of Acceptance/Rejection: February 27, 2025</li> <li>Final Paper and Early Bird Registration: May 27, 2026</li> <li>Conference Date: June 28-29, 2026</li> <li><a href="https://waset.org/conferences-in-june-2026-in-istanbul/program" title="June 2026 in Istanbul Conference Program">Conference Program</a></li> </ul> </div> </div> </div> <div class="col-md-6 mb-3"> <div class="card"> <div class="ribbon ribbon-hybrid ribbon-top-right"><span>HYBRID</span></div> <img src="https://cdn.waset.org/i/360x100/static/images/cities/cairo.jpg" alt="Cairo" class="card-img-top"> <div class="card-body"> <h5 class="card-title"> <a href="https://waset.org/formal-engineering-methods-and-applications-conference-in-december-2026-in-cairo" title="International Conference on Formal Engineering Methods and Applications ICFEME in December 2026 in Cairo"> December 2026 in Cairo </a> </h5> <ul class="list-unstyled"> <li>Conference Code: 26EGCA12ICFEME001</li> <li>Abstract/Full-Text Paper Submission: February 13, 2025</li> <li>Notification of Acceptance/Rejection: February 27, 2025</li> <li>Final Paper and Early Bird Registration: November 15, 2026</li> <li>Conference Date: December 13-14, 2026</li> <li><a href="https://waset.org/conferences-in-december-2026-in-cairo/program" title="December 2026 in Cairo Conference Program">Conference Program</a></li> </ul> </div> </div> </div> </div> </div> </main> <footer> <div id="infolinks" class="pt-3 pb-2"> <div class="container"> <div style="background-color:#f5f5f5;" class="p-3"> <div class="row"> <div class="col-md-2"> <ul class="list-unstyled"> About <li><a href="https://waset.org/page/support">About Us</a></li> <li><a href="https://waset.org/page/support#legal-information">Legal</a></li> <li><a target="_blank" rel="nofollow" href="https://waset.org/static/files/WASET-16th-foundational-anniversary.pdf">WASET celebrates its 16th foundational anniversary</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Account <li><a href="https://waset.org/profile">My Account</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Explore <li><a href="https://waset.org/disciplines">Disciplines</a></li> <li><a href="https://waset.org/conferences">Conferences</a></li> <li><a href="https://waset.org/conference-programs">Conference Program</a></li> <li><a href="https://waset.org/committees">Committees</a></li> <li><a href="https://publications.waset.org">Publications</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Research <li><a href="https://publications.waset.org/abstracts">Abstracts</a></li> <li><a href="https://publications.waset.org">Periodicals</a></li> <li><a href="https://publications.waset.org/archive">Archive</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Open Science <li><a target="_blank" rel="nofollow" href="https://waset.org/static/files/Open-Science-Philosophy.pdf">Open Science Philosophy</a></li> <li><a target="_blank" rel="nofollow" href="https://waset.org/static/files/Open-Science-Award.pdf">Open Science Award</a></li> <li><a target="_blank" rel="nofollow" href="https://waset.org/static/files/Open-Society-Open-Science-and-Open-Innovation.pdf">Open Innovation</a></li> <li><a target="_blank" rel="nofollow" href="https://waset.org/static/files/Postdoctoral-Fellowship-Award.pdf">Postdoctoral Fellowship Award</a></li> <li><a target="_blank" rel="nofollow" href="https://waset.org/static/files/Scholarly-Research-Review.pdf">Scholarly Research Review</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Support <li><a href="https://waset.org/page/support">Support</a></li> <li><a href="https://waset.org/profile/messages/create">Contact Us</a></li> <li><a href="https://waset.org/profile/messages/create">Report Abuse</a></li> </ul> </div> </div> </div> </div> </div> <div class="container text-center"> <hr style="margin-top:0;margin-bottom:.3rem;"> <a href="https://creativecommons.org/licenses/by/4.0/" target="_blank" class="text-muted small">Creative Commons Attribution 4.0 International License</a> <div id="copy" class="mt-2">© 2024 World Academy of Science, Engineering and Technology</div> </div> </footer> <a href="javascript:" id="return-to-top"><i class="fas fa-arrow-up"></i></a> <div class="modal" id="modal-template"> <div class="modal-dialog"> <div class="modal-content"> <div class="row m-0 mt-1"> <div class="col-md-12"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> </div> </div> <div class="modal-body"></div> </div> </div> </div> <script src="https://cdn.waset.org/static/plugins/jquery-3.3.1.min.js"></script> <script src="https://cdn.waset.org/static/plugins/bootstrap-4.2.1/js/bootstrap.bundle.min.js"></script> <script src="https://cdn.waset.org/static/js/site.js?v=150220211556"></script> <script type="application/ld+json">{"@context":"http:\/\/schema.org\/","@type":"Event","name":"Formal Engineering Methods and Applications Conference in January 2025 in Istanbul","description":"Formal Engineering Methods and Applications Conference","image":"https:\/\/cdn.waset.org\/i\/500\/static\/images\/cities\/istanbul.jpg","organizer":{"@type":"Organization","name":"WASET","url":"https:\/\/waset.org"},"performer":{"@type":"Organization","name":"WASET"},"url":"https:\/\/waset.org\/formal-engineering-methods-and-applications-conference-in-january-2025-in-istanbul","startDate":"2025-01-29T21:00:00.000000Z","endDate":"2025-01-30T21:00:00.000000Z","eventStatus":"https:\/\/schema.org\/EventScheduled","offers":[{"name":"Non-Student Oral\/Poster Presenter Registration","itemCondition":"Non-Student Oral\/Poster Presenter Registration","price":"500","availability":"https:\/\/schema.org\/InStock","priceCurrency":"EUR","url":"https:\/\/waset.org\/formal-engineering-methods-and-applications-conference-in-january-2025-in-istanbul","validFrom":"2024-01-29T21:00:00.000000Z","validThrough":"2025-01-30T21:00:00.000000Z"},{"name":"Student Oral\/Poster Presenter Registration","itemCondition":"Student Oral\/Poster Presenter Registration","price":"400","availability":"https:\/\/schema.org\/InStock","priceCurrency":"EUR","url":"https:\/\/waset.org\/formal-engineering-methods-and-applications-conference-in-january-2025-in-istanbul","validFrom":"2024-01-29T21:00:00.000000Z","validThrough":"2025-01-30T21:00:00.000000Z"},{"name":"Listener Registration","itemCondition":"Listener Registration","price":"300","availability":"https:\/\/schema.org\/InStock","priceCurrency":"EUR","url":"https:\/\/waset.org\/formal-engineering-methods-and-applications-conference-in-january-2025-in-istanbul","validFrom":"2024-01-29T21:00:00.000000Z","validThrough":"2025-01-30T21:00:00.000000Z"}],"eventAttendanceMode":"https:\/\/schema.org\/OnlineEventAttendanceMode","location":{"@type":"VirtualLocation","url":"https:\/\/waset.org"}}</script> <script> const conferenceId = 2474; const cityId = 9257; const routePhotos = "https://waset.org/formal-engineering-methods-and-applications-conference-in-january-2025-in-istanbul/photos"; const routeProgram = "https://waset.org/conferences-in-january-2025-in-istanbul/program/inline"; const routeCommittee = "https://waset.org/formal-engineering-methods-and-applications-conference-in-january-2025-in-istanbul/committee"; const routeFlyer = "https://waset.org/doc/flyer/2474/9257"; const routeFees = "https://waset.org/formal-engineering-methods-and-applications-conference-in-january-2025-in-istanbul/fees"; jQuery('a[data-toggle="tab"]').on('shown.bs.tab', function (e) { let activeTab = e.target; let prevTab = e.relatedTarget; let activeTabId = jQuery(activeTab).attr('href').substr(1); let container = jQuery('#'+ activeTabId); if (container.html().trim().length > 0) { return; } if (activeTabId == 'nav-photos') { jQuery.get(routePhotos, (r) => { container.html(r); }); } if (activeTabId == 'nav-program') { jQuery.get(routeProgram, (r) => { container.html(r); }); } if (activeTabId == 'nav-committee') { jQuery.get(routeCommittee, (r) => { container.html(r); }); } if (activeTabId == 'nav-fees') { jQuery.get(routeFees, (r) => { container.html(r); }); } if (activeTabId == 'nav-flyer') { //container.html('<iframe src="//docs.google.com/gview?url='+ routeFlyer +'&embedded=true" style="width:100%;height:600px;" frameborder="0"></iframe>'); container.html('<iframe src="'+ routeFlyer +'" style="width:100%;height:600px;" frameborder="0"></iframe>'); } }); </script> <script> jQuery(document).ready(function() { jQuery.get({ url: "/xhr/dp/"+ cityId, cache: false }).then(function(response){ jQuery('#dpContainer').append(response); }); }); </script> <script> jQuery(document).ready(function() { /*jQuery.get("https://waset.org/xhr/user-menu", function (response) { jQuery('#mainNavMenu').append(response); });*/ jQuery.get({ url: "https://waset.org/xhr/user-menu", cache: false }).then(function(response){ jQuery('#mainNavMenu').append(response); }); }); </script> </body> </html>

CINXE.COM

International Conference on Formal Engineering Methods and Applications ICFEME in January 2025 in Istanbul