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 conference series - 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/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/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> <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: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 conference series - FLOPS 2024'> <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="series"><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="block"><a href="https://conf.researchr.org/series/flops" class="navigate"><strong><span class="glyphicon glyphicon-home"></span> Series</strong></a></li><li class="block"><a href="https://conf.researchr.org/home/flops-2024" class="navigate">FLOPS 2024</a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">All Editions <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"><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%5Esseries%5Esflops" 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-ae94785f-ad89-4cac-96cf-4cc36b41c467" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-ae94785f-ad89-4cac-96cf-4cc36b41c467" data-slide-to="0" class="active"></li><li data-target="#carousel-ae94785f-ad89-4cac-96cf-4cc36b41c467" data-slide-to="1"></li><li data-target="#carousel-ae94785f-ad89-4cac-96cf-4cc36b41c467" 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-ae94785f-ad89-4cac-96cf-4cc36b41c467" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-ae94785f-ad89-4cac-96cf-4cc36b41c467" 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"><h1>FLOPS</h1></div><div class="row"><div class="col-sm-8"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">All Editions</div></div><div class="panel-body"><table class="table table-hover"><tr href="https://conf.researchr.org/home/flops-2024" class="clickable-row edition-row"><td><strong>Wed 15 - Fri 17 May 2024 Kumamoto, Japan</strong><h3><a href="https://conf.researchr.org/home/flops-2024" class="navigate">FLOPS 2024</a></h3><p><small>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). Abou ...</small></p></td></tr><tr href="https://conf.researchr.org/home/flops-2022" class="clickable-row edition-row"><td><strong>Tue 10 - Thu 12 May 2022 Online</strong><h3><a href="https://conf.researchr.org/home/flops-2022" class="navigate">FLOPS 2022</a></h3><p><small>Welcome to the website of the 16th International Symposium on Functional and Logic Programming (FLOPS 2022). FLOPS 2022 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 Asian Association for Foundations of Software (AAFS) and ACM SIGPLAN. The FLOPS 2022 proceedings are now available onli ...</small></p></td></tr></table></div></div></div><div class="col-sm-4"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Organizing Committee (FLOPS 2024)</div></div><ul class="list-group"><li class="list-group-item"><a href="https://conf.researchr.org/profile/flops-2024/shinyakatsumata" class="navigate"><div class="media"><span class="pull-left"><img alt="Shin-ya Katsumata" src="https://conf.researchr.org/getProfileImage/shinyakatsumata/474f8931-4643-41f2-846b-3f3984faf022/micro-avatar.jpg?1717337784000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Shin-ya Katsumata<span class="pull-right"><small>General Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Kyoto Sangyo 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/naohikohoshino1" 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">Naohiko Hoshino<span class="pull-right"><small>Organizing Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Sojo University</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 10:56</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">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" 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><div class="col-sm-2"></div><div class="col-sm-2"><a href="https://conf.researchr.org/signup" class="navigate">Sign Up</a></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>