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://2020.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2020.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>LPOP 2020 - Logic and Practice of Programming (LPOP) 2020 - SPLASH 2020</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2020.splashcon.org";</script> <link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/getFile/ff776645-fe0c-41bc-a5f3-d351459352e4/header.css?1605369652019" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.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://2020.splashcon.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </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> <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 prefix='og: http://ogp.me/ns#' property='og:description' content='Logic is fundamental to computer science. Since the development of logic programming in the 1960s, logic has seen a growing practical role in computer science. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas. We encourage submissions from all areas of computer science that use formal logic. Your submission could explain how logic is used practically in your area, what are its successes and what are the challe ...'> <style> .facet-placeholder.past-facets>div { font-size: 0px ; } .facet-placeholder.past-facets>div:after { content: "Hide past days/events"; font-size: 12px; } </style> <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">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> <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">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){ var isActivatingFirstTab = false; // 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){ if(!isActivatingFirstTab){ 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){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <meta name='description' content='Logic is fundamental to computer science. Since the development of logic programming in the 1960s, logic has seen a growing practical role in computer science. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas. We encourage submissions from all areas of computer science that use formal logic. Your submission could explain how logic is used practically in your area, what are its successes and what are the challe ...'>  <meta prefix='og: http://ogp.me/ns#' property='og:title' content='LPOP 2020 - Logic and Practice of Programming (LPOP) 2020 - SPLASH 2020'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2020.splashcon.org/getImage/carousel/chocago.jpg?1602657013000'> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://2020.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2020</span></a><div class="place">Sun 15 - Sat 21 November 2020 <a href="https://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Online Conference</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://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Venue: Online</a></li><li class="block"><a href="https://2020.splashcon.org/attending/Students" class="navigate">Students</a></li><li class="block"><a href="https://2020.splashcon.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://2020.splashcon.org/attending/awards" class="navigate">Awards</a></li><li class="block"><a href="https://2020.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a></li><li class="block"><a href="https://2020.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a></li><li class="block"><a href="https://2020.splashcon.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Info <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/info/author-instructions" class="navigate">Presenter Instructions for OOPSLA/ECOOP/Onward!/GPCE/SLE/DLS</a></li><li class="block"><a href="https://2020.splashcon.org/info/presenter-instructions-sas" class="navigate">Presenter Instructions for SAS 2020</a></li><li class="block"><a href="https://2020.splashcon.org/info/presenter-instructions-for-rebase-2020" class="navigate">Presenter Instructions for REBASE 2020</a></li><li class="block"><a href="https://2020.splashcon.org/info/session-chair-instructions" class="navigate">Session Chair Instructions</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://2020.splashcon.org/program/program-splash-2020/" class="navigate">SPLASH Program</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" 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://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Sun 15 Nov 2020" class="navigate">Sun 15 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Mon 16 Nov 2020" class="navigate">Mon 16 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Tue 17 Nov 2020" class="navigate">Tue 17 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Wed 18 Nov 2020" class="navigate">Wed 18 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Thu 19 Nov 2020" class="navigate">Thu 19 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Fri 20 Nov 2020" class="navigate">Fri 20 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Sat 21 Nov 2020" class="navigate">Sat 21 Nov</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">SPLASH 2020</li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-oopsla" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Onward-Essays" class="navigate">Onward! Essays</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Onward-papers" class="navigate">Onward! Papers</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-rebase" class="navigate">REBASE</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-PLMW" class="navigate">PLMW</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-SPLASH-E" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-SRC" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" class="navigate">Meet The Speakers (MTS)</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-ask-me-anything--ama-" class="navigate">Ask Me Anything (AMA)</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-cares" class="navigate">CARES</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-awards" class="navigate">Awards</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-opening" class="navigate">Opening</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-closing" class="navigate">Closing</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="block"><a href="https://conf.researchr.org/home/dls-2020" class="navigate"><strong>DLS</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ECOOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="navigate"><strong>ECOOP</strong> Research Papers</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-artifacts" class="navigate"><strong>ECOOP</strong> Artifacts</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-Student-Volunteers" class="navigate"><strong>ECOOP</strong> Student Volunteers</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-doctoral-symposium" class="navigate"><strong>ECOOP</strong> Doctoral Symposium</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials" class="navigate"><strong>ECOOP</strong> Tutorials</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-Posters" class="navigate"><strong>ECOOP</strong> Posters</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/home/gpce-2020" class="navigate"><strong>GPCE</strong> </a></li><li class="block"><a href="https://conf.researchr.org/home/sas-2020" class="navigate"><strong>SAS</strong> </a></li><li class="block"><a href="https://conf.researchr.org/home/sle-2020" class="navigate"><strong>SLE</strong> </a></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2020.splashcon.org/home/agere-2020" class="navigate"><strong>AGERE</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/COP-2020" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/hatra-2020" class="navigate"><strong>HATRA</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/hilt-2020" class="navigate"><strong>HILT</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate"><strong>IWACO</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate"><strong>JSTools</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/live-2020" class="navigate"><strong>LIVE</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/lpop-2020" class="navigate"><strong>LPOP</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/nsad-2020" class="navigate"><strong>NSAD</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/plateau-2020" class="navigate"><strong>PLATEAU</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/pride-2020" class="navigate"><strong>PRIDE</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/rebls-2020" class="navigate"><strong>REBLS</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/soop-2020" class="navigate"><strong>SOOP</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate"><strong>SySEPL</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/tapas-2020" class="navigate"><strong>TAPAS</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/vmil-2020" class="navigate"><strong>VMIL</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate"><strong>VORTEX</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://2020.ecoop.org/home/scala-2020" class="navigate"><strong>Scala</strong> </a></li></ul></div></div></ul></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-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">SPLASH 2020 Committees</li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>OOPSLA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-oopsla-review-committee" class="navigate">Review Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-oopsla-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Essays</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Onward-Essays-onward--steering-committee" class="navigate">Onward! Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Papers</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Onward-papers-onward--steering-committee" class="navigate">Onward! Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>REBASE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-rebase-organizing-committee" class="navigate">REBASE Chicago</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-rebase-rebase-berlin" class="navigate">REBASE Berlin</a></li></ul></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Doctoral-Symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLMW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-PLMW-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-PLMW-speakers---panelists" class="navigate">Speakers & Panelists</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-PLMW-mentors" class="navigate">Mentors</a></li></ul></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Posters-organising-committee" class="navigate"><strong>Posters</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SPLASH-E</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-SPLASH-E-program-commitee" class="navigate">Program Commitee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-SPLASH-E-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Student Research Competition</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-SRC-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-SRC-reviewers" class="navigate">Reviewers/Judges</a></li></ul></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Student-Volunteers-organizers" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Workshops-organizing-committee-" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-cares-program-committe" class="navigate"><strong>CARES</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2020.splashcon.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/dls-2020/dls-2020-DLS-2019-1-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/dls-2020/dls-2020-DLS-2019-1-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ECOOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-program-committee" class="navigate"><strong>Research Papers</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-external-review-committee" class="navigate"><strong>Research Papers</strong> <small>External Review Committee</small></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-artifacts-artifact-evaluation-committee" class="navigate"><strong>Artifacts</strong></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-Student-Volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-academic-panel" class="navigate"><strong>Doctoral Symposium</strong> <small>Academic Panel</small></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-organizing-committee" class="navigate"><strong>Doctoral Symposium</strong> <small>Organizing Committee</small></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-Posters-posters-committee" class="navigate"><strong>Posters</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/gpce-2020/gpce-2020-GPCE-2019-18th-International-Conference-on-Generative-Programming-Concepts-Experiences-1-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/gpce-2020/gpce-2020-GPCE-2019-18th-International-Conference-on-Generative-Programming-Concepts-Experiences-1-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/gpce-2020/gpc-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-invited-speakers" class="navigate">Invited Speakers</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AGERE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/agere-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/agere-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>COP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/COP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/COP-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTfJP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-steering-commitee" class="navigate">Steering Commitee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>HATRA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/hatra-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/hatra-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>HILT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/hilt-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/hilt-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>IWACO</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/iwaco-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/iwaco-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>JSTools</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>LIVE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/live-2020-papers-organizing-committee" class="navigate">Organising Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/live-2020-papers-program-committee" class="navigate">Programme Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>LPOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-organizing-committee" class="navigate">General Chairs</a></li><li class="block"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-program-chairs" class="navigate">Program Chair</a></li><li class="block"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-publicity-chair" class="navigate">Publicity Chair</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>NSAD</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/nsad-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/nsad-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLATEAU</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/plateau-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PRIDE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/pride-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/pride-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>REBLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/rebls-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/rebls-2020-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SOOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/soop-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/soop-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SySEPL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>TAPAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/tapas-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/tapas-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VMIL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/vmil-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/vmil-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/vmil-2020-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VORTEX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/vortex-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/vortex-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scala</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-invited-speakers" class="navigate">Keynote</a></li><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2020.splashcon.org/search//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://2020.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"></li><li class="block"><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a></li><li class="block"><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li class="block"><a href="https://2023.splashcon.org" class="navigate">SPLASH 2023</a></li><li class="block"><a href="https://2022.splashcon.org" class="navigate">SPLASH 2022</a></li><li class="block"><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2020</span></li><li class="block"><a href="https://2019.splashcon.org" class="navigate">SPLASH 2019</a></li><li class="block"><a href="https://2018.splashcon.org" class="navigate">SPLASH 2018</a></li><li class="block"><a href="https://2017.splashcon.org" class="navigate">SPLASH 2017</a></li><li class="block"><a href="https://2016.splashcon.org" class="navigate">SPLASH 2016</a></li><li class="block"><a href="https://2015.splashcon.org" class="navigate">SPLASH 2015</a></li><li class="block"><a href="https://2014.splashcon.org" class="navigate">SPLASH 2014</a></li><li class="block"><a href="https://2013.splashcon.org" class="navigate">SPLASH 2013</a></li><li class="block"><a href="https://2012.splashcon.org" class="navigate">SPLASH 2012</a></li><li class="block"><a href="https://2011.splashcon.org" class="navigate">SPLASH 2011</a></li><li class="block"></li><li class="block"><a href="http://splashcon.org/2010/" target="_blank" class="navigate">SPLASH 2010 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"></li><li class="block"><a href="http://www.oopsla.org/oopsla2009/" target="_blank" class="navigate">OOPSLA 2009 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2008/" target="_blank" class="navigate">OOPSLA 2008 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2007/index.php?page=home/" target="_blank" class="navigate">OOPSLA 2007 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2006/program.html" target="_blank" class="navigate">OOPSLA 2006 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2005/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2005 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2004/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2004 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2003/files/" target="_blank" class="navigate">OOPSLA 2003 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2002/" target="_blank" class="navigate">OOPSLA 2002 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2001/" target="_blank" class="navigate">OOPSLA 2001 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2000/" target="_blank" class="navigate">OOPSLA 2000 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></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/splash-2020/https%3A%5Es%5Es2020.splashcon.org%5Eshome%5Eslpop-2020" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2020.splashcon.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a> (<a href="https://2020.splashcon.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small">LPOP 2020 (<a href="https://2020.splashcon.org/series/lpop" class="navigate">series</a>) / </span><h1>Logic and Practice of Programming (LPOP) 2020<span class="pull-right small h1">LPOP 2020</span></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><li><a href="#event-overview" data-toggle="tab">Invited Speakers</a></li><li><a href="#Proceedings-and-Videos" data-toggle="tab">Proceedings and Videos</a></li><li><a href="#Call-for-Participation" data-toggle="tab">Call for Participation</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>Logic is fundamental to computer science. Since the development of logic programming in the 1960s, logic has seen a growing practical role in computer science. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas. We encourage submissions from all areas of computer science that use formal logic. Your submission could explain how logic is used practically in your area, what are its successes and what are the challenges for the future. Your submission should be written to be understandable to anyone who understands formal logic. Concepts specific to your area should be defined in the paper. In this way, we aim to improve the practical use of logic in each area by transferring ideas and techniques between the areas.</p> <p>SPLASH has a long history of supporting workshops in many different areas of computer science. We mention just a few: generative programming, language engineering, managed runtimes, incremental computing, virtual machines, reactive languages, live programming, spatio-temporal knowledge bases, and AI-inspired methods for parallel computing. All of these areas use logic as part of their problem-solving arsenal, to help formulate and solve the problems specific to the area. Many use practical tools based on logic, such as SAT solvers, proof assistants, specification languages, logic programming, deductive databases, constraint solvers, and model checkers. The purpose of LPOP 2020 is to encourage cross-fertilization between these areas using the common language of logic and its practical applications.</p> <p>LPOP 2020 is a followup to the successful LPOP workshop held as part of the Federated Logic Conference in Oxford, UK in 2018. The earlier workshop focused on the integration of logic programming with imperative programming, to improve the practice of programming with logic. LPOP 2020 broadens this goal to focus on the practical use of logic as a crosscutting discipline across many areas of computer science. We hope to create synergies in these areas and help them progress faster by taking advantage of good ideas developed in other areas. This will also improve the general practice of programming with logic.</p> <script>$(function(){ $('div[data-facet-type="plenary"]>div.facet-false').click(); } )</script> <h3>Highlights: Outstanding Invited Speakers</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="79664896-2100-4fa7-8fa9-e9895aa22be1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="79664896-2100-4fa7-8fa9-e9895aa22be1">Invited Talk: From CLP(R) to MiniZinc: There and Back Again</a><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/peterstuckey" class="navigate">Peter Stuckey</a></div></td></tr><tr><td><span data-event-star="41045725-fdb0-4438-9f1c-700df02b4b0d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="41045725-fdb0-4438-9f1c-700df02b4b0d">Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language</a><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/leslielamport" class="navigate">Leslie Lamport</a></div></td></tr><tr><td><span data-event-star="26e7f84f-e4be-4d63-b272-15209e7dabfe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="26e7f84f-e4be-4d63-b272-15209e7dabfe">Invited Talk: Logic, Probability, Knowledge, and Learning</a><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/stuartrussell" class="navigate">Stuart Russell</a></div></td></tr><tr><td><span data-event-star="175c02c4-366f-4365-9dbc-9a9ddeacec3d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="175c02c4-366f-4365-9dbc-9a9ddeacec3d">Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms</a><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/adnandarwiche" class="navigate">Adnan Darwiche</a></div></td></tr></table></div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row plenary-facets"><div class="col-sm-1"><strong>Plenary</strong></div><div class="col-sm-11"><div data-facet-type="plenary" 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://2020.splashcon.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="splash-2020" /><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-06:00) Central Time (US & Canada)</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-06:00) Central Time (US & Canada)</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-10: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-09:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-08: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-08:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-07:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-07: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-05:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-06:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-05:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-05: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-03: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-04:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-03: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-03:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-03: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-01:00) 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) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT) 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+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+01: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+02:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+02: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+02: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+02: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+02: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+10: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+11: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+11:00) 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+12: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+13: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+13: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://2020.splashcon.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"splash-2020"},],"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 != -360){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><script type="text/javascript">window.preselectTimeBand = true; </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Sun 15 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Central Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-7"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" 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 c32"></td><td><div class="slot-label">07:00 - 07:20</div></td><td colspan="2"><div class="session-info-in-table">Opening Session<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-opening" target="_blank" class="text-muted navigate">Opening</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="094be895-e53c-49f2-9aa0-4fc27aacf310" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">07:00</div><strong>20m</strong></div><div class="event-type">Day opening</div><span data-facet-track="SPLASH Opening"></span></td><td><span data-event-star="e341c0d1-a77b-4aa1-ae9b-83ec123e28da" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e341c0d1-a77b-4aa1-ae9b-83ec123e28da">Opening Session</a></strong><div class="prog-track">Opening</div><div class="performers"><a href="https://2020.splashcon.org/profile/hrideshrajan" class="navigate">Hridesh Rajan</a><span class="prog-aff"> Iowa State University, USA</span>, <a href="https://2020.splashcon.org/profile/davidgrove" class="navigate">David Grove</a><span class="prog-aff"> IBM Research</span>, <span title="ECOOP General Chair" class="role">E: </span><a href="https://2020.splashcon.org/profile/christianhammer" class="navigate">Christian Hammer</a><span class="prog-aff"> University of Potsdam</span>, <span title="ECOOP PC Chair" class="role">E: </span><a href="https://2020.splashcon.org/profile/roberthirschfeld" class="navigate">Robert Hirschfeld</a><span class="prog-aff"> Hasso Plattner Institute (HPI), University of Potsdam, Germany</span>, <span title="ECOOP 2021 General Chair" class="role">E: </span><a href="https://2020.splashcon.org/profile/andersmoller" class="navigate">Anders Møller</a><span class="prog-aff"> Aarhus University</span></div></td></tr></table></div><div class="hidable band hour-7"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" 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 c5"></td><td><div class="slot-label">07:20 - 08:20</div></td><td colspan="2"><div class="session-info-in-table">S<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bde0f112-ddc4-4beb-af9c-07d84d408c35" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">07:20</div><strong>60m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="a5f428b0-d93e-412f-a7d4-36adba3203c1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a5f428b0-d93e-412f-a7d4-36adba3203c1">Fitzcarraldo — or How to Hack Academia to Build Stuff<span class="pull-right"><span title="This talk will be followed by an ASK ME ANYTHING session." data-facet-badge="AMA" class="output-badge" style="max-width:40px;"><span class="label-primary label">AMA</span></span></span><span class="pull-right"><span data-facet-badge="supported by Facebook" class="output-badge" style="max-width:40px;"><span class="label-primary label">supported by Facebook</span></span></span></a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://2020.splashcon.org/profile/janvitek" class="navigate">Jan Vitek</a><span class="prog-aff"> Northeastern University / Czech Technical University</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3436261" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://2020.splashcon.org/details/splash-2020-splash-keynotes/14/Fitzcarraldo-or-How-to-Hack-Academia-to-Build-Stuff" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-8"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" 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 c3"></td><td><div class="slot-label">08:20 - 09:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Chicago<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-Posters" target="_blank" class="text-muted navigate">Posters</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/><p>Please click the link below for the list of featured posters.</p> </div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="8eacf6e6-a5b3-431c-ab07-6a547443c652" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">08:20</div><strong>40m</strong></div><div class="event-type">Other</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="b14951c0-1b3a-4b54-ba3f-453e8d37ae2d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b14951c0-1b3a-4b54-ba3f-453e8d37ae2d">Posters Session 1</a></strong><div class="prog-track">Posters</div><br></td></tr></table></div><div class="hidable band hour-9"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-IV" 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 c24"></td><td><div class="slot-label">09:00 - 10:20</div></td><td colspan="2"><div class="session-info-in-table">10:00-- Logic in Program Specification and Analysis<span class="pull-right"><a href="https://2020.splashcon.org/home/lpop-2020" target="_blank" class="text-muted navigate">LPOP</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-iv" target="_blank" class="room-link navigate">SPLASH-IV</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/yannieliu" target="_blank" class="navigate">Y. Annie Liu</a><span class="prog-aff"> Stony Brook University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bfd90c22-915a-4c3b-b1bf-8000728b37fa" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:00</div><strong>10m</strong></div><div class="event-type">Day opening</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="fd1846cc-905f-4880-8986-5a4328c7ab3b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fd1846cc-905f-4880-8986-5a4328c7ab3b">Opening and Introduction</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/petervanroy" class="navigate">Peter Van Roy</a><span class="prog-aff"> Université catholique de Louvain</span></div></td></tr><tr data-slot-id="b50e6bde-8754-47a6-a7de-3d7ccf50eae8" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:10</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="41045725-fdb0-4438-9f1c-700df02b4b0d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="41045725-fdb0-4438-9f1c-700df02b4b0d">Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language</a></strong><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/leslielamport" class="navigate">Leslie Lamport</a><span class="prog-aff"> Microsoft Research</span></div></td></tr><tr data-slot-id="80cbf669-a528-4263-bf2a-9544d95bc221" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:50</div><strong>15m</strong></div><div class="event-type">Paper</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="017b3270-a58b-4ed5-a87e-13c91d52f49b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="017b3270-a58b-4ed5-a87e-13c91d52f49b">Deductive Synthesis of the Unification Algorithm: The Automation of Introspection</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/richardwaldinger" class="navigate">Richard Waldinger</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="baa4d0e7-6eb6-4408-8876-c6c4fec203ed" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:05</div><strong>15m</strong></div><div class="event-type">Paper</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="6569c0f4-5832-4e24-a6f3-8203500c6164" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6569c0f4-5832-4e24-a6f3-8203500c6164">Logic in Program Analysis and Verification</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/patrickcousot" class="navigate">Patrick Cousot</a><span class="prog-aff"> New York University</span></div></td></tr><tr data-slot-id="61d2a8d0-67d5-40ad-9ab9-6d82b3c857fe" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:20</div><strong>30m</strong></div><div class="event-type">Live Q&A</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="7497f9d7-7d6c-4293-9863-db8f335f39c5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7497f9d7-7d6c-4293-9863-db8f335f39c5">Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? </a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/leslielamport" class="navigate">Leslie Lamport</a><span class="prog-aff"> Microsoft Research</span>, <a href="https://2020.splashcon.org/profile/richardwaldinger" class="navigate">Richard Waldinger</a><span class="prog-aff"> </span>, <a href="https://2020.splashcon.org/profile/patrickcousot" class="navigate">Patrick Cousot</a><span class="prog-aff"> New York University</span>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/davidwarren" class="navigate">David Warren</a><span class="prog-aff"> Stony Brook University</span></div></td></tr><tr data-slot-id="19ca38e1-64d7-4230-982a-d5ed415cba06" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:50</div><strong>10m</strong></div><div class="event-type">Break</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="52d57544-f1d8-4a06-a857-71f22fc7f3b0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="52d57544-f1d8-4a06-a857-71f22fc7f3b0">Break: Ask Me Anything</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/michaelleuschel" class="navigate">Michael Leuschel</a><span class="prog-aff"> University of Düsseldorf</span>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/jorgelobo" class="navigate">Jorge Lobo</a><span class="prog-aff"> ICREA and Universitat Pompeu Fabra</span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" 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 c11"></td><td><div class="slot-label">10:20 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seattle (PLMW AMA)<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-PLMW" target="_blank" class="text-muted navigate">PLMW</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="8f989f96-eb67-4548-bdc5-e89873244f71" class="hidable"><td class="track-color c11"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:20</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH PLMW"></span></td><td><span data-event-star="8b95f21f-5136-4d54-bda4-beccb3419c21" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8b95f21f-5136-4d54-bda4-beccb3419c21">Ask Me Anything: Amal Ahmed</a></strong><div class="prog-track">PLMW</div><div class="performers"><a href="https://2020.splashcon.org/profile/amalahmed" class="navigate">Amal Ahmed</a><span class="prog-aff"> Northeastern University, USA</span></div></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-IV" 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 c24"></td><td><div class="slot-label">11:00 - 12:20</div></td><td colspan="2"><div class="session-info-in-table"> 12:00-- Logic in Artificial Intelligence and Machine Learning<span class="pull-right"><a href="https://2020.splashcon.org/home/lpop-2020" target="_blank" class="text-muted navigate">LPOP</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-iv" target="_blank" class="room-link navigate">SPLASH-IV</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/petervanroy" target="_blank" class="navigate">Peter Van Roy</a><span class="prog-aff"> Université catholique de Louvain</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="01025df5-1774-41fa-bf77-c3285500b149" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="26e7f84f-e4be-4d63-b272-15209e7dabfe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="26e7f84f-e4be-4d63-b272-15209e7dabfe">Invited Talk: Logic, Probability, Knowledge, and Learning</a></strong><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/stuartrussell" class="navigate">Stuart Russell</a><span class="prog-aff"> University of California, Berkeley</span></div></td></tr><tr data-slot-id="f18442ac-a20c-4202-8b51-65f481573953" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:40</div><strong>15m</strong></div><div class="event-type">Paper</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="3e75d79f-3283-4d5b-a036-25483718898d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3e75d79f-3283-4d5b-a036-25483718898d">Training Neural Networks to Do Logic, with Logic</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/paultarau" class="navigate">Paul Tarau</a><span class="prog-aff"> University of North Texas</span></div></td></tr><tr data-slot-id="13d9b2dd-53fd-4205-adcc-e5266c9b9494" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:55</div><strong>10m</strong></div><div class="event-type">Break</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="e9db27b7-d08a-4d88-b19c-24856062ae27" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e9db27b7-d08a-4d88-b19c-24856062ae27">Break: Ask Me Anything</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/gopalgupta" class="navigate">Gopal Gupta</a><span class="prog-aff"> </span>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/joostvennekens" class="navigate">Joost Vennekens</a><span class="prog-aff"> KU Leuven</span></div></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">12:20 - 13:00</div></td><td colspan="2"><div class="session-info-in-table"> Breakfast in Wellington<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +36h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5f7abeca-7a33-4d3d-a9a1-e09952cd681d" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="8010406f-2804-40f1-8c0c-b519197640c0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8010406f-2804-40f1-8c0c-b519197640c0">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-IV" 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 c24"></td><td><div class="slot-label">13:00 - 14:20</div></td><td colspan="2"><div class="session-info-in-table">13:05-- Logic and Implementation Tractability<span class="pull-right"><a href="https://2020.splashcon.org/home/lpop-2020" target="_blank" class="text-muted navigate">LPOP</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-iv" target="_blank" class="room-link navigate">SPLASH-IV</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/yannieliu" target="_blank" class="navigate">Y. Annie Liu</a><span class="prog-aff"> Stony Brook University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="99cc1a70-9868-4b4e-987b-8783541a1ac8" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:05</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="175c02c4-366f-4365-9dbc-9a9ddeacec3d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="175c02c4-366f-4365-9dbc-9a9ddeacec3d">Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms</a></strong><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/adnandarwiche" class="navigate">Adnan Darwiche</a><span class="prog-aff"> UCLA</span></div></td></tr><tr data-slot-id="7c2c8332-e366-44e6-97f1-10dce742d68c" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:45</div><strong>30m</strong></div><div class="event-type">Live Q&A</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="5f4f86f5-3a9e-4266-880a-03600eaa264b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5f4f86f5-3a9e-4266-880a-03600eaa264b">Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/stuartrussell" class="navigate">Stuart Russell</a><span class="prog-aff"> University of California, Berkeley</span>, <a href="https://2020.splashcon.org/profile/paultarau" class="navigate">Paul Tarau</a><span class="prog-aff"> University of North Texas</span>, <a href="https://2020.splashcon.org/profile/adnandarwiche" class="navigate">Adnan Darwiche</a><span class="prog-aff"> UCLA</span>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/davidwarren" class="navigate">David Warren</a><span class="prog-aff"> Stony Brook University</span></div></td></tr><tr data-slot-id="c33e4b48-5adf-4a88-9659-ce4941a59d75" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:15</div><strong>10m</strong></div><div class="event-type">Break</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="52ca8b99-e213-4550-bad4-64faa980bfa4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="52ca8b99-e213-4550-bad4-64faa980bfa4">Break: Ask Me Anything</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/manuelhermengildo" class="navigate">Manuel Hermenegildo</a><span class="prog-aff"> IMDEA Software Institute and T.U. of Madrid</span>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/martingebser" class="navigate">Martin Gebser</a><span class="prog-aff"> University of Klagenfurt, Austria</span></div></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">14:20 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Paris<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="3b288bef-d6f5-4b53-81a3-3bba2c8ac8d8" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="a2e0574b-823d-4e03-8d1e-cf786722b3da" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a2e0574b-823d-4e03-8d1e-cf786722b3da">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-IV" 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 c24"></td><td><div class="slot-label">15:00 - 16:20</div></td><td colspan="2"><div class="session-info-in-table">14:25-- Logic and Language Expressiveness<span class="pull-right"><a href="https://2020.splashcon.org/home/lpop-2020" target="_blank" class="text-muted navigate">LPOP</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-iv" target="_blank" class="room-link navigate">SPLASH-IV</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/petervanroy" target="_blank" class="navigate">Peter Van Roy</a><span class="prog-aff"> Université catholique de Louvain</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="cc041470-1f3c-4d8e-8b6d-bfcb33a9d0c1" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:25</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="79664896-2100-4fa7-8fa9-e9895aa22be1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="79664896-2100-4fa7-8fa9-e9895aa22be1">Invited Talk: From CLP(R) to MiniZinc: There and Back Again</a></strong><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/peterstuckey" class="navigate">Peter Stuckey</a><span class="prog-aff"> University of Melbourne</span></div></td></tr><tr data-slot-id="3cd7a50b-b780-41d5-a849-49cffe1dec87" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:05</div><strong>15m</strong></div><div class="event-type">Paper</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="ab65d889-3a41-4312-b2ee-9fa0ceb1f960" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ab65d889-3a41-4312-b2ee-9fa0ceb1f960">Logical English</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/robertkowalski" class="navigate">Robert Kowalski</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="e378964c-e76b-4e6a-b741-587d994e8944" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>10m</strong></div><div class="event-type">Paper</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="b5b4b8c0-16b9-4e72-89ca-2f5d01468a9b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b5b4b8c0-16b9-4e72-89ca-2f5d01468a9b">Flamingo, a Compiler and Runtime for Reactive ALM Systems</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/danielhines" class="navigate">Daniel Hines</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="ff9621f9-8b48-4132-add1-08bcd8fbf8f2" class="hidable"><td class="track-color c24"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Live Q&A</div><span data-facet-track="LPOP"></span></td><td><span data-event-star="e61837ab-b308-451c-befa-d24a099f8882" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e61837ab-b308-451c-befa-d24a099f8882">Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?</a></strong><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/peterstuckey" class="navigate">Peter Stuckey</a><span class="prog-aff"> University of Melbourne</span>, <a href="https://2020.splashcon.org/profile/robertkowalski" class="navigate">Robert Kowalski</a><span class="prog-aff"> </span>, <a href="https://2020.splashcon.org/profile/danielhines" class="navigate">Daniel Hines</a><span class="prog-aff"> </span>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/davidwarren" class="navigate">David Warren</a><span class="prog-aff"> Stony Brook University</span></div></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">16:20 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seoul<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bc62cc2c-0854-4d56-9ad9-01f05f3675d1" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="69feb002-c268-4ad4-aa4b-b2c2ac601cfc" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="69feb002-c268-4ad4-aa4b-b2c2ac601cfc">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">18:20 - 19:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Rio<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="0db1e0aa-166d-4e42-93a6-49fe07fe3b76" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="fd62e782-7287-4a4f-9fd1-4d11e89b96bb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fd62e782-7287-4a4f-9fd1-4d11e89b96bb">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-19"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c32"></td><td><div class="slot-label">19:00 - 19:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Opening Session<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-opening" target="_blank" class="text-muted navigate">Opening</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="18639678-bac3-4f14-a1a2-51544f55e4c8" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:00</div><strong>20m</strong></div><div class="event-type">Day opening</div><span data-facet-track="SPLASH Opening"></span></td><td><span data-event-star="e341c0d1-a77b-4aa1-ae9b-83ec123e28da" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e341c0d1-a77b-4aa1-ae9b-83ec123e28da">Opening Session</a></strong><div class="prog-track">Opening</div><div class="performers"><a href="https://2020.splashcon.org/profile/hrideshrajan" class="navigate">Hridesh Rajan</a><span class="prog-aff"> Iowa State University, USA</span>, <a href="https://2020.splashcon.org/profile/davidgrove" class="navigate">David Grove</a><span class="prog-aff"> IBM Research</span>, <span title="ECOOP General Chair" class="role">E: </span><a href="https://2020.splashcon.org/profile/christianhammer" class="navigate">Christian Hammer</a><span class="prog-aff"> University of Potsdam</span>, <span title="ECOOP PC Chair" class="role">E: </span><a href="https://2020.splashcon.org/profile/roberthirschfeld" class="navigate">Robert Hirschfeld</a><span class="prog-aff"> Hasso Plattner Institute (HPI), University of Potsdam, Germany</span>, <span title="ECOOP 2021 General Chair" class="role">E: </span><a href="https://2020.splashcon.org/profile/andersmoller" class="navigate">Anders Møller</a><span class="prog-aff"> Aarhus University</span></div></td></tr></table></div><div class="hidable band hour-19"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c5"></td><td><div class="slot-label">19:20 - 20:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> S<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="3f629580-500b-4082-ad17-53b871f536f9" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:20</div><strong>60m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="a5f428b0-d93e-412f-a7d4-36adba3203c1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a5f428b0-d93e-412f-a7d4-36adba3203c1">Fitzcarraldo — or How to Hack Academia to Build Stuff<span class="pull-right"><span title="This talk will be followed by an ASK ME ANYTHING session." data-facet-badge="AMA" class="output-badge" style="max-width:40px;"><span class="label-primary label">AMA</span></span></span><span class="pull-right"><span data-facet-badge="supported by Facebook" class="output-badge" style="max-width:40px;"><span class="label-primary label">supported by Facebook</span></span></span></a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://2020.splashcon.org/profile/janvitek" class="navigate">Jan Vitek</a><span class="prog-aff"> Northeastern University / Czech Technical University</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3436261" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://2020.splashcon.org/details/splash-2020-splash-keynotes/14/Fitzcarraldo-or-How-to-Hack-Academia-to-Build-Stuff" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-20"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">20:20 - 21:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in New York<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-Posters" target="_blank" class="text-muted navigate">Posters</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/><p>Please click the link below for the list of featured posters.</p> </div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="cca741b1-895d-4a7a-abb7-2cc2d0ed2621" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:20</div><strong>40m</strong></div><div class="event-type">Other</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="b14951c0-1b3a-4b54-ba3f-453e8d37ae2d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b14951c0-1b3a-4b54-ba3f-453e8d37ae2d">Posters Session 1</a></strong><div class="prog-track">Posters</div><br></td></tr></table></div><div class="hidable band hour-22"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">22:20 - 23:00</div></td><td colspan="2"><div class="session-info-in-table">Lunch in Tokyo<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ea3ea7af-035a-4d65-8d22-f205cab85f8b" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">22:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="6d16dad2-294f-4901-8698-c501a6a5a6e6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6d16dad2-294f-4901-8698-c501a6a5a6e6">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div></div></div></div></div><div id="event-overview" class="tab-pane "><h3>Invited Speakers</h3><h4><a href="#adnan-darwiche-ucla" id="adnan-darwiche-ucla" class="anchor-link"><strong>Adnan Darwiche</strong>, UCLA</a></h4> <p><img src="http://web.cs.ucla.edu/~darwiche/take3.jpg" alt="drawing" width="180"> <br><br></p> <h4><a href="#leslie-lamport-microsoft-research" id="leslie-lamport-microsoft-research" class="anchor-link"><strong>Leslie Lamport</strong>, Microsoft Research</a></h4>  <img src="https://sites.google.com/a/cs.stonybrook.edu/lpop/lpop-2020/lpop-2020-invited-speakers/leslie.jpg" alt="drawing" width="180"> <br><br> <h4><a href="#stuart-russell-uc-berkeley" id="stuart-russell-uc-berkeley" class="anchor-link"><strong>Stuart Russell</strong>, UC Berkeley</a></h4> <p><img src="https://people.eecs.berkeley.edu/~russell/photos/russell-uc-unofficial2b.jpg" alt="drawing" width="180"> <br><br></p> <h4><a href="#peter-stuckey-university-of-melbourne" id="peter-stuckey-university-of-melbourne" class="anchor-link"><strong>Peter Stuckey</strong>, University of Melbourne</a></h4> <p><img src="https://people.eng.unimelb.edu.au/pstuckey/STUCKEY_Peter.jpg" alt="drawing" width="180"></p> <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="52ca8b99-e213-4550-bad4-64faa980bfa4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="52ca8b99-e213-4550-bad4-64faa980bfa4">Break: Ask Me Anything</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/manuelhermengildo" class="navigate">Manuel Hermenegildo</a>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/martingebser" class="navigate">Martin Gebser</a></div></td></tr><tr><td><span data-event-star="52d57544-f1d8-4a06-a857-71f22fc7f3b0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="52d57544-f1d8-4a06-a857-71f22fc7f3b0">Break: Ask Me Anything</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/michaelleuschel" class="navigate">Michael Leuschel</a>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/jorgelobo" class="navigate">Jorge Lobo</a></div></td></tr><tr><td><span data-event-star="e9db27b7-d08a-4d88-b19c-24856062ae27" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e9db27b7-d08a-4d88-b19c-24856062ae27">Break: Ask Me Anything</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/gopalgupta" class="navigate">Gopal Gupta</a>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/joostvennekens" class="navigate">Joost Vennekens</a></div></td></tr><tr><td><span data-event-star="017b3270-a58b-4ed5-a87e-13c91d52f49b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="017b3270-a58b-4ed5-a87e-13c91d52f49b">Deductive Synthesis of the Unification Algorithm: The Automation of Introspection</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/richardwaldinger" class="navigate">Richard Waldinger</a></div></td></tr><tr><td><span data-event-star="b5b4b8c0-16b9-4e72-89ca-2f5d01468a9b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b5b4b8c0-16b9-4e72-89ca-2f5d01468a9b">Flamingo, a Compiler and Runtime for Reactive ALM Systems</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/danielhines" class="navigate">Daniel Hines</a></div></td></tr><tr><td><span data-event-star="79664896-2100-4fa7-8fa9-e9895aa22be1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="79664896-2100-4fa7-8fa9-e9895aa22be1">Invited Talk: From CLP(R) to MiniZinc: There and Back Again</a><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/peterstuckey" class="navigate">Peter Stuckey</a></div></td></tr><tr><td><span data-event-star="41045725-fdb0-4438-9f1c-700df02b4b0d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="41045725-fdb0-4438-9f1c-700df02b4b0d">Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language</a><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/leslielamport" class="navigate">Leslie Lamport</a></div></td></tr><tr><td><span data-event-star="26e7f84f-e4be-4d63-b272-15209e7dabfe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="26e7f84f-e4be-4d63-b272-15209e7dabfe">Invited Talk: Logic, Probability, Knowledge, and Learning</a><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/stuartrussell" class="navigate">Stuart Russell</a></div></td></tr><tr><td><span data-event-star="175c02c4-366f-4365-9dbc-9a9ddeacec3d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="175c02c4-366f-4365-9dbc-9a9ddeacec3d">Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms</a><div class="prog-track">LPOP</div><div class="performers"><span title="Invited Speaker" class="role">I: </span><a href="https://2020.splashcon.org/profile/adnandarwiche" class="navigate">Adnan Darwiche</a></div></td></tr><tr><td><span data-event-star="ab65d889-3a41-4312-b2ee-9fa0ceb1f960" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="ab65d889-3a41-4312-b2ee-9fa0ceb1f960">Logical English</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/robertkowalski" class="navigate">Robert Kowalski</a></div></td></tr><tr><td><span data-event-star="6569c0f4-5832-4e24-a6f3-8203500c6164" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="6569c0f4-5832-4e24-a6f3-8203500c6164">Logic in Program Analysis and Verification</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/patrickcousot" class="navigate">Patrick Cousot</a></div></td></tr><tr><td><span data-event-star="fd1846cc-905f-4880-8986-5a4328c7ab3b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="fd1846cc-905f-4880-8986-5a4328c7ab3b">Opening and Introduction</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/petervanroy" class="navigate">Peter Van Roy</a></div></td></tr><tr><td><span data-event-star="5f4f86f5-3a9e-4266-880a-03600eaa264b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="5f4f86f5-3a9e-4266-880a-03600eaa264b">Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/stuartrussell" class="navigate">Stuart Russell</a>, <a href="https://2020.splashcon.org/profile/paultarau" class="navigate">Paul Tarau</a>, <a href="https://2020.splashcon.org/profile/adnandarwiche" class="navigate">Adnan Darwiche</a>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/davidwarren" class="navigate">David Warren</a></div></td></tr><tr><td><span data-event-star="7497f9d7-7d6c-4293-9863-db8f335f39c5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="7497f9d7-7d6c-4293-9863-db8f335f39c5">Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? </a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/leslielamport" class="navigate">Leslie Lamport</a>, <a href="https://2020.splashcon.org/profile/richardwaldinger" class="navigate">Richard Waldinger</a>, <a href="https://2020.splashcon.org/profile/patrickcousot" class="navigate">Patrick Cousot</a>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/davidwarren" class="navigate">David Warren</a></div></td></tr><tr><td><span data-event-star="e61837ab-b308-451c-befa-d24a099f8882" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e61837ab-b308-451c-befa-d24a099f8882">Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/peterstuckey" class="navigate">Peter Stuckey</a>, <a href="https://2020.splashcon.org/profile/robertkowalski" class="navigate">Robert Kowalski</a>, <a href="https://2020.splashcon.org/profile/danielhines" class="navigate">Daniel Hines</a>, <span title="Chair" class="role">C: </span><a href="https://2020.splashcon.org/profile/davidwarren" class="navigate">David Warren</a></div></td></tr><tr><td><span data-event-star="3e75d79f-3283-4d5b-a036-25483718898d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3e75d79f-3283-4d5b-a036-25483718898d">Training Neural Networks to Do Logic, with Logic</a><div class="prog-track">LPOP</div><div class="performers"><a href="https://2020.splashcon.org/profile/paultarau" class="navigate">Paul Tarau</a></div></td></tr></table></div><div id="Call-for-Participation" class="tab-pane "><h2>Call for Participation</h2><p><p>The goal of the workshop is to bring together the best people and best languages, tools, and ideas to help improve logic languages for the practice of programming and improve the practice of programming with logic and declarative programming. We plan to organize the workshop around a number of “challenge problems”, including in particular expressing a set of system components and functionalities clearly and precisely using a chosen description language.</p> <p>We will have invited talks by four wonderful people: Adnan Darwiche (UCLA), Leslie Lamport (Microsoft Research), Stuart Russell (UC Berkeley), and Peter Stuckey (U of Melbourne). There will be additional presentations and discussion panels on using well-known description methods and tools. We will aim to group presentations of description methods by the kind of problems that they address, and to allow ample time to understand the strengths of the various approaches and how they might be combined.</p> <p>Potential participants are invited to submit a position paper (1 or 2 pages in PDF format), and also to state whether they wish to present a talk at the workshop, explaining how they would express the challenge problems. Because we intend to bring together researchers from many parts of logic and declarative languages and practice of programming communities, it is essential that all talks be accessible to non-specialists.</p> <p>The program committee will invite attendees based on the position paper submissions and will attempt to accommodate presentation requests, but in ways that fit with the broader organizational goals outlined above.</p> <p>Instructions for preparing a position paper appears below. Please submit your position paper through this <a href="https://easychair.org/conferences/?conf=lpop2020">EasyChair submission URL</a>.</p> <h3><a href="#preparing-your-position-paper" id="preparing-your-position-paper" class="anchor-link">Preparing your position paper</a></h3> <p>To streamline the exchange of ideas, you may consider using a challenge software domain: the domain of Role-Based Access Control. It was created for LPOP 2018, as described in <a href="http://lpop.cs.stonybrook.edu/preparing-your-position-paper">http://lpop.cs.stonybrook.edu/preparing-your-position-paper</a>, but it was only solved in part by various groups, as described in <a href="http://lpop.cs.stonybrook.edu/workshop-report">http://lpop.cs.stonybrook.edu/workshop-report</a> (also <a href="https://arxiv.org/abs/2008.07901">https://arxiv.org/abs/2008.07901</a>). We are also working to create RBAC data for running experiments.</p> </p></div><div id="Proceedings-and-Videos" class="tab-pane "><div class="page-header"><h3>Proceedings and Videos</h3></div><p><a href="https://drive.google.com/file/d/1CnA5_RmElyRI7CGy_mDwfyJm-RoAvzsb/view?usp=sharing">LPOP 2020 Proceedings</a></p> <p><a href="https://www.youtube.com/watch?v=Q6TVPVJp6sU&list=LL">Video from live streaming</a></p> <p><a href="https://www.youtube.com/channel/UC8lpeG5tMWot_W3RxXHgGGQ/videos">Videos for individual talks, panels, and short sessions</a></p> </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://2020.splashcon.org/home/lpop-2020" class="clickable-row past"><td><strong>Sun 15 Nov 2020</strong><br/><strong>Workshop</strong></td></tr><tr href="https://2020.splashcon.org/home/lpop-2020" class="clickable-row past"><td>Fri 4 Sep 2020<br/>Submission Deadline</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=lpop2020" title="Submission link for Call for Participation" target="_blank" class="navigate">https://easychair.org/conferences/?conf=lpop2020</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-organizing-committee" class="navigate">General Chairs</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.splashcon.org/profile/yannieliu" class="navigate"><div class="media"><span class="pull-left"><img alt="Y. Annie Liu" src="https://2020.splashcon.org/getProfileImage/yannieliu/c5b0fcb3-0a96-4615-bcd1-897e5d6aab8b/micro-avatar.jpg?1711464280000" 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></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://2020.splashcon.org/profile/davidwarren" class="navigate"><div class="media"><span class="pull-left"><img alt="David Warren" src="https://2020.splashcon.org/getProfileImage/davidwarren/b04656c2-bfa4-4548-86ae-d465920ced13/micro-avatar.jpg?1711532269000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">David Warren<span class="pull-right"><small></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></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-program-chairs" class="navigate">Program Chair</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.splashcon.org/profile/petervanroy" class="navigate"><div class="media"><span class="pull-left"><img alt="Peter Van Roy" src="https://2020.splashcon.org/getProfileImage/petervanroy/5760606d-9779-4ab8-9d43-8654928dab48/micro-avatar.jpg?1711463159000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Peter Van Roy<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Université catholique de Louvain</span></h5><h5 class="media-heading"><small>Belgium</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.splashcon.org/profile/esraerdem" class="navigate"><div class="media"><span class="pull-left"><img alt="Esra Erdem" src="https://2020.splashcon.org/getProfileImage/esraerdem/6696903c-7a5c-494e-95fb-7468f292f6d3/micro-avatar.jpg?1724343834000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Esra Erdem<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Sabanci University, Turkey</span></h5><h5 class="media-heading"><small>Turkey</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/martingebser" class="navigate"><div class="media"><span class="pull-left"><img alt="Martin Gebser" src="https://2020.splashcon.org/getProfileImage/martingebser/d84a03a7-d005-47f3-a37a-d40fe7cab70a/micro-avatar.jpg?1711486925000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Martin Gebser<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Klagenfurt, Austria</span></h5><h5 class="media-heading"><small>Austria</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/seyedhosseinhaeri" class="navigate"><div class="media"><span class="pull-left"><img alt="Seyed Hossein Haeri" src="https://2020.splashcon.org/getProfileImage/seyedhosseinhaeri/fed84a26-5579-4330-a32f-45efb3a56843/micro-avatar.jpg?1711602924000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Seyed Hossein Haeri<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Université Catholique de Louvain</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/manuelhermengildo" class="navigate"><div class="media"><span class="pull-left"><img alt="Manuel Hermenegildo" src="https://2020.splashcon.org/getProfileImage/manuelhermengildo/9ad5b1a1-5b09-4700-a372-66f4683bb674/micro-avatar.jpg?1711523683000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Manuel Hermenegildo<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IMDEA Software Institute and T.U. of Madrid</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/yannieliu" class="navigate"><div class="media"><span class="pull-left"><img alt="Y. Annie Liu" src="https://2020.splashcon.org/getProfileImage/yannieliu/c5b0fcb3-0a96-4615-bcd1-897e5d6aab8b/micro-avatar.jpg?1711464280000" 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></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://2020.splashcon.org/profile/jorgelobo" class="navigate"><div class="media"><span class="pull-left"><img alt="Jorge Lobo" src="https://2020.splashcon.org/getProfileImage/jorgelobo/e2a12050-42ef-4f13-9436-f0b73828a62c/micro-avatar.jpg?1711597552000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jorge Lobo<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">ICREA and Universitat Pompeu Fabra</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/andreaspodelski" class="navigate"><div class="media"><span class="pull-left"><img alt="Andreas Podelski" src="https://2020.splashcon.org/getProfileImage/andreaspodelski/5a990713-2a77-4728-9ac5-fccf94a65d71/micro-avatar.jpg?1711475996000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Andreas Podelski<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Freiburg, Germany</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/francescoricca" class="navigate"><div class="media"><span class="pull-left"><img alt="Francesco Ricca" src="https://2020.splashcon.org/getProfileImage/francescoricca/08011a9f-2856-410d-a7bb-996314ac62ed/micro-avatar.jpg?1711513567000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Francesco Ricca<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Calabria, Italy</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/marjansirjani" class="navigate"><div class="media"><span class="pull-left"><img alt="Marjan Sirjani" src="https://2020.splashcon.org/getProfileImage/marjansirjani/1482ec32-905f-4e01-9bb3-04c5759e258f/micro-avatar.jpg?1711463952000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Marjan Sirjani<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Malardalen University</span></h5><h5 class="media-heading"><small>Sweden</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/paultarau" class="navigate"><div class="media"><span class="pull-left"><img alt="Paul Tarau" src="https://2020.splashcon.org/getProfileImage/paultarau/d8e8c43b-b6f0-4962-97b1-1a56f82c85fa/micro-avatar.jpg?1711463143000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Paul Tarau<span class="pull-right"><small></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://2020.splashcon.org/profile/petervanroy" class="navigate"><div class="media"><span class="pull-left"><img alt="Peter Van Roy" src="https://2020.splashcon.org/getProfileImage/petervanroy/5760606d-9779-4ab8-9d43-8654928dab48/micro-avatar.jpg?1711463159000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Peter Van Roy<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Université catholique de Louvain</span></h5><h5 class="media-heading"><small>Belgium</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/joostvennekens" class="navigate"><div class="media"><span class="pull-left"><img alt="Joost Vennekens" src="https://2020.splashcon.org/getProfileImage/joostvennekens/cce0ef35-89e2-4172-91c4-ef80716e1e8e/micro-avatar.jpg?1711556883000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Joost Vennekens<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">KU Leuven</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/davidwarren" class="navigate"><div class="media"><span class="pull-left"><img alt="David Warren" src="https://2020.splashcon.org/getProfileImage/davidwarren/b04656c2-bfa4-4548-86ae-d465920ced13/micro-avatar.jpg?1711532269000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">David Warren<span class="pull-right"><small></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></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-publicity-chair" class="navigate">Publicity Chair</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.splashcon.org/profile/matthewcastellana1" class="navigate"><div class="media"><span class="pull-left"><img alt="Matthew Castellana" src="https://2020.splashcon.org/getProfileImage/matthewcastellana1/33e245ce-f688-4e89-8653-24cd730d9880/micro-avatar.jpg?1711612188000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Matthew Castellana<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Stony Brook University</span></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 2 Mar 00:55</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://2020.splashcon.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="splash-2020" /><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://2020.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2020"},],"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://2020.splashcon.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="splash-2020" /><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://2020.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2020"},],"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://2020.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2020</a></h3><div><a href="https://2020.splashcon.org/contact" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><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.69.0</a>)<br/><small><a href="https://2020.splashcon.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 class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://2020.splashcon.org/track/splash-2020-oopsla" class="navigate">OOPSLA</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Onward-Essays" class="navigate">Onward! Essays</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Onward-papers" class="navigate">Onward! Papers</a><br/><a href="https://2020.splashcon.org/track/splash-2020-rebase" class="navigate">REBASE</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2020.splashcon.org/track/splash-2020-PLMW" class="navigate">PLMW</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Posters" class="navigate">Posters</a><br/><a href="https://2020.splashcon.org/track/splash-2020-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2020.splashcon.org/track/splash-2020-SRC" class="navigate">Student Research Competition</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Workshops" class="navigate">Workshops</a><br/><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" class="navigate">Keynotes</a><br/><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" class="navigate">Meet The Speakers (MTS)</a><br/><a href="https://2020.splashcon.org/track/splash-2020-ask-me-anything--ama-" class="navigate">Ask Me Anything (AMA)</a><br/><a href="https://2020.splashcon.org/track/splash-2020-cares" class="navigate">CARES</a><br/><a href="https://2020.splashcon.org/track/splash-2020-awards" class="navigate">Awards</a><br/><a href="https://2020.splashcon.org/track/splash-2020-opening" class="navigate">Opening</a><br/><a href="https://2020.splashcon.org/track/splash-2020-closing" class="navigate">Closing</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/dls-2020" class="navigate">DLS 2020</a><br/><a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a><br/><a href="https://conf.researchr.org/home/gpce-2020" class="navigate">GPCE 2020</a><br/><a href="https://conf.researchr.org/home/sas-2020" class="navigate">SAS 2020</a><br/><a href="https://conf.researchr.org/home/sle-2020" class="navigate">SLE 2020</a><br/><h4>Workshops</h4><a href="https://2020.splashcon.org/home/agere-2020" class="navigate">AGERE 2020</a><br/><a href="https://2020.ecoop.org/home/COP-2020" class="navigate">COP</a><br/><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate">FTfJP 2020</a><br/><a href="https://2020.splashcon.org/home/hatra-2020" class="navigate">HATRA 2020</a><br/><a href="https://2020.splashcon.org/home/hilt-2020" class="navigate">HILT 2020</a><br/><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate">ICOOOLPS 2020</a><br/><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate">IWACO 2020</a><br/><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate">JSTools 2020</a><br/><a href="https://2020.splashcon.org/home/live-2020" class="navigate">LIVE 2020</a><br/><a href="https://2020.splashcon.org/home/lpop-2020" class="navigate">LPOP 2020</a><br/><a href="https://2020.splashcon.org/home/nsad-2020" class="navigate">NSAD 2020</a><br/><a href="https://2020.splashcon.org/home/plateau-2020" class="navigate">PLATEAU 2020</a><br/><a href="https://2020.ecoop.org/home/pride-2020" class="navigate">PRIDE 2020</a><br/><a href="https://2020.splashcon.org/home/rebls-2020" class="navigate">REBLS 2020</a><br/><a href="https://2020.ecoop.org/home/soop-2020" class="navigate">SOOP'20</a><br/><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate">SySEPL 2020</a><br/><a href="https://2020.splashcon.org/home/tapas-2020" class="navigate">TAPAS 2020</a><br/><a href="https://2020.splashcon.org/home/vmil-2020" class="navigate">VMIL 2020</a><br/><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate">VORTEX 2020</a><br/><h4>Co-hosted Symposia</h4><a href="https://2020.ecoop.org/home/scala-2020" class="navigate">Scala 2020</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Venue: Online</a><br><a href="https://2020.splashcon.org/attending/Students" class="navigate">Students</a><br><a href="https://2020.splashcon.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2020.splashcon.org/attending/awards" class="navigate">Awards</a><br><a href="https://2020.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2020.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a><br><a href="https://2020.splashcon.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></div><div class="col-sm-2"><script> //move ecoop track items into main column var ecoopSubMenu = $('#tracks-in-navbar .dropdown-submenu:has(a:contains("ECOOP"))').remove(); var ecoopItems = ecoopSubMenu.find('ul li'); var trackMainMenu = $('#tracks-in-navbar .col-sm-5 ul'); var ecoopHeader = '<li class="block dropdown-header">ECOOP 2020</li>'; if(ecoopItems.length){ trackMainMenu.append(ecoopHeader).append(ecoopItems); } //remove postponed workshops from tracks/org menu var toHideRegex = RegExp('COP|FTfJP|ICOOOLPS|IWACO|JSTools|PRIDE|SOOP|SySEPL|VORTEX', 'i'); $('.navbar-nav ul.multi-column-dropdown>li>a').filter( function() { return toHideRegex.test( this.innerText ); } ).parent().remove(); </script></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; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.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>