CINXE.COM
ATVA 2024: International Symposium on Automated Technology for Verification and Analysis
<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"/> <meta name="description" content="ATVA 2024: International Symposium on Automated Technology for Verification and Analysis" /> <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>ATVA 2024: International Symposium on Automated Technology for Verification and Analysis</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/399" /> <link rel="alternate" hreflang="en" href="/conference/399?lang=en_us" /> <link rel="alternate" hreflang="es" href="/conference/399?lang=es" /> <link rel="alternate" hreflang="zh" href="/conference/399?lang=zh_cn" /> <link rel="alternate" hreflang="ja" href="/conference/399?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/399?lang=zh_cn"> 中文 </a> | <img src="/images/US.gif"/><a href="/conference/399?lang=en_us"> English </a> | <img src="/images/ES.gif"/><a href="/conference/399?lang=es"> Español </a> | <img src="/images/JP.gif"/><a href="/conference/399?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>ATVA</span></div><!-- breadcrumbs --> <!-- Include content pages --> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Event", "name": "ATVA 2024: International Symposium on Automated Technology for Verification and Analysis", "location": { "@type": "Place", "name":"Kyoto, Japan", "address":{ "@type": "PostalAddress", "addressLocality": "Kyoto, Japan" } }, "startDate": "2024-10-21" } </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>ATVA 2024: International Symposium on Automated Technology for Verification and Analysis</h5> <a href="https://atva-conference.org/2024/">https://atva-conference.org/2024/</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-04-19</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Notification Date:</div></td> <td width="150"><div align="center">2024-06-19</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Conference Date:</div></td> <td width="150"><div align="center">2024-10-21</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Location:</div></td> <td width="150"><div align="center">Kyoto, 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">22</span></div></td> </tr> </table> <div class="hidden-phone" align="center"> CCF: <span class="badge badge-warning">c</span> CORE: <span class="badge badge-warning">a</span> QUALIS: <span class="badge badge-warning">b1</span> Viewed: <span class="badge badge-success">30675</span> Tracked: <span class="badge badge-warning">43</span> Attend: <span class="badge badge-important">13</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>ATVA 2024 is the 22nd in a series of symposia aimed at bringing together academics, industrial researchers, and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following suggestive list of topics: Formalisms for modeling hardware, software, and embedded systems Specification and verification of finite-state, infinite-state, and parameterized system Program analysis and software verification Analysis and verification of hardware circuits, systems-on-chip, and embedded systems Analysis of real-time, hybrid, priced, weighted, and probabilistic systems Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification Analytical techniques for safety, security, and dependability Testing and runtime analysis based on verification technology Analysis and verification of parallel and concurrent systems Verification in industrial practice Synthesis for hardware and software systems Applications and case studies Automated tool support</pre><div class="alert alert-warning"> Last updated by <a href="/researcher/1">Dou Sun</a> in 2024-03-02</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 = [ ['2004', 34.8], ['2005', 34.7], ['2006', 25.5], ['2007', 40.9] ]; var ticks = [ ['2004', '2004'], ['2005', '2005'], ['2006', '2006'], ['2007', '2007'] ]; $.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>2007</td><td>88</td><td>36</td><td>40.9%</td></tr> <tr class="even"> <td>2006</td><td>137</td><td>35</td><td>25.5%</td></tr> <tr class="odd"> <td>2005</td><td>95</td><td>33</td><td>34.7%</td></tr> <tr class="even"> <td>2004</td><td>69</td><td>24</td><td>34.8%</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/399"><span>1323</span><span>1322</span><span>1321</span><span>1320</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>MCEBM</td><td><a href="/conference/2189">International Conference on Mechanics, Civil Engineering and Building Material</a></td><td>2017-04-10</td><td>2017-04-15</td><td>2017-04-21</td></tr> <tr class="even"> <td></td><td></td><td><span class="badge badge-warning">b3</span></td><td>FGCN</td><td><a href="/conference/1026">International Conference on Future Generation Communication and Networking</a></td><td>2015-06-30</td><td>2015-07-15</td><td>2015-11-25</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>ICDMM</td><td><a href="/conference/2095">International Conference on Design, Manufacturing and Mechatronics</a></td><td>2017-05-19</td><td> </td><td>2017-05-26</td></tr> <tr class="even"> <td></td><td></td><td></td><td>CICom</td><td><a href="/conference/4061">EAI International Conference on Computational Intelligence and Communications</a></td><td>2021-05-01</td><td>2021-06-01</td><td>2021-09-02</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>ISPR</td><td><a href="/conference/3561">International Conference on Intelligent systems and Pattern Recognition</a></td><td>2024-03-15</td><td>2024-04-15</td><td>2024-06-12</td></tr> <tr class="even"> <td></td><td></td><td></td><td>ICWSE</td><td><a href="/conference/4197">International Conference on Web Science and Engineering</a></td><td>2021-08-10</td><td> </td><td>2021-09-17</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>ICSREE</td><td><a href="/conference/4241"> International Conference on Sustainable and Renewable Energy Engineering</a></td><td>2023-03-05</td><td>2023-03-31</td><td>2023-05-11</td></tr> <tr class="even"> <td></td><td></td><td><span class="badge badge-warning">b3</span></td><td>MOBIWAC</td><td><a href="/conference/919">International Symposium on Mobility Management and Wireless Access</a></td><td>2023-07-15</td><td>2023-08-15</td><td>2023-10-30</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>ISRAE</td><td><a href="/conference/2534">International Symposium on Robotics and Automation Engineering</a></td><td>2018-04-10</td><td>2018-04-10</td><td>2018-04-27</td></tr> <tr class="even"> <td></td><td></td><td></td><td>ICT4DA</td><td><a href="/conference/3003">International Conference of ICT for Development for Africa</a></td><td>2019-02-17</td><td>2019-03-15</td><td>2019-05-28</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/399"><span>2189</span><span>1026</span><span>2095</span><span>4061</span><span>3561</span><span>4197</span><span>4241</span><span>919</span><span>2534</span><span>3003</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>MCEBM</td><td><a href="/conference/2189">International Conference on Mechanics, Civil Engineering and Building Material</a></td><td>2017-04-10</td><td>2017-04-21</td></tr> <tr class="even"> <td>FGCN</td><td><a href="/conference/1026">International Conference on Future Generation Communication and Networking</a></td><td>2015-06-30</td><td>2015-11-25</td></tr> <tr class="odd"> <td>ICDMM</td><td><a href="/conference/2095">International Conference on Design, Manufacturing and Mechatronics</a></td><td>2017-05-19</td><td>2017-05-26</td></tr> <tr class="even"> <td>CICom</td><td><a href="/conference/4061">EAI International Conference on Computational Intelligence and Communications</a></td><td>2021-05-01</td><td>2021-09-02</td></tr> <tr class="odd"> <td>ISPR</td><td><a href="/conference/3561">International Conference on Intelligent systems and Pattern Recognition</a></td><td>2024-03-15</td><td>2024-06-12</td></tr> <tr class="even"> <td>ICWSE</td><td><a href="/conference/4197">International Conference on Web Science and Engineering</a></td><td>2021-08-10</td><td>2021-09-17</td></tr> <tr class="odd"> <td>ICSREE</td><td><a href="/conference/4241"> International Conference on Sustainable and Renewable Energy Engineering</a></td><td>2023-03-05</td><td>2023-05-11</td></tr> <tr class="even"> <td>MOBIWAC</td><td><a href="/conference/919">International Symposium on Mobility Management and Wireless Access</a></td><td>2023-07-15</td><td>2023-10-30</td></tr> <tr class="odd"> <td>ISRAE</td><td><a href="/conference/2534">International Symposium on Robotics and Automation Engineering</a></td><td>2018-04-10</td><td>2018-04-27</td></tr> <tr class="even"> <td>ICT4DA</td><td><a href="/conference/3003">International Conference of ICT for Development for Africa</a></td><td>2019-02-17</td><td>2019-05-28</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/399"><span>2189</span><span>1026</span><span>2095</span><span>4061</span><span>3561</span><span>4197</span><span>4241</span><span>919</span><span>2534</span><span>3003</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/1111">Nano Energy</a></td><td>16.80</td><td>Elsevier</td><td>2211-2855</td></tr> <tr class="even"> <td></td><td><a href="/journal/842">Symmetry</a></td><td>2.200</td><td>MDPI</td><td>2073-8994</td></tr> <tr class="odd"> <td></td><td><a href="/journal/841">Transforming Government: People, Process and Policy</a></td><td>2.600</td><td>Emerald</td><td>1750-6166</td></tr> <tr class="even"> <td><span class="badge badge-warning">b</span></td><td><a href="/journal/469">Computer Supported Cooperative Work</a></td><td>2.000</td><td>Springer</td><td>0925-9724</td></tr> <tr class="odd"> <td></td><td><a href="/journal/660">Scientific Programming</a></td><td></td><td>Hindawi</td><td>1058-9244</td></tr> <tr class="even"> <td></td><td><a href="/journal/886">International Journal of Network Management</a></td><td>1.500</td><td>Wiley-Blackwell</td><td>1055-7148</td></tr> <tr class="odd"> <td><span class="badge badge-warning">c</span></td><td><a href="/journal/564">IEEE Internet of Things Journal</a></td><td>8.200</td><td>IEEE</td><td>2327-4662 </td></tr> <tr class="even"> <td><span class="badge badge-warning">b</span></td><td><a href="/journal/576">IEEE Transactions on Human-Machine Systems</a></td><td>3.500</td><td>IEEE</td><td>2168-2291</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/399"><span>1111</span><span>842</span><span>841</span><span>469</span><span>660</span><span>886</span><span>564</span><span>576</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/1111">Nano Energy</a></td><td>16.80</td><td>Elsevier</td></tr> <tr class="even"> <td><a href="/journal/842">Symmetry</a></td><td>2.200</td><td>MDPI</td></tr> <tr class="odd"> <td><a href="/journal/841">Transforming Government: People, Process and Policy</a></td><td>2.600</td><td>Emerald</td></tr> <tr class="even"> <td><a href="/journal/469">Computer Supported Cooperative Work</a></td><td>2.000</td><td>Springer</td></tr> <tr class="odd"> <td><a href="/journal/660">Scientific Programming</a></td><td></td><td>Hindawi</td></tr> <tr class="even"> <td><a href="/journal/886">International Journal of Network Management</a></td><td>1.500</td><td>Wiley-Blackwell</td></tr> <tr class="odd"> <td><a href="/journal/564">IEEE Internet of Things Journal</a></td><td>8.200</td><td>IEEE</td></tr> <tr class="even"> <td><a href="/journal/576">IEEE Transactions on Human-Machine Systems</a></td><td>3.500</td><td>IEEE</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/399"><span>1111</span><span>842</span><span>841</span><span>469</span><span>660</span><span>886</span><span>564</span><span>576</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/399"><i class="icon icon-plus"></i> Track It <span class="badge badge-warning pull-right">43</span></a></li> <li><a href="http://www.myhuiban.com/conference/attend/id/399"><i class="icon icon-plane"></i> Attend It <span class="badge badge-important pull-right">13</span></a></li> <li><a href="/conference/edit/399"><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/59435">Xia Hunter (376)</a></td></tr> <tr class="even"> <td><a href="/researcher/63890">Jane Chz (362)</a></td></tr> <tr class="odd"> <td><a href="/researcher/55801">Yuhan Li (44)</a></td></tr> <tr class="even"> <td><a href="/researcher/18156">Dongdong An (215)</a></td></tr> <tr class="odd"> <td><a href="/researcher/39885">Zhang Feng (393)</a></td></tr> <tr class="even"> <td><a href="/researcher/47150">Victory Raymond (396)</a></td></tr> <tr class="odd"> <td><a href="/researcher/47179">Sun Haoying (140)</a></td></tr> <tr class="even"> <td><a href="/researcher/34162">Bing Zheng (718)</a></td></tr> <tr class="odd"> <td><a href="/researcher/46582">Xueying Hao (661)</a></td></tr> <tr class="even"> <td><a href="/researcher/43506">Yongxin Chen (1199)</a></td></tr> <tr class="odd"> <td><a href="/researcher/44911">Hangji Wang (457)</a></td></tr> <tr class="even"> <td><a href="/researcher/43677">Keyi Xu (122)</a></td></tr> <tr class="odd"> <td><a href="/researcher/45318">Zeming Wei (41)</a></td></tr> <tr class="even"> <td><a href="/researcher/43001">Baosen Zhao (1879)</a></td></tr> <tr class="odd"> <td><a href="/researcher/44062">Bin Li (869)</a></td></tr> <tr class="even"> <td><a href="/researcher/155">Donglei Liu (1952)</a></td></tr> <tr class="odd"> <td><a href="/researcher/29937">Jingwen Xu (1007)</a></td></tr> <tr class="even"> <td><a href="/researcher/35619">Aoshuang Ye (1062)</a></td></tr> <tr class="odd"> <td><a href="/researcher/35601">GU YU (728)</a></td></tr> <tr class="even"> <td><a href="/researcher/17797">Sun Sun (1327)</a></td></tr> <tr class="odd"> <td><a href="/researcher/23460">Jian Hu (642)</a></td></tr> <tr class="even"> <td><a href="/researcher/29407">Liu Xiaotong (402)</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/16539">Zhang Jiahui (403)</a></td></tr> <tr class="even"> <td><a href="/researcher/29168">Yu Xin (834)</a></td></tr> <tr class="odd"> <td><a href="/researcher/20728">L Q (716)</a></td></tr> <tr class="even"> <td><a href="/researcher/23273">AA BB (1314)</a></td></tr> <tr class="odd"> <td><a href="/researcher/17299">Liang Birui (843)</a></td></tr> <tr class="even"> <td><a href="/researcher/21118">ZhengLiang Li (625)</a></td></tr> <tr class="odd"> <td><a href="/researcher/17483">Xiaoyi Zhang (2306)</a></td></tr> <tr class="even"> <td><a href="/researcher/20049">Luca Di Stefano (46)</a></td></tr> <tr class="odd"> <td><a href="/researcher/19524">Ye Zhang (521)</a></td></tr> <tr class="even"> <td><a href="/researcher/15404">Zongze Jin (506)</a></td></tr> <tr class="odd"> <td><a href="/researcher/367">Cindy Yuan (208)</a></td></tr> <tr class="even"> <td><a href="/researcher/5884">Tengfei Li (5158)</a></td></tr> <tr class="odd"> <td><a href="/researcher/14455">YM M (233)</a></td></tr> <tr class="even"> <td><a href="/researcher/12649">Hansheng Wei (1654)</a></td></tr> <tr class="odd"> <td><a href="/researcher/12301">Wenjie Ruan (775)</a></td></tr> <tr class="even"> <td><a href="/researcher/645">Deng Chen (963)</a></td></tr> <tr class="odd"> <td><a href="/researcher/864">Xiaox Lee (542)</a></td></tr> <tr class="even"> <td><a href="/researcher/1690">Xiaojun Xiao (255)</a></td></tr> <tr class="odd"> <td><a href="/researcher/778">Xianqi Zhao (54)</a></td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/399"><span>59435</span><span>63890</span><span>55801</span><span>18156</span><span>39885</span><span>47150</span><span>47179</span><span>34162</span><span>46582</span><span>43506</span><span>44911</span><span>43677</span><span>45318</span><span>43001</span><span>44062</span><span>155</span><span>29937</span><span>35619</span><span>35601</span><span>17797</span><span>23460</span><span>29407</span><span>19875</span><span>29785</span><span>16539</span><span>29168</span><span>20728</span><span>23273</span><span>17299</span><span>21118</span><span>17483</span><span>20049</span><span>19524</span><span>15404</span><span>367</span><span>5884</span><span>14455</span><span>12649</span><span>12301</span><span>645</span><span>864</span><span>1690</span><span>778</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/63890">Jane Chz (362)</a></td><td>2024</td></tr> <tr class="even"> <td><a href="/researcher/55801">Yuhan Li (44)</a></td><td>2022</td></tr> <tr class="odd"> <td><a href="/researcher/36331">Lijie Gao (75)</a></td><td>2022</td></tr> <tr class="even"> <td><a href="/researcher/52227">Zhang HuiHui (133)</a></td><td>2022</td></tr> <tr class="odd"> <td><a href="/researcher/45625">Hongying Zhang (107)</a></td><td>2022</td></tr> <tr class="even"> <td><a href="/researcher/44911">Hangji Wang (457)</a></td><td>2022</td></tr> <tr class="odd"> <td><a href="/researcher/45318">Zeming Wei (41)</a></td><td>2021</td></tr> <tr class="even"> <td><a href="/researcher/36331">Lijie Gao (75)</a></td><td>2021</td></tr> <tr class="odd"> <td><a href="/researcher/17797">Sun Sun (1327)</a></td><td>2021</td></tr> <tr class="even"> <td><a href="/researcher/29168">Yu Xin (834)</a></td><td>2020</td></tr> <tr class="odd"> <td><a href="/researcher/8042">DUAN Zhangbo (35)</a></td><td>2017</td></tr> <tr class="even"> <td><a href="/researcher/645">Deng Chen (963)</a></td><td>2015</td></tr> <tr class="odd"> <td><a href="/researcher/1099">Yi Lv (123)</a></td><td>2015</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/399"><span>63890</span><span>55801</span><span>36331</span><span>52227</span><span>45625</span><span>44911</span><span>45318</span><span>36331</span><span>17797</span><span>29168</span><span>8042</span><span>645</span><span>1099</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">5,000</a> Conferences | <a href="/journals">1,182</a> Journals | <a href="/researchers">71,595</a> Researchers | 455,304,805 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>