CINXE.COM

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"/> <meta name="description" content="Journal of Logical and Algebraic Methods in Programming" /> <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>Journal of Logical and Algebraic Methods in Programming</title> <meta name="viewport" content="width=device-width, initial-scale=1.0"/>  <meta name="author" content="www.myhuiban.com"/>    <link rel="alternate" hreflang="x-default" href="/journal/666" /> <link rel="alternate" hreflang="en" href="/journal/666?lang=en_us" /> <link rel="alternate" hreflang="es" href="/journal/666?lang=es" /> <link rel="alternate" hreflang="zh" href="/journal/666?lang=zh_cn" /> <link rel="alternate" hreflang="ja" href="/journal/666?lang=ja" />  <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">   <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>  <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>  <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">  <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>  <a class="brand" href="https://www.myhuiban.com"><strong>Conference Partner</strong></a> <div class="nav-collapse"> <ul class="pull-right nav" id="yw14"> <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="/journal/666?lang=zh_cn"> 中文 </a> | <img src="/images/US.gif"/><a href="/journal/666?lang=en_us"> English </a> | <img src="/images/ES.gif"/><a href="/journal/666?lang=es"> Español </a> | <img src="/images/JP.gif"/><a href="/journal/666?lang=ja"> 日本語 </a>     &nbsp <input class="search-query span2" placeholder="Search" name="SearchForm[key]" id="SearchForm_key" type="text" maxlength="200" /> </div> </form> </div> </div> </div> </section> <section class="main-body"> <div class="container-fluid">  <div class="row-fluid"> <div class="span10"> <div class="breadcrumb"> <a href="/">Conference Partner</a> » <a href="/journals">Journals</a> » <span>Journal of Logical and Algebraic Methods in Programming</span></div>  <div class="portlet" id="yw0"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-tasks"></i> Journal Information</div> </div> <div class="portlet-content"> <div align="center"> <h5><span itemprop="name">Journal of Logical and Algebraic Methods in Programming</span></h5> <a href="https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming">https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming</a> <br /> <table border="0" align="center" cellpadding="0" cellspacing="1"> <tr> <td width="150" height="25"><div align="center">Impact Factor:</div></td> <td width="150"><div align="center">0.700</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Publisher:</div></td> <td width="150"><div align="center">Elsevier</div></td> </tr> <tr> <td width="150" height="25"><div align="center">ISSN:</div></td> <td width="150"><div align="center">2352-2208</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Viewed:</div></td> <td width="150"><div align="center"><span class="badge badge-success">11183</span></div></td> </tr> <tr> <td width="150" height="25"><div align="center">Tracked:</div></td> <td width="150"><div align="center"><span class="badge badge-warning">1</span></div></td> </tr> </table> </div> </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>The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas. Topics of interest to the journal include: • Applications of algebras, co-algebra and categories to programming • Applications of proof theory and model theory to programming • Constraint programming • Foundations of Programming Paradigms • Logic programming • Logical Foundations of Program Security • Models and Analytical Models for Cyber-Physical Systems • Process Calculi • Programming Models • Quantitative Methods for System Analysis • Specification and verification of systems Researchers interested in acting as a guest editor should review the guest editor/proposal guidelines. The Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems.</pre><div class="alert alert-warning"> Last updated by <a href="/researcher/1">Dou Sun</a> in 2024-07-17</div> </div> </div> <div class="portlet" id="yw2"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-list-alt"></i> Special Issues</div> </div> <div class="portlet-content"> <a name="5423"></a><pre>Special Issue on Recent Advances in Unification</br>Submission Date: 2025-03-31</br></br>Guest editors: Dr. Santiago Escobar, Universitat Politècnica de València, Valencia, Spain Dr. Oliver Fernández Gil, TU Dresden, Dresden, Germany Special issue information: The Journal of Logical and Algebraic Methods in Programming (JLAMP) is an international journal that complements Elsevier’s Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems. The aim of JLAMP special issues is to attract high-quality research papers in specific topics connected to logical and algebraic methods in the theory and practice of software development and computing systems. The purpose of this special issue of JLAMP is to collect recent, original, and high-quality contributions on unification theory and its applications, as well as closely related topics. Unification is concerned with the problem of making two given terms equal, either syntactically or modulo an equational theory. It is a fundamental process used in various areas of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, knowledge representation, types, etc. The International Workshop on Unification (UNIF) is the main international event on unification. This special issue is related to the research presented in the last four editions of the workshop, i.e., from UNIF 2021 to UNIF 2024. Nevertheless, submissions of high quality works on unification that were not presented at UNIF are also welcome. Thus, participants of UNIF, as well as other authors, are invited to submit contributions. Topics Following the tradition of UNIF, this special issue addresses the topic of unification in a broad sense. A non-exhaustive list of topics of interest includes: Syntactic and equational unification algorithms Matching and constraint solving Higher-order unification Unification in modal, temporal, and description logics Admissibility of inference rules Narrowing Disunification Anti-unification Complexity issues Combination methods Implementation techniques Applications Manuscript submission information: This special issue welcomes original and high-quality contributions on unification theory and its applications, as well as closely related topics. Submissions should consist of articles that have not been previously published and are not under consideration for publication elsewhere. All submissions will be peer-reviewed and handled according to the usual procedures of JLAMP. Submitted manuscripts should be written in English and prepared following the guidelines of JLAMP. Papers should be submitted electronically by using the Editorial Manager for JLAMP: Submission site for Journal of Logical & Algebraic Methods in Programming . Please choose VSI:Recent Advances in Unification when you will be selecting the article type. Submission deadline: March 31, 2025</pre><div class="alert alert-warning">Last updated by <a href="/researcher/1">Dou Sun</a> in 2024-12-21</div></div> </div>  <div class="portlet" id="yw3"> <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="yw4" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw4_c0">CCF</th><th id="yw4_c1">Full Name</th><th id="yw4_c2">Impact Factor</th><th id="yw4_c3">Publisher</th><th id="yw4_c4">ISSN</th></tr> </thead> <tbody> <tr class="odd"> <td></td><td><a href="/journal/1148">IEEE Open Journal of Control Systems</a></td><td></td><td>IEEE</td><td>2694-085X</td></tr> <tr class="even"> <td><span class="badge badge-warning">c</span></td><td><a href="/journal/207">Cybernetics and Systems</a></td><td> </td><td>Taylor & Francis</td><td>0196-9722</td></tr> <tr class="odd"> <td><span class="badge badge-warning">b</span></td><td><a href="/journal/702">IEEE Transactions on Automation Science and Engineering</a></td><td>5.900</td><td>IEEE</td><td>1545-5955</td></tr> <tr class="even"> <td></td><td><a href="/journal/933">International Journal of Computer Applications in Technology</a></td><td></td><td>Inderscience</td><td>0952-8091</td></tr> <tr class="odd"> <td></td><td><a href="/journal/951">Image Processing On Line</a></td><td></td><td>IPOL</td><td>2105-1232</td></tr> <tr class="even"> <td></td><td><a href="/journal/827">IEEE Transactions on Very Large Scale Integration (VLSI) Systems</a></td><td>2.800</td><td>IEEE</td><td>1063-8210</td></tr> <tr class="odd"> <td></td><td><a href="/journal/349">Computer Methods in Applied Mechanics and Engineering</a></td><td>6.900</td><td>Elsevier</td><td>0045-7825</td></tr> <tr class="even"> <td></td><td><a href="/journal/330">IEICE Transactions on Communications</a></td><td> </td><td>IEICE</td><td></td></tr> <tr class="odd"> <td></td><td><a href="/journal/1158">IEEE Transactions on Intelligent Vehicles</a></td><td>14.00</td><td>IEEE</td><td>2379-8858</td></tr> <tr class="even"> <td><span class="badge badge-warning">c</span></td><td><a href="/journal/1099">Proceedings of the ACM on Programming Languages</a></td><td>2.200</td><td>ACM</td><td>2475-1421</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/666"><span>1148</span><span>207</span><span>702</span><span>933</span><span>951</span><span>827</span><span>349</span><span>330</span><span>1158</span><span>1099</span></div> </div></div> <div class="visible-phone"> <div id="yw5" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw5_c0">Full Name</th><th id="yw5_c1">Impact Factor</th><th id="yw5_c2">Publisher</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/journal/1148">IEEE Open Journal of Control Systems</a></td><td></td><td>IEEE</td></tr> <tr class="even"> <td><a href="/journal/207">Cybernetics and Systems</a></td><td> </td><td>Taylor & Francis</td></tr> <tr class="odd"> <td><a href="/journal/702">IEEE Transactions on Automation Science and Engineering</a></td><td>5.900</td><td>IEEE</td></tr> <tr class="even"> <td><a href="/journal/933">International Journal of Computer Applications in Technology</a></td><td></td><td>Inderscience</td></tr> <tr class="odd"> <td><a href="/journal/951">Image Processing On Line</a></td><td></td><td>IPOL</td></tr> <tr class="even"> <td><a href="/journal/827">IEEE Transactions on Very Large Scale Integration (VLSI) Systems</a></td><td>2.800</td><td>IEEE</td></tr> <tr class="odd"> <td><a href="/journal/349">Computer Methods in Applied Mechanics and Engineering</a></td><td>6.900</td><td>Elsevier</td></tr> <tr class="even"> <td><a href="/journal/330">IEICE Transactions on Communications</a></td><td> </td><td>IEICE</td></tr> <tr class="odd"> <td><a href="/journal/1158">IEEE Transactions on Intelligent Vehicles</a></td><td>14.00</td><td>IEEE</td></tr> <tr class="even"> <td><a href="/journal/1099">Proceedings of the ACM on Programming Languages</a></td><td>2.200</td><td>ACM</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/666"><span>1148</span><span>207</span><span>702</span><span>933</span><span>951</span><span>827</span><span>349</span><span>330</span><span>1158</span><span>1099</span></div> </div></div> </div> </div> <div class="portlet" id="yw6"> <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="yw7" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw7_c0">CCF</th><th id="yw7_c1">CORE</th><th id="yw7_c2">QUALIS</th><th id="yw7_c3">Short</th><th id="yw7_c4">Full Name</th><th id="yw7_c5">Submission</th><th id="yw7_c6">Notification</th><th id="yw7_c7">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td></td><td></td><td></td><td>ICCC</td><td><a href="/conference/672">International Conference on Innovative Computing and Cloud Computing</a></td><td>2011-07-20</td><td>2011-07-20</td><td>2011-08-13</td></tr> <tr class="even"> <td><span class="badge badge-warning">b</span></td><td><span class="badge badge-warning">a*</span></td><td><span class="badge badge-warning">a2</span></td><td>COLT</td><td><a href="/conference/415">Annual Conference on Learning Theory</a></td><td>2025-02-06</td><td>2025-05-02</td><td>2025-06-30</td></tr> <tr class="odd"> <td></td><td></td><td><span class="badge badge-warning">b3</span></td><td>JTRES</td><td><a href="/conference/596">International Workshop on Java Technologies for Real-time and Embedded Systems</a></td><td>2016-06-12</td><td>2016-07-20</td><td>2016-08-29</td></tr> <tr class="even"> <td></td><td></td><td></td><td>DOA-Trusted Cloud</td><td><a href="/conference/1195">International Conference on Secure Virtual Infrastructures</a></td><td>2014-06-15</td><td>2014-08-06</td><td>2014-10-27</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>WS-FM</td><td><a href="/conference/226">International Workshop on Web Services and Formal Methods</a></td><td> </td><td>2012-07-21</td><td>2012-09-06</td></tr> <tr class="even"> <td></td><td></td><td></td><td>SESBC</td><td><a href="/conference/3893">International Conference on Software Engineering, Security and Blockchain</a></td><td>2023-08-05</td><td>2023-08-14</td><td>2023-08-19</td></tr> <tr class="odd"> <td><span class="badge badge-warning">b</span></td><td><span class="badge badge-warning">a</span></td><td><span class="badge badge-warning">a2</span></td><td>ESA</td><td><a href="/conference/457">European Symposium on Algorithms</a></td><td>2024-04-28</td><td>2024-06-23</td><td>2024-09-04</td></tr> <tr class="even"> <td><span class="badge badge-warning">b</span></td><td><span class="badge badge-warning">a</span></td><td><span class="badge badge-warning">b1</span></td><td>CCC</td><td><a href="/conference/384">IEEE Conference on Computational Complexity</a></td><td>2024-02-16</td><td>2024-05-05</td><td>2024-07-22</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>ICEIEC</td><td><a href="/conference/3005">IEEE International Conference on Electronics Information and Emergency Communication</a></td><td>2025-03-20</td><td>2025-04-05</td><td>2025-06-21</td></tr> <tr class="even"> <td></td><td><span class="badge badge-warning">a</span></td><td><span class="badge badge-warning">a2</span></td><td>ESOP</td><td><a href="/conference/200">European Symposium on Programming</a></td><td>2024-10-10</td><td>2024-12-19</td><td>2025-05-03</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/666"><span>672</span><span>415</span><span>596</span><span>1195</span><span>226</span><span>3893</span><span>457</span><span>384</span><span>3005</span><span>200</span></div> </div></div> <div class="visible-phone"> <div id="yw8" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw8_c0">Short</th><th id="yw8_c1">Full Name</th><th id="yw8_c2">Submission</th><th id="yw8_c3">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td>ICCC</td><td><a href="/conference/672">International Conference on Innovative Computing and Cloud Computing</a></td><td>2011-07-20</td><td>2011-08-13</td></tr> <tr class="even"> <td>COLT</td><td><a href="/conference/415">Annual Conference on Learning Theory</a></td><td>2025-02-06</td><td>2025-06-30</td></tr> <tr class="odd"> <td>JTRES</td><td><a href="/conference/596">International Workshop on Java Technologies for Real-time and Embedded Systems</a></td><td>2016-06-12</td><td>2016-08-29</td></tr> <tr class="even"> <td>DOA-Trusted Cloud</td><td><a href="/conference/1195">International Conference on Secure Virtual Infrastructures</a></td><td>2014-06-15</td><td>2014-10-27</td></tr> <tr class="odd"> <td>WS-FM</td><td><a href="/conference/226">International Workshop on Web Services and Formal Methods</a></td><td> </td><td>2012-09-06</td></tr> <tr class="even"> <td>SESBC</td><td><a href="/conference/3893">International Conference on Software Engineering, Security and Blockchain</a></td><td>2023-08-05</td><td>2023-08-19</td></tr> <tr class="odd"> <td>ESA</td><td><a href="/conference/457">European Symposium on Algorithms</a></td><td>2024-04-28</td><td>2024-09-04</td></tr> <tr class="even"> <td>CCC</td><td><a href="/conference/384">IEEE Conference on Computational Complexity</a></td><td>2024-02-16</td><td>2024-07-22</td></tr> <tr class="odd"> <td>ICEIEC</td><td><a href="/conference/3005">IEEE International Conference on Electronics Information and Emergency Communication</a></td><td>2025-03-20</td><td>2025-06-21</td></tr> <tr class="even"> <td>ESOP</td><td><a href="/conference/200">European Symposium on Programming</a></td><td>2024-10-10</td><td>2025-05-03</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/666"><span>672</span><span>415</span><span>596</span><span>1195</span><span>226</span><span>3893</span><span>457</span><span>384</span><span>3005</span><span>200</span></div> </div></div> </div> </div> <div class="portlet" id="yw9"> <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>  <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> <div class="span2 hidden-phone"> <div class="sidebar-nav"> <ul id="yw10"> <li><a href="http://www.myhuiban.com/journal/track/id/666"><i class="icon icon-plus"></i>   Track It <span class="badge badge-warning pull-right">1</span></a></li> <li><a href="http://www.myhuiban.com/journal/edit/id/666"><i class="icon icon-edit"></i>   Edit CFP</a></li> <li><a href="http://www.myhuiban.com/journal/issue/id/666"><i class="icon icon-list-alt"></i>   Add Issue</a></li> </ul><br/> <div id="yw11" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw11_c0">Tracker</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/researcher/9576">Xidong Jian (484)</a></td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/666"><span>9576</span></div> </div> <div class="portlet" id="yw13"> <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> </div> </div> </div> </div> </div> </section>  <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,419</a> Researchers | 446,353,797 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('#yw4').yiiGridView({'ajaxUpdate':['yw4'],'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('#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('#yw7').yiiGridView({'ajaxUpdate':['yw7'],'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('#yw11').yiiGridView({'ajaxUpdate':['yw11'],'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>