CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://conf.researchr.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://conf.researchr.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>FLOPS 2024 - FLOPS 2024</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://conf.researchr.org";</script> <link rel="stylesheet" href="https://conf.researchr.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/logobar.css?d68c282160782c2b5f5bfb8ceb47a30e" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://conf.researchr.org/getImage/flops-2024/carousel/ac3936d368834e5bdbd85b20533c4e3f.jpg?1681865206000'> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta name='description' content='Welcome to the website of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024). FLOPS 2024 is co-sponsored by Special Interest Group on Programming and Programming Languages (SIG-PPL), Japan Society for Software Science and Technology (JSSST), in cooperation with ACM SIGPLAN. The FLOPS 2024 proceedings are now available online (free to read and download until end of June 2024). About FLOPS FLOPS aims to bring together practitioners, researchers and implementers of declarative programming, to discuss mutually interesting results and common problems: theoreti ...'>  <meta prefix='og: http://ogp.me/ns#' property='og:title' content='FLOPS 2024 - FLOPS 2024'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Welcome to the website of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024). FLOPS 2024 is co-sponsored by Special Interest Group on Programming and Programming Languages (SIG-PPL), Japan Society for Software Science and Technology (JSSST), in cooperation with ACM SIGPLAN. The FLOPS 2024 proceedings are now available online (free to read and download until end of June 2024). About FLOPS FLOPS aims to bring together practitioners, researchers and implementers of declarative programming, to discuss mutually interesting results and common problems: theoreti ...'> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ $(this).children().first().addClass('active'); } }); $(node).find('.tab-content:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).children('.active').length){ $(this).children('.tab-pane').first().addClass('active'); } }); } </script> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://conf.researchr.org/home/flops-2024" class="navbar-brand navigate"><span class="brand-text">FLOPS 2024</span></a><div class="place">Wed 15 - Fri 17 May 2024 <a href="https://conf.researchr.org/venue/flops-2024/flops-2024-venue" class="navigate">Kumamoto, Japan</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/venue/flops-2024/flops-2024-venue" class="navigate">Venue: Kumamoto City International Center</a></li><li class="block"><a href="https://conf.researchr.org/attending/flops-2024/excursion" class="navigate">Excursion and Banquet</a></li><li class="block"><a href="https://conf.researchr.org/attending/flops-2024/registration" class="navigate">Registration</a></li><li class="block"><a href="https://conf.researchr.org/attending/flops-2024/announcements-to-participants" class="navigate">Announcements to Participants</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/program/flops-2024/program-flops-2024/" class="navigate">FLOPS Program</a></li><li class="block"><a href="https://conf.researchr.org/program/flops-2024/program-flops-2024/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://conf.researchr.org/program/flops-2024/program-flops-2024/" data-fltr-type="date" data-fltr-val="Wed 15 May 2024" class="navigate">Wed 15 May</a></li><li class="block"><a href="https://conf.researchr.org/program/flops-2024/program-flops-2024/" data-fltr-type="date" data-fltr-val="Thu 16 May 2024" class="navigate">Thu 16 May</a></li><li class="block"><a href="https://conf.researchr.org/program/flops-2024/program-flops-2024/" data-fltr-type="date" data-fltr-val="Fri 17 May 2024" class="navigate">Fri 17 May</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/home/flops-2024" class="navigate">Track/Call</a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">FLOPS 2024 Committees</li><li class="block"><a href="https://conf.researchr.org/committee/flops-2024/flops-2024-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/flops-2024/flops-2024-programme-chairs" class="navigate">Program Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/flops-2024/flops-2024-program-committee" class="navigate">Program committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://conf.researchr.org/committee/flops-2024/flops-2024-papers-program-committee" class="navigate">Programme Committee</a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://conf.researchr.org/people-index/flops-2024" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div></div></ul></li><li class="block"><a href="https://conf.researchr.org/search/flops-2024//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/series/flops" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> FLOPS 2024</span></li><li class="block"><a href="https://conf.researchr.org/home/flops-2022" class="navigate">FLOPS 2022</a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/flops-2024/https%3A%5Es%5Esconf.researchr.org%5Eshome%5Esflops-2024" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://conf.researchr.org/signup/flops-2024" class="navigate">Sign up</a></li></ul></div></div></div></div><script type="text/javascript">$(document).ready(function(){ $('.carousel').carousel({ interval: 10000 }) }); </script><div id="carousel-78d653dd-e069-4372-8ad0-3b1f9672139a" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-78d653dd-e069-4372-8ad0-3b1f9672139a" data-slide-to="0" class="active"></li><li data-target="#carousel-78d653dd-e069-4372-8ad0-3b1f9672139a" data-slide-to="1"></li><li data-target="#carousel-78d653dd-e069-4372-8ad0-3b1f9672139a" data-slide-to="2"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/flops-2024/carousel/ac3936d368834e5bdbd85b20533c4e3f.jpg?1681865206000');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>Kumamoto Castle</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/flops-2024/carousel/DSC_4582.jpg?1681865293000');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>Suizenji Jojuen</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/flops-2024/carousel/cec195a8d1c610e481922a3dfffd8047.jpg?1681865339000');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5></h5></div></div></div><a href="#carousel-78d653dd-e069-4372-8ad0-3b1f9672139a" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-78d653dd-e069-4372-8ad0-3b1f9672139a" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div><div id="content" class="container"><div class="page-header"><span class="text-muted small">FLOPS 2024 (<a href="https://conf.researchr.org/series/flops" class="navigate">series</a>) / </span><h1>FLOPS 2024</h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><p>Welcome to the website of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024). FLOPS 2024 is co-sponsored by <a href="http://ppl.jssst.or.jp/">Special Interest Group on Programming and Programming Languages (SIG-PPL)</a>, <a href="https://www.jssst.or.jp">Japan Society for Software Science and Technology (JSSST)</a>, in cooperation with <a href="https://www.sigplan.org/">ACM SIGPLAN</a>.</p> <p>The <a href="https://link.springer.com/book/10.1007/978-981-97-2300-3">FLOPS 2024 proceedings</a> are now available online (free to read and download until end of June 2024).</p> <h2><a href="#about-flops" id="about-flops" class="anchor-link">About FLOPS</a></h2>  <p>FLOPS aims to bring together practitioners, researchers and implementers of declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming.</p> <p>Previous FLOPS meetings were held at Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), <a href="https://www.ueda.info.waseda.ac.jp/flops2001/">Tokyo</a> (2001), Aizu (2002), <a href="http://www.cs.tsukuba.ac.jp/~kam/flops2004/">Nara</a> (2004), Fuji Susono (2006), <a href="http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/">Ise</a> (2008), <a href="https://web.archive.org/web/20161224011357/http://www.kb.ecei.tohoku.ac.jp/flops2010/wiki/index.php?FrontPage">Sendai</a> (2010), <a href="http://www.org.kobe-u.ac.jp/flops2012/">Kobe</a> (2012), <a href="http://www.jaist.ac.jp/flops2014/">Kanazawa</a> (2014), <a href="http://www.info.kochi-tech.ac.jp/FLOPS2016/#pc">Kochi</a> (2016), Nagoya (2018), <a href="https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/#program"><del>Akita</del> online</a> (2020), and <a href="https://conf.researchr.org/home/flops-2022"><del>Kyoto</del> online</a> (2022).</p>  <h2><a href="#schedule-overview" id="schedule-overview" class="anchor-link">Schedule Overview</a></h2> <table style="border:2px solid; border-collapse:collapse;"> <tbody><tr style="border-spacing:30px"> <td style="align:center; padding:10px">Wed 15 May</td> <td style="align:center; padding:10px">Thu 16 May</td> <td style="align:center; padding:10px">Fri 17 May</td> </tr> <tr> <td style="align:center; vertical-align: top; padding:10px;"> 9:30 – 17:30<br> Keynote talk and research talks </td> <td style="align:center; padding:10px;"> 9:30 – 12:00<br> Keynote talk and research talks<br><br> 14:00 – 19:45<br> Excursion and Banquet </td> <td style="align:center; vertical-align:top; padding:10px;"> 9:30 – 16:30<br> Keynote talks and research talks </td> </tr> </tbody></table><h3>Highlights</h3><div id="eaa4836d55525892e8ba4181a5e6f6e4wrapper"><div id="eaa4836d55525892e8ba4181a5e6f6e4"><a href="https://conf.researchr.org/details/flops-2024/flops-2024-papers/4/Verse-A-New-Functional-Logic-Language" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Lennart Augustsson" src="https://conf.researchr.org/getProfileImage/lennartaugustsson/6eb0e3d7-95dc-46d7-9616-c4ec5ef0bc74/avatar.jpg?1717337784000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Verse: A New Functional Logic Language</h5><h6><i>Lennart Augustsson</i></h6></div></div></div></a><a href="https://conf.researchr.org/details/flops-2024/flops-2024-papers/3/Verification-of-Refactoring-in-Answer-Set-Programming" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Yuliya Lierler" src="https://conf.researchr.org/getProfileImage/yuliyalierler/ac6f07a5-4a29-41d5-95e6-87f4fd24e426/avatar.jpg?1711606769000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Verification of Refactoring in Answer Set Programming</h5><h6><i>Yuliya Lierler</i></h6></div></div></div></a><a href="https://conf.researchr.org/details/flops-2024/flops-2024-papers/1/Continuations-from-Three-Angles" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Youyou Cong" src="https://conf.researchr.org/getProfileImage/youyoucong/0c1df422-0fa0-4689-9e1d-db5bd5a775d8/avatar.jpg?1727737921000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Continuations from Three Angles</h5><h6><i>Youyou Cong</i></h6></div></div></div></a><a href="https://conf.researchr.org/details/flops-2024/flops-2024-papers/2/Algebraic-Connection-between-Logic-Programming-and-Machine-Learning" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Katsumi Inoue" src="https://conf.researchr.org/getProfileImage/katsumiinoue/3a8803b2-090f-40de-b742-85fbb4ad535f/avatar.jpg?1711606763000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Algebraic Connection between Logic Programming and Machine Learning</h5><h6><i>Katsumi Inoue</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#eaa4836d55525892e8ba4181a5e6f6e4").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#eaa4836d55525892e8ba4181a5e6f6e4wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#eaa4836d55525892e8ba4181a5e6f6e4 .' + cl + ',#eaa4836d55525892e8ba4181a5e6f6e4 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#eaa4836d55525892e8ba4181a5e6f6e4 .' + cl).css('height', maxHeight); }); }); </script><h3>Accepted Papers</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="842322b6-cebc-437d-944d-ca62726954fb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="842322b6-cebc-437d-944d-ca62726954fb">A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/janchristophkassing" class="navigate">Jan-Christoph Kassing</a>, <a href="https://conf.researchr.org/profile/flops-2024/stefandollase" class="navigate">Stefan Dollase</a>, <a href="https://conf.researchr.org/profile/flops-2024/jurgengiesl" class="navigate">Jürgen Giesl</a></div></td></tr><tr><td><span data-event-star="e859b927-8e8b-437a-acd5-55047b9e3096" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e859b927-8e8b-437a-acd5-55047b9e3096">An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/takashisuwa1" class="navigate">Takashi Suwa</a>, <a href="https://conf.researchr.org/profile/flops-2024/atsushiigarashi" class="navigate">Atsushi Igarashi</a></div></td></tr><tr><td><span data-event-star="0682545c-fae7-4856-b3ad-874180f0b8c9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="0682545c-fae7-4856-b3ad-874180f0b8c9">Declarative Pearl: Rigged Contracts</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/alexandervandenbroucke1" class="navigate">Alexander Vandenbroucke</a>, <a href="https://conf.researchr.org/profile/flops-2024/tomschrijvers" class="navigate">Tom Schrijvers</a></div></td></tr><tr><td><span data-event-star="1c861b5c-ee9a-495c-b5cf-f4af87a7e4c9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="1c861b5c-ee9a-495c-b5cf-f4af87a7e4c9">DeepLLM: Casting Dialog Threads into Logic Programs</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/paultarau" class="navigate">Paul Tarau</a></div></td></tr><tr><td><span data-event-star="ebdf5475-993c-4905-be09-eb054719ec81" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="ebdf5475-993c-4905-be09-eb054719ec81">Grants4Companies: Applying declarative methods for recommending and reasoning about business grants in the Austrian public administration (System description)</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/bjoernlellmann" class="navigate">Bjoern Lellmann</a>, <a href="https://conf.researchr.org/profile/flops-2024/philippmarek1" class="navigate">Philipp Marek</a>, <a href="https://conf.researchr.org/profile/flops-2024/markustriska" class="navigate">Markus Triska</a></div></td></tr><tr><td><span data-event-star="1e1c85a3-2ea7-4a46-8fad-a21b3317352e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="1e1c85a3-2ea7-4a46-8fad-a21b3317352e">Inferring Non-Failure Conditions for Declarative Programs</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/michaelhanus" class="navigate">Michael Hanus</a></div></td></tr><tr><td><span data-event-star="67d6dbc4-cd14-4805-ba04-95e55da833d8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="67d6dbc4-cd14-4805-ba04-95e55da833d8">Language-parameterized Proofs for Functional Languages with Subtyping</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/sethgalasso" class="navigate">Seth Galasso</a>, <a href="https://conf.researchr.org/profile/flops-2024/matteocimini" class="navigate">Matteo Cimini</a></div></td></tr><tr><td><span data-event-star="fe0a07b2-3d9e-4cce-b974-70e6450ad12c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="fe0a07b2-3d9e-4cce-b974-70e6450ad12c">MetaOCaml: Ten Years Later (System Description)</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/olegkiselyov" class="navigate">Oleg Kiselyov</a></div></td></tr><tr><td><span data-event-star="0167d006-803c-4a84-a566-e2a00b66929c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="0167d006-803c-4a84-a566-e2a00b66929c">Practical Constant-Time Memory Management for Functional Programming</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/chunkitlam" class="navigate">Chun Kit Lam</a>, <a href="https://conf.researchr.org/profile/flops-2024/lionelparreaux" class="navigate">Lionel Parreaux</a></div><a href="https://lptk.github.io/ctrc-paper" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr><td><span data-event-star="fb65343b-4819-46dd-b8fd-dbf9b16c3e2e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="fb65343b-4819-46dd-b8fd-dbf9b16c3e2e">System Description: ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/maximeguillaume" class="navigate">Maxime Guillaume</a>, <a href="https://conf.researchr.org/profile/flops-2024/sylvainpogodalla" class="navigate">Sylvain Pogodalla</a>, <a href="https://conf.researchr.org/profile/flops-2024/vincenttourneur" class="navigate">Vincent Tourneur</a></div></td></tr><tr><td><span data-event-star="71f12132-3779-4f6e-a347-b58ebc2a86a0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="71f12132-3779-4f6e-a347-b58ebc2a86a0">System Description: A theorem-prover for subregular systems: The Language Toolkit and its interpreter, plebby</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/dakotahlambert" class="navigate">Dakotah Lambert</a></div></td></tr><tr><td><span data-event-star="e5d11e05-3814-4091-ae47-00ae6ece8b78" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e5d11e05-3814-4091-ae47-00ae6ece8b78">[System description paper] A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/francoisfages" class="navigate">François Fages</a></div></td></tr><tr><td><span data-event-star="e8bebc90-6369-423e-b034-b869c26c7a86" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e8bebc90-6369-423e-b034-b869c26c7a86">[System Description] Rhyme: A Data-Centric Multi-Paradigm Query Language based on Functional Logic Metaprogramming</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/supunabeysinghe1" class="navigate">Supun Abeysinghe</a>, <a href="https://conf.researchr.org/profile/flops-2024/tiarkrompf" class="navigate">Tiark Rompf</a></div></td></tr><tr><td><span data-event-star="b76c26b2-9cd2-44c2-aae9-0a468ac02328" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b76c26b2-9cd2-44c2-aae9-0a468ac02328">Tabulation with Zippers</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/marcosviera" class="navigate">Marcos Viera</a>, <a href="https://conf.researchr.org/profile/flops-2024/albertopardo" class="navigate">Alberto Pardo</a>, <a href="https://conf.researchr.org/profile/flops-2024/joaosaraiva" class="navigate">João Saraiva</a></div></td></tr><tr><td><span data-event-star="0200a6cb-ec9f-496a-ac07-94badc18fc95" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="0200a6cb-ec9f-496a-ac07-94badc18fc95">Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement</a><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/kokomuroya" class="navigate">Koko Muroya</a>, <a href="https://conf.researchr.org/profile/flops-2024/makotohamana" class="navigate">Makoto Hamana</a></div></td></tr></table><h2>Call for Papers</h2><p><p>FLOPS solicits original papers in all areas of declarative programming:</p> <ul> <li>functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques;</li> <li>foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies.</li> </ul> <p>FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by a wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged.</p> <h2><a href="#submission" id="submission" class="anchor-link">Submission</a></h2> <p>Submissions should fall into one of the following categories:</p> <ul> <li>Regular research papers: they should describe new results and will be judged on originality, correctness, and significance.</li> <li>System descriptions: they should describe a working system and will be judged on originality, usefulness, and design.</li> <li>Declarative pearls: new and excellent declarative programs or theories with illustrative applications.</li> </ul> <p>System descriptions and declarative pearls must be explicitly marked as such in the title.</p> <p>Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Authors must follow <a href="https://www.springernature.com/gp/authors/book-authors-code-of-conduct">Springer’s Code of Conduct</a>. See also the <a href="http://www.sigplan.org/Resources/Policies/Republication">ACM SIGPLAN Republication Policy</a>. At least one author of each accepted paper should plan to attend the conference in person to present the work: there will be no general facility for online or pre-recorded presentation (but we will do our best to accommodate visa issues and similar unavoidable obstacles).</p> <p>Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to <a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines">Springer’s guidelines</a>. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review.</p> <p>Papers should be submitted electronically at <a href="https://easychair.org/conferences/?conf=flops2024">https://easychair.org/conferences/?conf=flops2024</a>.</p> <h2><a href="#reviewing-process" id="reviewing-process" class="anchor-link">Reviewing process</a></h2> <p>FLOPS 2024 will employ a <strong>light double-blind</strong> reviewing process; reviewers will not see author names until they submit a review. To facilitate this, submitted papers must adhere to two rules:</p> <ul> <li>author names and institutions must be omitted, and</li> <li>references to authors’ own related work should be in the third person (e.g., not “We build on our previous work…” but rather “We build on the work of…”).</li> </ul> <p>The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.</p> <h2><a href="#publication" id="publication" class="anchor-link">Publication</a></h2> <p>The proceedings will be published by Springer International Publishing in the <a href="http://www.springer.com/lncs">Lecture Notes in Computer Science (LNCS) series</a>.</p> <p><img src="https://conf.researchr.org/getImage/flops-2024/small/LNCS+Logo.jpg" alt="Springer LNCS logo"></p> <p>We expect to invite the authors of four to seven of the best papers to submit an extended version of their FLOPS paper to a special issue which will appear in the journal <a href="https://www.journals.elsevier.com/science-of-computer-programming">Science of Computer Programming (SCP)</a>.</p> <h2><a href="#important-dates" id="important-dates" class="anchor-link">Important dates</a></h2> <p>All deadlines are Anywhere on Earth (AoE = UTC-12).</p> <ul> <li>Abstract due: Wed 6th Dec 2023</li> <li>Submission deadline: Wed 13th Dec 2023</li> <li>Notifications: Fri 26th Jan 2024</li> <li>Final versions due: Wed 28th Feb 2024</li> </ul> <h2><a href="#financial-supporters" id="financial-supporters" class="anchor-link">Financial Supporters</a></h2> <p>FLOPS 2024 is supported by</p> <ul> <li>Japan Society for Software Science and Technology (<a href="https://www.jssst.or.jp/">https://www.jssst.or.jp/</a>)</li> <li>KDDI Foundation (<a href="https://www.kddi-foundation.or.jp/english/">https://www.kddi-foundation.or.jp/english/</a>) <img src="https://conf.researchr.org/getImage/flops-2024/thumbnail/kddi_foundation_logo.jpg" alt="KDDI Foundation logo"></li> <li>Support Center for Advanced Telecommunications Technology Research (<a href="https://www.scat.or.jp/en/">https://www.scat.or.jp/en/</a>)</li> </ul> </p></div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://conf.researchr.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="flops-2024" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT+09:00) Osaka, Sapporo, Tokyo</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-09:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-06:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-04:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+03:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+03:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+09:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+10:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+10:30) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+11:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+12:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+12:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"flops-2024"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != 540){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 15 May</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Osaka, Sapporo, Tokyo</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Wed 15 May 2024" data-facet-date-order="240515" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">09:20 - 09:30</div></td><td colspan="2"><div class="session-info-in-table">Opening<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-9"><table data-facet-date="Wed 15 May 2024" data-facet-date-order="240515" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">09:30 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">Invited Talk<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/flops-2024/jeremygibbons" target="_blank" class="navigate">Jeremy Gibbons</a><span class="prog-aff"> Department of Computer Science, University of Oxford</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="450db07c-133d-474e-aa5a-12a476f1b8f3" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:30</div><strong>60m</strong></div><div class="event-type">Keynote</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="f4ecc699-ec8d-401b-805a-a6162ef1bc2a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f4ecc699-ec8d-401b-805a-a6162ef1bc2a">Algebraic Connection between Logic Programming and Machine Learning</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/katsumiinoue" class="navigate">Katsumi Inoue</a><span class="prog-aff"> NII</span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Wed 15 May 2024" data-facet-date-order="240515" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">10:30 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Wed 15 May 2024" data-facet-date-order="240515" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">11:00 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">Program Analysis<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/flops-2024/francoisfages" target="_blank" class="navigate">François Fages</a><span class="prog-aff"> Inria Saclay - Ile de France</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="703d9b00-13ca-4911-bc3f-ff0a928d7fcf" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="1e1c85a3-2ea7-4a46-8fad-a21b3317352e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1e1c85a3-2ea7-4a46-8fad-a21b3317352e">Inferring Non-Failure Conditions for Declarative Programs</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/michaelhanus" class="navigate">Michael Hanus</a><span class="prog-aff"> Kiel University</span></div></td></tr><tr data-slot-id="3028d34a-87d0-4401-8fb3-274cb58dda4d" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="0167d006-803c-4a84-a566-e2a00b66929c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0167d006-803c-4a84-a566-e2a00b66929c">Practical Constant-Time Memory Management for Functional Programming</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/chunkitlam" class="navigate">Chun Kit Lam</a><span class="prog-aff"> Hong Kong University of Science and Technology</span>, <a href="https://conf.researchr.org/profile/flops-2024/lionelparreaux" class="navigate">Lionel Parreaux</a><span class="prog-aff"> HKUST (The Hong Kong University of Science and Technology)</span></div><a href="https://lptk.github.io/ctrc-paper" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Wed 15 May 2024" data-facet-date-order="240515" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">12:00 - 14:00</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Wed 15 May 2024" data-facet-date-order="240515" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">14:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Rewriting<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/flops-2024/matteocimini" target="_blank" class="navigate">Matteo Cimini</a><span class="prog-aff"> University of Massachusetts Lowell</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="09959d23-1378-4edc-a0ff-2700ac6a1f7d" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="fb65343b-4819-46dd-b8fd-dbf9b16c3e2e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fb65343b-4819-46dd-b8fd-dbf9b16c3e2e">System Description: ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/maximeguillaume" class="navigate">Maxime Guillaume</a><span class="prog-aff"> Yseop/INRIA</span>, <a href="https://conf.researchr.org/profile/flops-2024/sylvainpogodalla" class="navigate">Sylvain Pogodalla</a><span class="prog-aff"> LORIA/INRIA Lorraine</span>, <a href="https://conf.researchr.org/profile/flops-2024/vincenttourneur" class="navigate">Vincent Tourneur</a><span class="prog-aff"> LORIA/INRIA Nancy</span></div></td></tr><tr data-slot-id="204a6716-2007-4058-a862-d0aa0fd8c883" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="0200a6cb-ec9f-496a-ac07-94badc18fc95" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0200a6cb-ec9f-496a-ac07-94badc18fc95">Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/kokomuroya" class="navigate">Koko Muroya</a><span class="prog-aff"> RIMS, Kyoto University</span>, <a href="https://conf.researchr.org/profile/flops-2024/makotohamana" class="navigate">Makoto Hamana</a><span class="prog-aff"> Kyushu Institute of Technology, Japan</span></div></td></tr><tr data-slot-id="58c2d37e-3943-4505-ac55-19f84dea2d50" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="842322b6-cebc-437d-944d-ca62726954fb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="842322b6-cebc-437d-944d-ca62726954fb">A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/janchristophkassing" class="navigate">Jan-Christoph Kassing</a><span class="prog-aff"> RWTH Aachen</span>, <a href="https://conf.researchr.org/profile/flops-2024/stefandollase" class="navigate">Stefan Dollase</a><span class="prog-aff"> RWTH Aachen, Research Group Computer Science 2</span>, <a href="https://conf.researchr.org/profile/flops-2024/jurgengiesl" class="navigate">Jürgen Giesl</a><span class="prog-aff"> RWTH Aachen University</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Wed 15 May 2024" data-facet-date-order="240515" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">15:30 - 16:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Wed 15 May 2024" data-facet-date-order="240515" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">16:00 - 17:30</div></td><td colspan="2"><div class="session-info-in-table">Metaprogramming<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/flops-2024/michaelhanus" target="_blank" class="navigate">Michael Hanus</a><span class="prog-aff"> Kiel University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="c20daf3f-8e19-47c3-8f38-a8ac319ea578" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="fe0a07b2-3d9e-4cce-b974-70e6450ad12c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fe0a07b2-3d9e-4cce-b974-70e6450ad12c">MetaOCaml: Ten Years Later (System Description)</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/olegkiselyov" class="navigate">Oleg Kiselyov</a><span class="prog-aff"> Tohoku University</span></div></td></tr><tr data-slot-id="66d0f931-3078-4418-93d8-14bc9e2ae346" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="e859b927-8e8b-437a-acd5-55047b9e3096" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e859b927-8e8b-437a-acd5-55047b9e3096">An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/takashisuwa1" class="navigate">Takashi Suwa</a><span class="prog-aff"> Kyoto University and National Institute of Informatics</span>, <a href="https://conf.researchr.org/profile/flops-2024/atsushiigarashi" class="navigate">Atsushi Igarashi</a><span class="prog-aff"> Kyoto University</span></div></td></tr><tr data-slot-id="52404f6b-8980-4dd0-8b70-5a7006bb8046" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="e8bebc90-6369-423e-b034-b869c26c7a86" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e8bebc90-6369-423e-b034-b869c26c7a86">[System Description] Rhyme: A Data-Centric Multi-Paradigm Query Language based on Functional Logic Metaprogramming</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/supunabeysinghe1" class="navigate">Supun Abeysinghe</a><span class="prog-aff"> Purdue University</span>, <a href="https://conf.researchr.org/profile/flops-2024/tiarkrompf" class="navigate">Tiark Rompf</a><span class="prog-aff"> Purdue University</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 16 May</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Osaka, Sapporo, Tokyo</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Thu 16 May 2024" data-facet-date-order="240516" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">09:30 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">Invited Talk<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/flops-2024/olegkiselyov" target="_blank" class="navigate">Oleg Kiselyov</a><span class="prog-aff"> Tohoku University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="63c06cfb-fd63-4c76-b336-3727c45e41b7" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:30</div><strong>60m</strong></div><div class="event-type">Keynote</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="34298b12-0c17-4822-9820-c7c3829d8a13" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="34298b12-0c17-4822-9820-c7c3829d8a13">Verse: A New Functional Logic Language</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/lennartaugustsson" class="navigate">Lennart Augustsson</a><span class="prog-aff"> Epic Games </span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Thu 16 May 2024" data-facet-date-order="240516" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">10:30 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Thu 16 May 2024" data-facet-date-order="240516" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">11:00 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">Algebra<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/flops-2024/lennartaugustsson" target="_blank" class="navigate">Lennart Augustsson</a><span class="prog-aff"> Epic Games </span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="39f4617d-d13c-4372-b62d-f6b8b0cea8e6" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="b76c26b2-9cd2-44c2-aae9-0a468ac02328" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b76c26b2-9cd2-44c2-aae9-0a468ac02328">Tabulation with Zippers</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/marcosviera" class="navigate">Marcos Viera</a><span class="prog-aff"> University of the Republic, Uruguay</span>, <a href="https://conf.researchr.org/profile/flops-2024/albertopardo" class="navigate">Alberto Pardo</a><span class="prog-aff"> Universidad de la Republica, Uruguay</span>, <a href="https://conf.researchr.org/profile/flops-2024/joaosaraiva" class="navigate">João Saraiva</a><span class="prog-aff"> HASLab/INESC TEC, University of Minho</span></div></td></tr><tr data-slot-id="293140a1-1079-4848-be07-62254fb14986" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="0682545c-fae7-4856-b3ad-874180f0b8c9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0682545c-fae7-4856-b3ad-874180f0b8c9">Declarative Pearl: Rigged Contracts</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/alexandervandenbroucke1" class="navigate">Alexander Vandenbroucke</a><span class="prog-aff"> Standard Chartered</span>, <a href="https://conf.researchr.org/profile/flops-2024/tomschrijvers" class="navigate">Tom Schrijvers</a><span class="prog-aff"> KU Leuven</span></div></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Thu 16 May 2024" data-facet-date-order="240516" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">12:00 - 14:00</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Thu 16 May 2024" data-facet-date-order="240516" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">14:00 - 19:45</div></td><td colspan="2"><div class="session-info-in-table">Excursion and banquet<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Fri 17 May</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Osaka, Sapporo, Tokyo</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Fri 17 May 2024" data-facet-date-order="240517" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">09:30 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">Invited Talk<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/flops-2024/shinyakatsumata" target="_blank" class="navigate">Shin-ya Katsumata</a><span class="prog-aff"> Kyoto Sangyo University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="037813c0-33ec-4139-b5b1-e840fc61a3be" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:30</div><strong>60m</strong></div><div class="event-type">Keynote</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="ec450983-c7d6-4405-922e-d03990583d3b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ec450983-c7d6-4405-922e-d03990583d3b">Verification of Refactoring in Answer Set Programming</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/yuliyalierler" class="navigate">Yuliya Lierler</a><span class="prog-aff"> University of Nebraska</span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Fri 17 May 2024" data-facet-date-order="240517" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">10:30 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Fri 17 May 2024" data-facet-date-order="240517" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">11:00 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">Proofs<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/flops-2024/kokomuroya" target="_blank" class="navigate">Koko Muroya</a><span class="prog-aff"> RIMS, Kyoto University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="9eeaa49d-bbf2-4f38-ac33-aa7da046f7d8" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="67d6dbc4-cd14-4805-ba04-95e55da833d8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="67d6dbc4-cd14-4805-ba04-95e55da833d8">Language-parameterized Proofs for Functional Languages with Subtyping</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/sethgalasso" class="navigate">Seth Galasso</a><span class="prog-aff"> University of Massachusetts Lowell</span>, <a href="https://conf.researchr.org/profile/flops-2024/matteocimini" class="navigate">Matteo Cimini</a><span class="prog-aff"> University of Massachusetts Lowell</span></div></td></tr><tr data-slot-id="d58b329f-9db3-443a-acd7-0442e7947860" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="71f12132-3779-4f6e-a347-b58ebc2a86a0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="71f12132-3779-4f6e-a347-b58ebc2a86a0">System Description: A theorem-prover for subregular systems: The Language Toolkit and its interpreter, plebby</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/dakotahlambert" class="navigate">Dakotah Lambert</a><span class="prog-aff"> Université Jean Monnet</span></div></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Fri 17 May 2024" data-facet-date-order="240517" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">12:00 - 13:30</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Fri 17 May 2024" data-facet-date-order="240517" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Applications<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/flops-2024/youyoucong" target="_blank" class="navigate">Youyou Cong</a><span class="prog-aff"> Tokyo Institute of Technology</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4a257132-b208-4545-acef-d0861457facf" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="1c861b5c-ee9a-495c-b5cf-f4af87a7e4c9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1c861b5c-ee9a-495c-b5cf-f4af87a7e4c9">DeepLLM: Casting Dialog Threads into Logic Programs</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/paultarau" class="navigate">Paul Tarau</a><span class="prog-aff"> University of North Texas</span></div></td></tr><tr data-slot-id="3562ae50-18aa-4248-90c7-9987358876ac" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="e5d11e05-3814-4091-ae47-00ae6ece8b78" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e5d11e05-3814-4091-ae47-00ae6ece8b78">[System description paper] A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/francoisfages" class="navigate">François Fages</a><span class="prog-aff"> Inria Saclay - Ile de France</span></div></td></tr><tr data-slot-id="0e48ee77-0982-46a9-a334-04eeabc9ed2d" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="ebdf5475-993c-4905-be09-eb054719ec81" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ebdf5475-993c-4905-be09-eb054719ec81">Grants4Companies: Applying declarative methods for recommending and reasoning about business grants in the Austrian public administration (System description)</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/bjoernlellmann" class="navigate">Bjoern Lellmann</a><span class="prog-aff"> Bundesministerium für Finanzen</span>, <a href="https://conf.researchr.org/profile/flops-2024/philippmarek1" class="navigate">Philipp Marek</a><span class="prog-aff"> BRZ</span>, <a href="https://conf.researchr.org/profile/flops-2024/markustriska" class="navigate">Markus Triska</a><span class="prog-aff"> Bundesministerium für Finanzen</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Fri 17 May 2024" data-facet-date-order="240517" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">15:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Fri 17 May 2024" data-facet-date-order="240517" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">15:30 - 16:30</div></td><td colspan="2"><div class="session-info-in-table">Invited Talk<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/flops-2024/naohikohoshino1" target="_blank" class="navigate">Naohiko Hoshino</a><span class="prog-aff"> Sojo University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4e495489-d17a-4305-b603-a19bfcab1cf3" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>60m</strong></div><div class="event-type">Keynote</div><span data-facet-track="FLOPS"></span></td><td><span data-event-star="0c26aca3-babe-43a9-b49a-05fe13177ad9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0c26aca3-babe-43a9-b49a-05fe13177ad9">Continuations from Three Angles</a></strong><div class="prog-track">FLOPS 2024</div><div class="performers"><a href="https://conf.researchr.org/profile/flops-2024/youyoucong" class="navigate">Youyou Cong</a><span class="prog-aff"> Tokyo Institute of Technology</span></div></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Fri 17 May 2024" data-facet-date-order="240517" data-facet-track="FLOPS" data-facet-room="-location not assigned yet-" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">16:30 - 16:40</div></td><td colspan="2"><div class="session-info-in-table">Closing<span class="pull-right"><a href="https://conf.researchr.org/home/flops-2024" target="_blank" class="text-muted navigate">FLOPS 2024</a></span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div></div></div></div></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://conf.researchr.org/home/flops-2024" class="clickable-row past"><td><strong>Wed 15 May 2024</strong><br/><strong>Symposium starts</strong></td></tr><tr href="https://conf.researchr.org/home/flops-2024" class="clickable-row past"><td>Tue 7 May - Tue 14 May 2024<br/>Late registration</td></tr><tr href="https://conf.researchr.org/home/flops-2024" class="clickable-row past"><td>Wed 27 Mar - Tue 7 May 2024<br/>Early registration (extended to 7 May)</td></tr><tr href="https://conf.researchr.org/home/flops-2024" class="clickable-row past"><td>Wed 28 Feb 2024<br/>Final versions due</td></tr><tr href="https://conf.researchr.org/home/flops-2024" class="clickable-row past"><td>Fri 26 Jan 2024<br/>Notifications</td></tr><tr href="https://conf.researchr.org/home/flops-2024" class="clickable-row past"><td><strong>Wed 13 Dec 2023</strong><br/><strong>Submission deadline</strong></td></tr><tr href="https://conf.researchr.org/home/flops-2024" class="clickable-row past"><td>Wed 6 Dec 2023<br/>Abstracts due</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Submission Link</div></div><div class="panel-body"><small><span class="text-muted"><span class="glyphicon glyphicon-new-window"></span></span> <a href="https://easychair.org/conferences/?conf=flops2024" title="Submission link for Call for Papers" target="_blank" class="navigate">https://easychair.org/conferences/?conf=flops2024</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://conf.researchr.org/committee/flops-2024/flops-2024-papers-program-committee" class="navigate">Programme Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/jeremygibbons" class="navigate"><div class="media"><span class="pull-left"><img alt="Jeremy Gibbons" src="https://conf.researchr.org/getProfileImage/jeremygibbons/f7a22180-1ec3-4133-b018-1816d0342746/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jeremy Gibbons<span class="pull-right"><small>Co-chair</small></span></h5><h5 class="media-heading"><span class="text-black">Department of Computer Science, University of Oxford</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/dalemiller" class="navigate"><div class="media"><span class="pull-left"><img alt="Dale Miller" src="https://conf.researchr.org/getProfileImage/dalemiller/52c0436b-a7e3-42b6-94d5-8e4c1d6ff4bc/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Dale Miller<span class="pull-right"><small>Co-chair</small></span></h5><h5 class="media-heading"><span class="text-black">INRIA Saclay and LIX/Institut Polytechnique de Paris</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/sandraalves" class="navigate"><div class="media"><span class="pull-left"><img alt="Sandra Alves" src="https://conf.researchr.org/getProfileImage/sandraalves/859e6f1f-be52-4806-8c2a-7876bd5b5418/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sandra Alves<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Porto</span></h5><h5 class="media-heading"><small>Portugal</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/matteocimini" class="navigate"><div class="media"><span class="pull-left"><img alt="Matteo Cimini" src="https://conf.researchr.org/getProfileImage/matteocimini/b66e179b-96f7-43b6-8e43-fde80a7bbd64/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Matteo Cimini<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Massachusetts Lowell</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/maribelfernandez" class="navigate"><div class="media"><span class="pull-left"><img alt="Maribel Fernandez" src="https://conf.researchr.org/getProfileImage/maribelfernandez/2112e4a4-9584-4180-932c-44d9444aaec0/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Maribel Fernandez<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">King's College London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/carstenfuhs" class="navigate"><div class="media"><span class="pull-left"><img alt="Carsten Fuhs" src="https://conf.researchr.org/getProfileImage/carstenfuhs/1b58fceb-107d-4c61-a435-044043fa3329/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Carsten Fuhs<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Birkbeck, University of London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/robertgluck" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Robert Glück<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Copenhagen</span></h5><h5 class="media-heading"><small>Denmark</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/patriciapatriciajohann" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Patricia Johann<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Appalachian State University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/yukiyoshikameyama" class="navigate"><div class="media"><span class="pull-left"><img alt="Yukiyoshi Kameyama" src="https://conf.researchr.org/getProfileImage/yukiyoshikameyama/2d391325-96d8-42f8-ada8-659f5ac46b25/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yukiyoshi Kameyama<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Tsukuba</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/ekaterinakomendantskaya" class="navigate"><div class="media"><span class="pull-left"><img alt="Ekaterina Komendantskaya" src="https://conf.researchr.org/getProfileImage/ekaterinakomendantskaya/60bfb8fb-2e5d-4c90-8520-c0e7ab972c0c/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ekaterina Komendantskaya<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Heriot-Watt University and Southampton University</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/yannieliu" class="navigate"><div class="media"><span class="pull-left"><img alt="Y. Annie Liu" src="https://conf.researchr.org/getProfileImage/yannieliu/ba70ee2c-822c-41d4-abee-66268c9118bb/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Y. Annie Liu<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Stony Brook University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/anilmadhavapeddy" class="navigate"><div class="media"><span class="pull-left"><img alt="Anil Madhavapeddy" src="https://conf.researchr.org/getProfileImage/anilmadhavapeddy/d58849a9-9031-424a-b404-a4952bdad837/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Anil Madhavapeddy<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Cambridge, UK</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/aartmiddeldorp" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Aart Middeldorp<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/akimasamorihata" class="navigate"><div class="media"><span class="pull-left"><img alt="Akimasa Morihata" src="https://conf.researchr.org/getProfileImage/akimasamorihata/8cd04d8a-95a0-44ae-a034-b5f0501a784d/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Akimasa Morihata<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Tokyo</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/gopalannadathur" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Gopalan Nadathur<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Minnesota</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/carlosolarte1" class="navigate"><div class="media"><span class="pull-left"><img alt="Carlos Olarte" src="https://conf.researchr.org/getProfileImage/carlosolarte1/3dcbdb20-3c8f-4c13-9769-5c31836f08c0/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Carlos Olarte<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">CNRS; LIPN; Université Sorbonne Paris Nord</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/andreasrossberg" class="navigate"><div class="media"><span class="pull-left"><img alt="Andreas Rossberg" src="https://conf.researchr.org/getProfileImage/andreasrossberg/e9c5e25c-0db8-4c70-9901-a166da741f9b/micro-avatar.jpg?1718628533000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Andreas Rossberg<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Independent</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/joaosaraiva" class="navigate"><div class="media"><span class="pull-left"><img alt="João Saraiva" src="https://conf.researchr.org/getProfileImage/joaosaraiva/91d14aca-02ed-43a3-b057-6c2d946ee359/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">João Saraiva<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">HASLab/INESC TEC, University of Minho</span></h5><h5 class="media-heading"><small>Portugal</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/alexissaurin" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alexis Saurin<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/paultarau" class="navigate"><div class="media"><span class="pull-left"><img alt="Paul Tarau" src="https://conf.researchr.org/getProfileImage/paultarau/a7114f8a-d90d-4645-8c9c-0b5ce50ae19a/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Paul Tarau<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of North Texas</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/tachioterauchi" class="navigate"><div class="media"><span class="pull-left"><img alt="Tachio Terauchi" src="https://conf.researchr.org/getProfileImage/tachioterauchi/46265f6f-412b-4582-8a7d-d101a9f8fdaf/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Tachio Terauchi<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Waseda University</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/alwentiu" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alwen Tiu<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/kanaetsushima" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Kanae Tsushima<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">National Institute of Informatics, Japan</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 1 Dec 13:33</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="flops-2024" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"flops-2024"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://conf.researchr.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="flops-2024" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"flops-2024"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://conf.researchr.org/home/flops-2024" class="navigate"><span class="glyphicon glyphicon-home"></span> FLOPS 2024</a></h3><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.67.1</a>)<br/><small><a href="https://conf.researchr.org/support/flops-2024" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://conf.researchr.org/home/flops-2024" class="navigate">FLOPS 2024</a></div><div class="col-sm-6"></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://conf.researchr.org/venue/flops-2024/flops-2024-venue" class="navigate">Venue: Kumamoto City International Center</a><br><a href="https://conf.researchr.org/attending/flops-2024/excursion" class="navigate">Excursion and Banquet</a><br><a href="https://conf.researchr.org/attending/flops-2024/registration" class="navigate">Registration</a><br><a href="https://conf.researchr.org/attending/flops-2024/announcements-to-participants" class="navigate">Announcements to Participants</a></div><div class="col-sm-2"><img src="https://conf.researchr.org/getImage/flops-2024/orig/ACM-In-Cooperation_large.gif" alt="ACM in-cooperation logo"></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>