CINXE.COM
ICFEM 2024: International Conference on Formal Engineering Methods
<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"/> <meta name="description" content="ICFEM 2024: International Conference on Formal Engineering Methods" /> <link rel="stylesheet" type="text/css" href="/assets/478ca885/gridview/styles.css" /> <link rel="stylesheet" type="text/css" href="/assets/b0666b16/pager.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/bootstrap.min.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/bootstrap-responsive.min.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/abound.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/style-orange.css" /> <script type="text/javascript" src="/assets/477bc0eb/jquery.min.js"></script> <script type="text/javascript" src="/assets/477bc0eb/jquery.ba-bbq.min.js"></script> <script type="text/javascript" src="/themes/abound/js/bootstrap.min.js"></script> <script type="text/javascript" src="/themes/abound/js/plugins/jquery.flot.min.js"></script> <title>ICFEM 2024: International Conference on Formal Engineering Methods</title> <meta name="viewport" content="width=device-width, initial-scale=1.0"/> <!-- <meta name="description" content="The Latest Computer Conference and Journal List"> --> <meta name="author" content="www.myhuiban.com"/> <!-- <link href='http://fonts.googleapis.com/css?family=Carrois+Gothic' rel='stylesheet' type='text/css'> --> <!-- Le HTML5 shim, for IE6-8 support of HTML5 elements --> <!--[if lt IE 9]> <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script> <![endif]--> <link rel="alternate" hreflang="x-default" href="/conference/228" /> <link rel="alternate" hreflang="en" href="/conference/228?lang=en_us" /> <link rel="alternate" hreflang="es" href="/conference/228?lang=es" /> <link rel="alternate" hreflang="zh" href="/conference/228?lang=zh_cn" /> <link rel="alternate" hreflang="ja" href="/conference/228?lang=ja" /> <!-- Fav and Touch and touch icons --> <link rel="shortcut icon" href="/themes/abound/img/icons/favicon.ico"> <link rel="apple-touch-icon-precomposed" sizes="144x144" href="/themes/abound/img/icons/apple-touch-icon-144-precomposed.png"> <link rel="apple-touch-icon-precomposed" sizes="72x72" href="/themes/abound/img/icons/apple-touch-icon-72-precomposed.png"> <link rel="apple-touch-icon-precomposed" href="/themes/abound/img/icons/apple-touch-icon-57-precomposed.png"> <!-- styles for style switcher <link rel="stylesheet" type="text/css" href="/themes/abound/css/style-orange.css" /> --> <!-- Global site tag (gtag.js) - Google Analytics --> <script async src="https://www.googletagmanager.com/gtag/js?id=UA-16655604-2"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'UA-16655604-2'); </script> <script async src="https://pagead2.googlesyndication.com/pagead/js/adsbygoogle.js?client=ca-pub-6743617430731451" crossorigin="anonymous"></script> <!-- InMobi Choice. Consent Manager Tag v3.0 (for TCF 2.2) --> <script type="text/javascript" async=true> (function() { var host = "www.themoneytizer.com"; var element = document.createElement('script'); var firstScript = document.getElementsByTagName('script')[0]; var url = 'https://cmp.inmobi.com' .concat('/choice/', '6Fv0cGNfc_bw8', '/', host, '/choice.js?tag_version=V3'); var uspTries = 0; var uspTriesLimit = 3; element.async = true; element.type = 'text/javascript'; element.src = url; firstScript.parentNode.insertBefore(element, firstScript); function makeStub() { var TCF_LOCATOR_NAME = '__tcfapiLocator'; var queue = []; var win = window; var cmpFrame; function addFrame() { var doc = win.document; var otherCMP = !!(win.frames[TCF_LOCATOR_NAME]); if (!otherCMP) { if (doc.body) { var iframe = doc.createElement('iframe'); iframe.style.cssText = 'display:none'; iframe.name = TCF_LOCATOR_NAME; doc.body.appendChild(iframe); } else { setTimeout(addFrame, 5); } } return !otherCMP; } function tcfAPIHandler() { var gdprApplies; var args = arguments; if (!args.length) { return queue; } else if (args[0] === 'setGdprApplies') { if ( args.length > 3 && args[2] === 2 && typeof args[3] === 'boolean' ) { gdprApplies = args[3]; if (typeof args[2] === 'function') { args[2]('set', true); } } } else if (args[0] === 'ping') { var retr = { gdprApplies: gdprApplies, cmpLoaded: false, cmpStatus: 'stub' }; if (typeof args[2] === 'function') { args[2](retr); } } else { if(args[0] === 'init' && typeof args[3] === 'object') { args[3] = Object.assign(args[3], { tag_version: 'V3' }); } queue.push(args); } } function postMessageEventHandler(event) { var msgIsString = typeof event.data === 'string'; var json = {}; try { if (msgIsString) { json = JSON.parse(event.data); } else { json = event.data; } } catch (ignore) {} var payload = json.__tcfapiCall; if (payload) { window.__tcfapi( payload.command, payload.version, function(retValue, success) { var returnMsg = { __tcfapiReturn: { returnValue: retValue, success: success, callId: payload.callId } }; if (msgIsString) { returnMsg = JSON.stringify(returnMsg); } if (event && event.source && event.source.postMessage) { event.source.postMessage(returnMsg, '*'); } }, payload.parameter ); } } while (win) { try { if (win.frames[TCF_LOCATOR_NAME]) { cmpFrame = win; break; } } catch (ignore) {} if (win === window.top) { break; } win = win.parent; } if (!cmpFrame) { addFrame(); win.__tcfapi = tcfAPIHandler; win.addEventListener('message', postMessageEventHandler, false); } }; makeStub(); var uspStubFunction = function() { var arg = arguments; if (typeof window.__uspapi !== uspStubFunction) { setTimeout(function() { if (typeof window.__uspapi !== 'undefined') { window.__uspapi.apply(window.__uspapi, arg); } }, 500); } }; var checkIfUspIsReady = function() { uspTries++; if (window.__uspapi === uspStubFunction && uspTries < uspTriesLimit) { console.warn('USP is not accessible'); } else { clearInterval(uspInterval); } }; if (typeof window.__uspapi === 'undefined') { window.__uspapi = uspStubFunction; var uspInterval = setInterval(checkIfUspIsReady, 6000); } })(); </script> <!-- End InMobi Choice. Consent Manager Tag v3.0 (for TCF 2.2) --> <style> .qc-cmp-button, .qc-cmp-button.qc-cmp-secondary-button:hover { background-color: #000000 !important; border-color: #000000 !important; } .qc-cmp-button:hover, .qc-cmp-button.qc-cmp-secondary-button { background-color: transparent !important; border-color: #000000 !important; } .qc-cmp-alt-action, .qc-cmp-link { color: #000000 !important; } .qc-cmp-button, .qc-cmp-button.qc-cmp-secondary-button:hover { color: #ffffff !important; } .qc-cmp-button:hover, .qc-cmp-button.qc-cmp-secondary-button { color: #000000 !important; } .qc-cmp-small-toggle, .qc-cmp-toggle { background-color: #000000 !important; border-color: #000000 !important; } .qc-cmp-main-messaging, .qc-cmp-messaging, .qc-cmp-sub-title, .qc-cmp-privacy-settings-title, .qc-cmp-purpose-list, .qc-cmp-tab, .qc-cmp-title, .qc-cmp-vendor-list, .qc-cmp-vendor-list-title, .qc-cmp-enabled-cell, .qc-cmp-toggle-status, .qc-cmp-table, .qc-cmp-table-header { color: #000000 !important; } .qc-cmp-ui { background-color: #ffffff !important; } .qc-cmp-table, .qc-cmp-table-row { border: 1px solid !important; border-color: #000000 !important; } #qcCmpButtons a { text-decoration: none !important; } #qcCmpButtons button { margin-top: 65px; } @media screen and (min-width: 851px) { #qcCmpButtons a { position: absolute; bottom: 10%; left: 60px; } } .qc-cmp-qc-link-container{ display:none; } </style> </head> <body> <section id="navigation-main"> <!-- Require the navigation --> <div class="navbar navbar-inverse navbar"> <div class="navbar-inner"> <div class="container"> <a class="btn btn-navbar" data-toggle="collapse" data-target=".nav-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </a> <!-- Be sure to leave the brand out there if you want it shown --> <a class="brand" href="https://www.myhuiban.com"><strong>Conference Partner</strong></a> <div class="nav-collapse"> <ul class="pull-right nav" id="yw17"> <li class="item-test"><a href="/">Home</a></li> <li class="item-test"><a href="/conferences">Conferences</a></li> <li class="item-test"><a href="/journals">Journals</a></li> <li class="item-test"><a href="/login">Login</a></li> </ul> </div> </div> </div> </div> <div class="subnav navbar navbar"> <div class="navbar-inner"> <div class="container"> <form class="navbar-search pull-right" id="search-form" action="/search" method="get"> <div> <img src="/images/CN.gif"/><a href="/conference/228?lang=zh_cn"> 中文 </a> | <img src="/images/US.gif"/><a href="/conference/228?lang=en_us"> English </a> | <img src="/images/ES.gif"/><a href="/conference/228?lang=es"> Español </a> | <img src="/images/JP.gif"/><a href="/conference/228?lang=ja"> 日本語 </a>   <input class="search-query span2" placeholder="Search" name="SearchForm[key]" id="SearchForm_key" type="text" maxlength="200" /> </div> </form> </div><!-- container --> </div><!-- navbar-inner --> </div><!-- subnav --> </section><!-- /#navigation-main --> <section class="main-body"> <div class="container-fluid"> <!-- Include content pages --> <div class="row-fluid"> <div class="span10"> <div class="breadcrumb"> <a href="/">Conference Partner</a> » <a href="/conferences">Conferences</a> » <span>ICFEM</span></div><!-- breadcrumbs --> <!-- Include content pages --> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Event", "name": "ICFEM 2024: International Conference on Formal Engineering Methods", "location": { "@type": "Place", "name":"Hiroshima, Japan", "address":{ "@type": "PostalAddress", "addressLocality": "Hiroshima, Japan" } }, "startDate": "2024-12-02" } </script> <div class="portlet" id="yw0"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-tasks"></i> Conference Information</div> </div> <div class="portlet-content"> <div align="center"> <h5>ICFEM 2024: International Conference on Formal Engineering Methods</h5> <a href="https://icfem2024.info/">https://icfem2024.info/</a> <br /> <table border="0" align="center" cellpadding="0" cellspacing="1"> <tr> <td width="150" height="25"><div align="center">Submission Date:</div></td> <td width="150"><div align="center">2024-06-24</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Notification Date:</div></td> <td width="150"><div align="center">2024-09-09</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Conference Date:</div></td> <td width="150"><div align="center">2024-12-02</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Location:</div></td> <td width="150"><div align="center">Hiroshima, Japan</div></td> </tr> <tr> <td width="100" height="25"><div align="center">Years:</div></td> <td width="150"><div align="center"><span class="badge badge-info">25</span></div></td> </tr> </table> <div class="hidden-phone" align="center"> CCF: <span class="badge badge-warning">c</span> QUALIS: <span class="badge badge-warning">b1</span> Viewed: <span class="badge badge-success">33234</span> Tracked: <span class="badge badge-warning">33</span> Attend: <span class="badge badge-important">5</span> </div> </div> <br /> </div> </div> <div class="portlet" id="yw1"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-bullhorn"></i> Call For Papers</div> </div> <div class="portlet-content"> <pre>Since it was started in Hiroshima, Japan in 1997, ICFEM has provided a forum for both researchers and practitioners to discuss and exchange their experience and results in research on theories, methods, languages, and supporting tools for integrating formal methods into conventional software engineering technologies to provide more effective and efficient approaches to large-scale software engineering. The goal of this conference is to bring together industrial, academic, and government experts in both formal methods and software engineering to help advance the state of the art. At its first return to Hiroshima since 1997, ICFEM 2024 will celebrate the 25th anniversary of the ICFEM conference series. Researchers, practitioners, tool developers, and users are all welcome to submit papers and participate in the conference. We look forward to your contributions and participation. Scope and Topics Authors are invited to submit high quality technical papers describing original and unpublished work in all aspects of formal engineering methods for software development and maintenance. Topics of interest include, but are not limited to: Formal specification and modeling Formal approaches to fault prevention and detection Abstraction, refinement, and evolution Formal verification and validation Integration of formal methods and testing Integration of formal methods and review SAT/SMT solvers for software analysis and testing Practical formal methods Applications of formal methods Formal approaches to software maintenance Formal approaches to safety-critical system development Supporting tools for formal methods Formal methods for agile development Formal methods for human-machine pair programming Formal methods for AI Systems Formal methods for Cyber-physical systems and IoT Formal certification of products Industrial case studies</pre><div class="alert alert-warning"> Last updated by <a href="/researcher/1">Dou Sun</a> in 2024-03-24</div> </div> </div> <!-- <div class="hidden-phone"> <div align="center"> <table border="0" align="center" cellpadding="0" cellspacing="1" class="noScroll"> <tr> <td width="180"><div align="center"> <a target="_blank" href=""><img src="" alt="" border="0" style="width:110;height:160" title=""/></a> <br /> <br /> </div></td> </tr> <tr> </tr> </table> <div align="center"><a target="_blank" href=""> >></a></div> </div> </div> --> <div class="portlet" id="yw2"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-signal"></i> Acceptance Ratio</div> </div> <div class="portlet-content"> <div class="row-fluid"> <div class="span8"> <div id="placeholder" style="height:240px"></div> <script type="text/javascript"> $(function() { var data = [ ['2002', 54.6], ['2003', 37.4], ['2004', 27.3], ['2005', 40.5], ['2006', 35.2], ['2007', 50], ['2009', 29.8] ]; var ticks = [ ['2002', '2002'], ['2003', '2003'], ['2004', '2004'], ['2005', '2005'], ['2006', '2006'], ['2007', '2007'], ['2009', '2009'] ]; $.plot("#placeholder", [ data ], { series: { bars: { show: true, barWidth: 0.6, align: "center" } }, xaxis: { ticks: ticks, tickLength: 0 }, yaxis: { max: 100, tickFormatter: function (v, axis) { return v + "%"; } } }); }); </script> </div> <div class="span4"> <div style="height:240px;overflow:scroll"> <div id="yw3" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw3_c0">Year</th><th id="yw3_c1">Submitted</th><th id="yw3_c2">Accepted</th><th id="yw3_c3">Accepted(%)</th></tr> </thead> <tbody> <tr class="odd"> <td>2009</td><td>121</td><td>36</td><td>29.8%</td></tr> <tr class="even"> <td>2007</td><td>38</td><td>19</td><td>50%</td></tr> <tr class="odd"> <td>2006</td><td>108</td><td>38</td><td>35.2%</td></tr> <tr class="even"> <td>2005</td><td>74</td><td>30</td><td>40.5%</td></tr> <tr class="odd"> <td>2004</td><td>110</td><td>30</td><td>27.3%</td></tr> <tr class="even"> <td>2003</td><td>91</td><td>34</td><td>37.4%</td></tr> <tr class="odd"> <td>2002</td><td>108</td><td>59</td><td>54.6%</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/228"><span>1337</span><span>1336</span><span>1335</span><span>1334</span><span>1333</span><span>1332</span><span>1331</span></div> </div></div> </div> </div> </div> </div> <div class="portlet" id="yw4"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-th"></i> Related Conferences</div> </div> <div class="portlet-content"> <div class="hidden-phone"> <div id="yw5" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw5_c0">CCF</th><th id="yw5_c1">CORE</th><th id="yw5_c2">QUALIS</th><th id="yw5_c3">Short</th><th id="yw5_c4">Full Name</th><th id="yw5_c5">Submission</th><th id="yw5_c6">Notification</th><th id="yw5_c7">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td></td><td></td><td></td><td>VANET</td><td><a href="/conference/929">International Workshop on VehiculAr Inter-NETworking, Systems, and Applications</a></td><td> </td><td>2012-04-16</td><td>2012-06-25</td></tr> <tr class="even"> <td><span class="badge badge-warning">a</span></td><td></td><td><span class="badge badge-warning">b1</span></td><td>FM</td><td><a href="/conference/166">International Symposium on Formal Methods</a></td><td>2024-04-05</td><td>2024-06-03</td><td>2024-09-09</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>CIIEM</td><td><a href="/conference/2151">International Congress of Energy and Environment Engineering and Management</a></td><td>2017-03-31</td><td>2017-04-30</td><td>2017-07-17</td></tr> <tr class="even"> <td></td><td></td><td></td><td>BDE</td><td><a href="/conference/2969">International Conference on Big Data Engineering</a></td><td>2022-02-10</td><td>2022-02-28</td><td>2022-05-26</td></tr> <tr class="odd"> <td></td><td><span class="badge badge-warning">b</span></td><td><span class="badge badge-warning">b1</span></td><td>WABI</td><td><a href="/conference/480">Workshop on Algorithms in Bioinformatics</a></td><td>2020-05-18</td><td>2020-06-29</td><td>2020-09-07</td></tr> <tr class="even"> <td></td><td></td><td></td><td>MASS''</td><td><a href="/conference/4768">IEEE International Conference on Mobile Ad-Hoc and Smart Systems</a></td><td>2025-04-15</td><td>2025-06-30</td><td>2025-10-06</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>EWCN</td><td><a href="/conference/1511">International Conference on Emerging Wireless Communications and Networking</a></td><td>2014-12-15</td><td>2015-02-15</td><td>2015-04-06</td></tr> <tr class="even"> <td></td><td></td><td></td><td>MLPRIS</td><td><a href="/conference/3580">International Conference on Machine Learning, Pattern Recognition and Intelligent Systems</a></td><td>2025-01-06</td><td> </td><td>2025-07-18</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>SGSES</td><td><a href="/conference/4592">Asia Conference on Smart Grids and Sustainable Energy Systems</a></td><td>2024-10-18</td><td>2024-10-25</td><td>2024-11-06</td></tr> <tr class="even"> <td></td><td></td><td></td><td>EICC</td><td><a href="/conference/3664">European Interdisciplinary Cybersecurity Conference</a></td><td>2024-01-26</td><td>2024-03-01</td><td>2024-06-05</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/228"><span>929</span><span>166</span><span>2151</span><span>2969</span><span>480</span><span>4768</span><span>1511</span><span>3580</span><span>4592</span><span>3664</span></div> </div></div> <div class="visible-phone"> <div id="yw6" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw6_c0">Short</th><th id="yw6_c1">Full Name</th><th id="yw6_c2">Submission</th><th id="yw6_c3">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td>VANET</td><td><a href="/conference/929">International Workshop on VehiculAr Inter-NETworking, Systems, and Applications</a></td><td> </td><td>2012-06-25</td></tr> <tr class="even"> <td>FM</td><td><a href="/conference/166">International Symposium on Formal Methods</a></td><td>2024-04-05</td><td>2024-09-09</td></tr> <tr class="odd"> <td>CIIEM</td><td><a href="/conference/2151">International Congress of Energy and Environment Engineering and Management</a></td><td>2017-03-31</td><td>2017-07-17</td></tr> <tr class="even"> <td>BDE</td><td><a href="/conference/2969">International Conference on Big Data Engineering</a></td><td>2022-02-10</td><td>2022-05-26</td></tr> <tr class="odd"> <td>WABI</td><td><a href="/conference/480">Workshop on Algorithms in Bioinformatics</a></td><td>2020-05-18</td><td>2020-09-07</td></tr> <tr class="even"> <td>MASS''</td><td><a href="/conference/4768">IEEE International Conference on Mobile Ad-Hoc and Smart Systems</a></td><td>2025-04-15</td><td>2025-10-06</td></tr> <tr class="odd"> <td>EWCN</td><td><a href="/conference/1511">International Conference on Emerging Wireless Communications and Networking</a></td><td>2014-12-15</td><td>2015-04-06</td></tr> <tr class="even"> <td>MLPRIS</td><td><a href="/conference/3580">International Conference on Machine Learning, Pattern Recognition and Intelligent Systems</a></td><td>2025-01-06</td><td>2025-07-18</td></tr> <tr class="odd"> <td>SGSES</td><td><a href="/conference/4592">Asia Conference on Smart Grids and Sustainable Energy Systems</a></td><td>2024-10-18</td><td>2024-11-06</td></tr> <tr class="even"> <td>EICC</td><td><a href="/conference/3664">European Interdisciplinary Cybersecurity Conference</a></td><td>2024-01-26</td><td>2024-06-05</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/228"><span>929</span><span>166</span><span>2151</span><span>2969</span><span>480</span><span>4768</span><span>1511</span><span>3580</span><span>4592</span><span>3664</span></div> </div></div> </div> </div> <div class="portlet" id="yw7"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-file"></i> Related Journals</div> </div> <div class="portlet-content"> <div class="hidden-phone"> <div id="yw8" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw8_c0">CCF</th><th id="yw8_c1">Full Name</th><th id="yw8_c2">Impact Factor</th><th id="yw8_c3">Publisher</th><th id="yw8_c4">ISSN</th></tr> </thead> <tbody> <tr class="odd"> <td></td><td><a href="/journal/705">International Journal of Trend in Scientific Research and Development</a></td><td>8.100</td><td>IJTSRD</td><td>2456-6470</td></tr> <tr class="even"> <td></td><td><a href="/journal/650">Journal of Computer Networks and Communications</a></td><td>2.000</td><td>Hindawi</td><td>2090-7141</td></tr> <tr class="odd"> <td></td><td><a href="/journal/905">Industrial Robot</a></td><td>1.900</td><td>Emerald</td><td>0143-991X</td></tr> <tr class="even"> <td></td><td><a href="/journal/251">Computer Science & Engineering: An International Journal</a></td><td> </td><td>AIRCC</td><td>2231-3583</td></tr> <tr class="odd"> <td></td><td><a href="/journal/343">Applied Soft Computing</a></td><td>7.200</td><td>Elsevier</td><td>1568-4946</td></tr> <tr class="even"> <td></td><td><a href="/journal/714">International Journal of Information Management</a></td><td>20.10</td><td>Elsevier</td><td>0268-4012</td></tr> <tr class="odd"> <td></td><td><a href="/journal/500">Journal of Computational Neuroscience</a></td><td>1.500</td><td>Springer</td><td>0929-5313</td></tr> <tr class="even"> <td></td><td><a href="/journal/224">International Journal of Pattern Recognition & Artificial Intelligence</a></td><td> </td><td>World Scientific</td><td>0218-0014</td></tr> <tr class="odd"> <td><span class="badge badge-warning">c</span></td><td><a href="/journal/127">Information Processing Letters</a></td><td>0.700</td><td>Elsevier</td><td>0020-0190</td></tr> <tr class="even"> <td><span class="badge badge-warning">a</span></td><td><a href="/journal/11">Journal of Cryptology</a></td><td>2.300</td><td>Springer</td><td>0933-2790</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/228"><span>705</span><span>650</span><span>905</span><span>251</span><span>343</span><span>714</span><span>500</span><span>224</span><span>127</span><span>11</span></div> </div></div> <div class="visible-phone"> <div id="yw9" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw9_c0">Full Name</th><th id="yw9_c1">Impact Factor</th><th id="yw9_c2">Publisher</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/journal/705">International Journal of Trend in Scientific Research and Development</a></td><td>8.100</td><td>IJTSRD</td></tr> <tr class="even"> <td><a href="/journal/650">Journal of Computer Networks and Communications</a></td><td>2.000</td><td>Hindawi</td></tr> <tr class="odd"> <td><a href="/journal/905">Industrial Robot</a></td><td>1.900</td><td>Emerald</td></tr> <tr class="even"> <td><a href="/journal/251">Computer Science & Engineering: An International Journal</a></td><td> </td><td>AIRCC</td></tr> <tr class="odd"> <td><a href="/journal/343">Applied Soft Computing</a></td><td>7.200</td><td>Elsevier</td></tr> <tr class="even"> <td><a href="/journal/714">International Journal of Information Management</a></td><td>20.10</td><td>Elsevier</td></tr> <tr class="odd"> <td><a href="/journal/500">Journal of Computational Neuroscience</a></td><td>1.500</td><td>Springer</td></tr> <tr class="even"> <td><a href="/journal/224">International Journal of Pattern Recognition & Artificial Intelligence</a></td><td> </td><td>World Scientific</td></tr> <tr class="odd"> <td><a href="/journal/127">Information Processing Letters</a></td><td>0.700</td><td>Elsevier</td></tr> <tr class="even"> <td><a href="/journal/11">Journal of Cryptology</a></td><td>2.300</td><td>Springer</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/228"><span>705</span><span>650</span><span>905</span><span>251</span><span>343</span><span>714</span><span>500</span><span>224</span><span>127</span><span>11</span></div> </div></div> </div> </div> <div class="portlet" id="yw10"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-eye-open"></i> Recommendation</div> </div> <div class="portlet-content"> <div align="center"> <script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script> <!-- Recommendation --> <ins class="adsbygoogle" style="display:block" data-ad-client="ca-pub-6743617430731451" data-ad-slot="1870704128" data-ad-format="autorelaxed"></ins> <script> (adsbygoogle = window.adsbygoogle || []).push({}); </script> </div> </div> </div> </div><!--/span--> <div class="span2 hidden-phone"> <div class="sidebar-nav"> <ul id="yw11"> <li><a href="http://www.myhuiban.com/conference/track/id/228"><i class="icon icon-plus"></i> Track It <span class="badge badge-warning pull-right">33</span></a></li> <li><a href="http://www.myhuiban.com/conference/attend/id/228"><i class="icon icon-plane"></i> Attend It <span class="badge badge-important pull-right">5</span></a></li> <li><a href="/conference/edit/228"><i class="icon icon-edit"></i> Edit CFP</a></li> </ul><br/> <div id="yw12" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw12_c0">Tracker</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/researcher/18156">Dongdong An (215)</a></td></tr> <tr class="even"> <td><a href="/researcher/46028">Wang Xiaoran (458)</a></td></tr> <tr class="odd"> <td><a href="/researcher/23273">AA BB (1314)</a></td></tr> <tr class="even"> <td><a href="/researcher/5884">Tengfei Li (5158)</a></td></tr> <tr class="odd"> <td><a href="/researcher/43001">Baosen Zhao (1859)</a></td></tr> <tr class="even"> <td><a href="/researcher/44603">Zihui Zeng (71)</a></td></tr> <tr class="odd"> <td><a href="/researcher/155">Donglei Liu (1952)</a></td></tr> <tr class="even"> <td><a href="/researcher/26372">Grace CHEN (580)</a></td></tr> <tr class="odd"> <td><a href="/researcher/35619">Aoshuang Ye (1039)</a></td></tr> <tr class="even"> <td><a href="/researcher/29937">Jingwen Xu (1007)</a></td></tr> <tr class="odd"> <td><a href="/researcher/34508">Miao Tian (283)</a></td></tr> <tr class="even"> <td><a href="/researcher/27692">Wei Shen (340)</a></td></tr> <tr class="odd"> <td><a href="/researcher/19875">Cheng Wen (561)</a></td></tr> <tr class="even"> <td><a href="/researcher/29785">Yuusuke Urameshi (344)</a></td></tr> <tr class="odd"> <td><a href="/researcher/13939">EIC FZU (376)</a></td></tr> <tr class="even"> <td><a href="/researcher/367">Cindy Yuan (208)</a></td></tr> <tr class="odd"> <td><a href="/researcher/15504">Jiawen XIONG (509)</a></td></tr> <tr class="even"> <td><a href="/researcher/15269">Zhihui Li (654)</a></td></tr> <tr class="odd"> <td><a href="/researcher/12649">Hansheng Wei (1654)</a></td></tr> <tr class="even"> <td><a href="/researcher/13196">Junpeng Zha (129)</a></td></tr> <tr class="odd"> <td><a href="/researcher/10656">Frank Xu (2123)</a></td></tr> <tr class="even"> <td><a href="/researcher/9963">Yucheng Fang (906)</a></td></tr> <tr class="odd"> <td><a href="/researcher/2810">Wendy Qian (4696)</a></td></tr> <tr class="even"> <td><a href="/researcher/7657">ALI BADDOUR (51)</a></td></tr> <tr class="odd"> <td><a href="/researcher/2542">Jian Liu (1207)</a></td></tr> <tr class="even"> <td><a href="/researcher/7142">C XF (43)</a></td></tr> <tr class="odd"> <td><a href="/researcher/5898">ZHOU Hang (298)</a></td></tr> <tr class="even"> <td><a href="/researcher/865">FeiFei Tong (664)</a></td></tr> <tr class="odd"> <td><a href="/researcher/1529">Xiaohua Zhang (350)</a></td></tr> <tr class="even"> <td><a href="/researcher/864">Xiaox Lee (542)</a></td></tr> <tr class="odd"> <td><a href="/researcher/751">Fu Teresa (1030)</a></td></tr> <tr class="even"> <td><a href="/researcher/778">Xianqi Zhao (54)</a></td></tr> <tr class="odd"> <td><a href="/researcher/131">Huixing Fang (22)</a></td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/228"><span>18156</span><span>46028</span><span>23273</span><span>5884</span><span>43001</span><span>44603</span><span>155</span><span>26372</span><span>35619</span><span>29937</span><span>34508</span><span>27692</span><span>19875</span><span>29785</span><span>13939</span><span>367</span><span>15504</span><span>15269</span><span>12649</span><span>13196</span><span>10656</span><span>9963</span><span>2810</span><span>7657</span><span>2542</span><span>7142</span><span>5898</span><span>865</span><span>1529</span><span>864</span><span>751</span><span>778</span><span>131</span></div> </div> <div id="yw14" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw14_c0">Attender</th><th id="yw14_c1">Year</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/researcher/44892">Tang Huimin (196)</a></td><td>2022</td></tr> <tr class="even"> <td><a href="/researcher/26766">Song Nan (245)</a></td><td>2020</td></tr> <tr class="odd"> <td><a href="/researcher/24511">Chaoqun Nie (428)</a></td><td>2020</td></tr> <tr class="even"> <td><a href="/researcher/7423">Chang Jiulong (507)</a></td><td>2017</td></tr> <tr class="odd"> <td><a href="/researcher/2810">Wendy Qian (4696)</a></td><td>2017</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/228"><span>44892</span><span>26766</span><span>24511</span><span>7423</span><span>2810</span></div> </div> <div class="portlet" id="yw16"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-gift"></i> Advertisment</div> </div> <div class="portlet-content"> <div align="center"> <div id="12717-20"><script src="//ads.themoneytizer.com/s/gen.js?type=20"></script><script src="//ads.themoneytizer.com/s/requestform.js?siteId=12717&formatId=20" ></script></div> </div> <!-- <div align="center"> <script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script> --> <!-- SideBar --> <!-- <ins class="adsbygoogle" style="display:block" data-ad-client="ca-pub-6743617430731451" data-ad-slot="4936824121" data-ad-format="auto"></ins> <script> (adsbygoogle = window.adsbygoogle || []).push({}); </script> </div> --> </div> </div> </div> </div><!--/span--> </div><!--/row--> </div> </section> <!-- Require the footer --> <footer> <div class="subnav navbar"> <div class="navbar-inner"> <div class="container"> <a href="/conferences">4,996</a> Conferences | <a href="/journals">1,182</a> Journals | <a href="/researchers">71,367</a> Researchers | 444,608,823 PV <br/> Copyright © 2011-2025 myhuiban.com. All Rights Reserved. <a href="/researcher/1">About Us</a> | <a target="_blank" href="https://www.facebook.com/myhuiban/">Facebook</a> | <a target="_blank" href="https://x.com/myhuiban">X</a> | <a href=mailto:admin@myhuiban.com>Post CFP or Contact Us</a> | <a href="/promotion">Promotion</a> </div> </div> </div> </footer> <script type="text/javascript" src="/assets/478ca885/gridview/jquery.yiigridview.js"></script> <script type="text/javascript"> /*<![CDATA[*/ jQuery(function($) { jQuery('#yw3').yiiGridView({'ajaxUpdate':['yw3'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}'}); jQuery('#yw5').yiiGridView({'ajaxUpdate':['yw5'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw6').yiiGridView({'ajaxUpdate':['yw6'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw8').yiiGridView({'ajaxUpdate':['yw8'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw9').yiiGridView({'ajaxUpdate':['yw9'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw12').yiiGridView({'ajaxUpdate':['yw12'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw14').yiiGridView({'ajaxUpdate':['yw14'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); }); /*]]>*/ </script> </body> </html>