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://2022.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2022.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>SPLASH 2022 - Workshops - SPLASH 2022</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2022.splashcon.org";</script> <link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/getFile/a31272be-a48d-4247-bb32-82f84d02540b/header2022.css?1633623086683" type="text/css" /><link rel="stylesheet" href="https://2022.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://2022.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <meta name='description' content='Following its long-standing tradition, SPLASH will host a variety of workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting.'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Following its long-standing tradition, SPLASH will host a variety of workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting.'> <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 async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='SPLASH 2022 - Workshops - SPLASH 2022'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2022.splashcon.org/getImage/carousel/CU55-Hobbiton-Matamata--Waikato-Sara-Orme.jpg?1629927277000'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2022.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2022</span></a><div class="place">Mon 5 - Sat 10 December 2022 <a href="https://2022.splashcon.org/venue/splash-2022-venue-uoa" class="navigate">Auckland, New Zealand</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://2022.splashcon.org/venue/splash-2022-venue-uoa" class="navigate">Venue: University of Auckland</a></li><li class="block"><a href="https://2022.splashcon.org/attending/how-to-splash" class="navigate">How To SPLASH</a></li><li class="block"><a href="https://2022.splashcon.org/attending/gc-welcome" class="navigate">General Chair Welcome</a></li><li class="block"><a href="https://2022.splashcon.org/attending/keynotes-4-industry" class="navigate">Keynotes 4 Industry</a></li><li class="block"><a href="https://2022.splashcon.org/attending/speaker-instructions" class="navigate">Speaker Instructions</a></li><li class="block"><a href="https://2022.splashcon.org/attending/session-chair-instructions" class="navigate">Session Chair Instructions</a></li><li class="block"><a href="https://2022.splashcon.org/attending/virtual-splash-2022" class="navigate">Virtual SPLASH 2022</a></li><li class="block"><a href="https://2022.splashcon.org/attending/awards" class="navigate">Awards</a></li><li class="block"><a href="https://2022.splashcon.org/attending/Conduct" class="navigate">Code of Conduct</a></li><li class="block"><a href="https://2022.splashcon.org/attending/covid" class="navigate">COVID</a></li><li class="block"><a href="https://2022.splashcon.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://2022.splashcon.org/attending/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://2022.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a></li><li class="block"><a href="https://2022.splashcon.org/attending/tourism-nz" class="navigate">Tourism NZ</a></li><li class="block"><a href="https://2022.splashcon.org/attending/visas" class="navigate">Visas for New Zealand</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://2022.splashcon.org/program/program-splash-2022/" class="navigate">SPLASH Program</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" 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://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Mon 5 Dec 2022" class="navigate">Mon 5 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Tue 6 Dec 2022" class="navigate">Tue 6 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Wed 7 Dec 2022" class="navigate">Wed 7 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Thu 8 Dec 2022" class="navigate">Thu 8 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Fri 9 Dec 2022" class="navigate">Fri 9 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Sat 10 Dec 2022" class="navigate">Sat 10 Dec</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 2022</li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-oopsla" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-opening-and-welcome" class="navigate">Opening and Welcome</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-v-oopsla" class="navigate">V-OOPSLA</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" class="navigate">COVID Time Papers In Person</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Onward-Essays" class="navigate">Onward! Essays</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Onward-papers" class="navigate">Onward! Papers</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-SRC" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-panels" class="navigate">Panels</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-splash-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-SPLASH-E" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-PLMW" class="navigate">PLMW</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-w-splash" class="navigate">W@SPLASH</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-pltea" class="navigate">PLTea</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-awards" class="navigate">Awards</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-cares" class="navigate">CARES</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="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>APLAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/aplas-2022" class="navigate"><span class="glyphicon glyphicon-home"></span> APLAS</a></li><li class="block"><a href="https://conf.researchr.org/track/aplas-2022/aplas-2022-aec" class="navigate"><strong>APLAS</strong> Research Artifacts</a></li><li class="block"><a href="https://conf.researchr.org/track/aplas-2022/aplas-2022-papers" class="navigate"><strong>APLAS</strong> </a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/track/dls-2022-papers" class="navigate"><strong>DLS</strong> </a></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://2022.splashcon.org/home/gpce-2022" class="navigate"><strong>GPCE</strong> </a></li><li class="block"><a href="https://2022.splashcon.org/track/gpce-2022-gpce-keynote" class="navigate"><strong>GPCE</strong> Keynote</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/home/sas-2022" class="navigate"><span class="glyphicon glyphicon-home"></span> SAS</a></li><li class="block"><a href="https://conf.researchr.org/track/sas-2022/sas-2022-papers" class="navigate"><strong>SAS</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/sas-2022/sas-2022-artifacts" class="navigate"><strong>SAS</strong> Artifacts</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://2022.splashcon.org/home/sle-2022" class="navigate"><strong>SLE</strong> </a></li><li class="block"><a href="https://2022.splashcon.org/track/sle-2022-sle-keynote" class="navigate"><strong>SLE</strong> Keynote</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2022.splashcon.org/home/ftscs-2022" class="navigate"><strong>FTSCS</strong> Formal Techniques for Safety-Critical Systems</a></li><li class="block"><a href="https://2022.splashcon.org/home/hatra-2022" class="navigate"><strong>HATRA</strong> Human Aspects of Types and Reasoning Assistants</a></li><li class="block"><a href="https://2022.splashcon.org/home/live-2022" class="navigate"><strong>LIVE</strong> Live Programming</a></li><li class="block"><a href="https://2022.splashcon.org/home/paint-2022" class="navigate"><strong>PAINT</strong> Programming Abstractions and Interactive Notations, Tools, and Environments</a></li><li class="block"><a href="https://2022.splashcon.org/home/rebls-2022" class="navigate"><strong>REBLS</strong> Reactive and Event-Based Languages and Systems</a></li><li class="block"><a href="https://2022.splashcon.org/home/unsound-2022" class="navigate"><strong>Unsound</strong> Sources of Unsoundness in Verification</a></li><li class="block"><a href="https://2022.splashcon.org/home/vmil-2022" class="navigate"><strong>VMIL</strong> Virtual Machines and Language Implementations</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 2022 Committees</li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-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://2022.splashcon.org/committee/splash-2022-psla-review-committee" class="navigate">Review Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-oopsla-external-review---artifact-evaluation-committee" class="navigate">External Review / Artifact Evaluation Committee</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-sigplan-papers-overview-committee" class="navigate"><strong>COVID Time Papers In Person</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://2022.splashcon.org/committee/splash-2022-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-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://2022.splashcon.org/committee/splash-2022-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Onward-papers-onward--steering-committee" class="navigate">Onward! Steering Committee</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-workshops-organizing-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Posters-organizing-committee" class="navigate"><strong>Posters</strong></a></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://2022.splashcon.org/committee/splash-2022-SRC-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-SRC-judges" class="navigate">Judges</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-SRC-reviewers-judges" class="navigate">Reviewers</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Doctoral-Symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-panels-organiser" class="navigate"><strong>Panels</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://2022.splashcon.org/committee/splash-2022-SPLASH-E-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-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>PLMW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-PLMW-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-PLMW-speakers---panelists" class="navigate">Speakers & Panelists</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-PLMW-mentors" class="navigate">Mentors</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Student-Volunteers-organizers" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-pltea-chairs" class="navigate"><strong>PLTea</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-cares-program-committe" class="navigate"><strong>CARES</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2022.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>APLAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/aplas-2022/aplas-2022-pc" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/aplas-2022/aplas-2022-aec" class="navigate">Artifact Evaluation Committee</a></li></ul></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://2022.splashcon.org/committee/dls-2022-research-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>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/gpce-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/gpce-2022-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/gpce-2022-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>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-keynote-speakers" class="navigate">Invited Speakers</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-sas2022-program-committee" class="navigate"><strong>SAS</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-sas-2022-artifacts-program-committee" class="navigate"><strong>SAS 2022 Artifacts</strong></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://2022.splashcon.org/committee/sle-2022-keynote-speaker" class="navigate">Keynote Speaker</a></li><li class="block"><a href="https://2022.splashcon.org/committee/sle-2022-organising-committee" class="navigate">Organising Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/sle-2022-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/sle-2022-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>FTSCS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/ftscs-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/ftscs-2022-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>HATRA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/hatra-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/hatra-2022-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://2022.splashcon.org/committee/live-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/live-2022-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>PAINT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/paint-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/paint-2022-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://2022.splashcon.org/committee/rebls-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/rebls-2022-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>Unsound</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/unsound-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/unsound-2022-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://2022.splashcon.org/committee/vmil-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2022.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://2022.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"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2022</span></li><li class="block"><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li class="block"><a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a></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-2022/https%3A%5Es%5Es2022.splashcon.org%5Estrack%5Essplash-2022-Workshops" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2022.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://2022.splashcon.org" class="navigate">SPLASH 2022</a> (<a href="https://2022.splashcon.org/series/splash" class="navigate">series</a>) / </span><h1>Workshops<span class="pull-right small h1">SPLASH 2022</span></h1></div><div class="row"><div class="col-sm-8"><p>Following its long-standing tradition, SPLASH will host a variety of workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting.</p> <h3>Accepted Workshops</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="9175ffc3-b010-49ec-97d1-f077bf9d0134" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="9175ffc3-b010-49ec-97d1-f077bf9d0134">Formal Techniques for Safety-Critical Systems (FTSCS)</a><div class="prog-track">Workshops</div><div class="performers"><span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/cyrilleartho" class="navigate">Cyrille Artho</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/peterolveczky" class="navigate">Peter 脰lveczky</a></div><a href="https://2022.splashcon.org/home/ftscs-2022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="55ffe1bd-7785-4a37-bffe-6201fe4c5023" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="55ffe1bd-7785-4a37-bffe-6201fe4c5023">Human Aspects of Types and Reasoning Assistants (HATRA)</a><div class="prog-track">Workshops</div><div class="performers"><span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/jonathanaldrich" class="navigate">Jonathan Aldrich</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/lukechurch" class="navigate">Luke Church</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/michaelcoblenz" class="navigate">Michael Coblenz</a></div><a href="https://2022.splashcon.org/home/hatra-2022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="8bdddd07-1dbd-4e68-8412-d1c8c0b4010b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8bdddd07-1dbd-4e68-8412-d1c8c0b4010b">Live Programming (LIVE)</a><div class="prog-track">Workshops</div><div class="performers"><span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/samlau" class="navigate">Sam Lau</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/junkato" class="navigate">Jun Kato</a></div><a href="https://2022.splashcon.org/home/live-2022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="c60a575d-c4ca-45bb-8d32-9a280772ed38" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="c60a575d-c4ca-45bb-8d32-9a280772ed38">Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT)</a><div class="prog-track">Workshops</div><div class="performers"><span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/tombeckmann" class="navigate">Tom Beckmann</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/roberthirschfeld" class="navigate">Robert Hirschfeld</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/juanpablosaenz" class="navigate">Juan Pablo S谩enz</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/mauricioveranomerino" class="navigate">Mauricio Verano Merino</a></div><a href="https://2022.splashcon.org/home/paint-2022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="d479f65b-503b-4ece-9eba-85a3169e6298" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d479f65b-503b-4ece-9eba-85a3169e6298">Reactive and Event-Based Languages and Systems (REBLS)</a><div class="prog-track">Workshops</div><div class="performers"><span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/patrickeugster" class="navigate">Patrick Eugster</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/franciscosantanna" class="navigate">Francisco Sant'Anna</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/lukaszziarek" class="navigate">Lukasz Ziarek</a></div><a href="https://2022.splashcon.org/home/rebls-2022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="2b89b63d-5f28-4b3e-b472-a8c677258f2e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="2b89b63d-5f28-4b3e-b472-a8c677258f2e"> Sources of Unsoundness in Verification (Unsound)</a><div class="prog-track">Workshops</div><div class="performers"><span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/janbessai" class="navigate">Jan Bessai</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/marcoservetto" class="navigate">Marco Servetto</a></div><a href="https://2022.splashcon.org/home/unsound-2022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="61e339be-22c2-498a-bf44-d158634f8916" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="61e339be-22c2-498a-bf44-d158634f8916">Virtual Machines and Language Implementations (VMIL)</a><div class="prog-track">Workshops</div><div class="performers"><span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/christoskotselidis" class="navigate">Christos Kotselidis</a>, <span title="Organizer" class="role">O: </span><a href="https://2022.splashcon.org/profile/aleksandarprokopec" class="navigate">Aleksandar Prokopec</a></div><a href="https://2022.splashcon.org/home/vmil-2022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table><h2>Call for Workshops</h2><p><p>We encourage proposals for workshops on any topic relevant to SPLASH. If there is a topic that you feel passionate about, and want to connect with others who have similar interests, submit a workshop proposal! We more than welcome new, and unconventional ideas for workshop formats. The following suggestions are a starting point:</p> <ul> <li>Conference-style workshops allow participants to present their work to other domain experts. The smaller and more focused setting of a workshop allows for Q&A sessions and facilitates discussions. Presentations of work-in-progress are welcome.</li> <li>Retreats act as a platform for experts to gather to tackle issues of a predetermined research agenda. Retreats are highly interactive and goal-oriented, allowing participants to address open challenges, explore new and uncharted ideas.</li> <li>Agenda-setting workshops provide a forum for experts to determine a research agenda for a sub-field.</li> <li>Other common activities at workshops include poster sessions, hands-on practical work, and focus groups.</li> </ul> <p>Workshops that include the presentation of research papers and that implement a SIGPLAN-approved selection process may archive proceedings in the ACM Digital Library. The workshop chairs will provide advice on achieving this for those interested. Workshop applications will be considered until <strong>May 01, 2022</strong>, or until all slots are allocated. We will also entertain requests for workshops to be held in remote or hybrid modes.</p> <h2><a href="#workshop-proposal-submission" id="workshop-proposal-submission" class="anchor-link">Workshop Proposal Submission</a></h2> <p>Visit the submission link for the workshop proposal form and for more information on requirements and the evaluation process. To submit a workshop proposal, you will need to login to <a href="http://conf.researchr.org">http://conf.researchr.org</a></p> <h2><a href="#important-deadlines" id="important-deadlines" class="anchor-link">Important Deadlines</a></h2> <p>The deadline for proposal submission for all workshops is <strong>May 01, 2022</strong>.</p> <p>The deadline for paper/abstract submission for all workshops is <strong>September 01, 2022</strong>.</p> <p>The early registration deadline for SPLASH is <strong>TBD</strong>. Before the SPLASH early registration deadline, all workshops must a) send out accept/reject notifications, and b) publish a draft schedule on the SPLASH website.</p> <p>For workshops with proceedings published in the ACM Digital Library, <strong>October 24, 2022</strong> is the camera-ready deadline. Therefore, you should plan to notify the authors several days before this date, so that they have time for revisions.</p> <p><strong>TBD</strong> dates will be announced as soon as the SPLASH dates they are dependent on are decided.</p>   </p><span class="pull-right"><small>Questions? Use the <a href="https://2022.splashcon.org/contact2/splash-2022-Workshops" class="navigate">SPLASH Workshops contact form</a>.</small></span><br></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://2022.splashcon.org/track/splash-2022-Workshops" class="clickable-row past"><td>Mon 24 Oct 2022<br/>Workshop papers camera-ready deadline</td></tr><tr href="https://2022.splashcon.org/track/splash-2022-Workshops" class="clickable-row past"><td>Thu 1 Sep 2022<br/>Paper/abstract submission for all workshops</td></tr><tr href="https://2022.splashcon.org/track/splash-2022-Workshops" class="clickable-row past"><td>Sun 1 May 2022<br/>Proposal Submissions</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2022.splashcon.org/committee/splash-2022-workshops-organizing-committee" class="navigate">Organizing Committee </a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2022.splashcon.org/profile/mehdibagherzadeh" class="navigate"><div class="media"><span class="pull-left"><img alt="Mehdi Bagherzadeh" src="https://2022.splashcon.org/getProfileImage/mehdibagherzadeh/d50da822-3a89-4dcf-b056-77d570ae34fb/micro-avatar.jpg?1711458485000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mehdi Bagherzadeh<span class="pull-right"><small>Workshops Co-Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Oakland University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/raffikhatchadourian" class="navigate"><div class="media"><span class="pull-left"><img alt="Raffi Khatchadourian" src="https://2022.splashcon.org/getProfileImage/raffikhatchadourian/e787a1ce-0eea-46f3-8a05-3d96c4d1063a/micro-avatar.jpg?1711457606000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Raffi Khatchadourian<span class="pull-right"><small>Workshops Co-Chair</small></span></h5><h5 class="media-heading"><span class="text-black">City University of New York (CUNY) Hunter College</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Fri 21 Feb 19:25</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://2022.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-2022" /><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://2022.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2022"},],"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://2022.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-2022" /><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://2022.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2022"},],"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://2022.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2022</a></h3><div><a href="https://2022.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://2022.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://2022.splashcon.org/track/splash-2022-oopsla" class="navigate">OOPSLA</a><br/><a href="https://2022.splashcon.org/track/splash-2022-opening-and-welcome" class="navigate">Opening and Welcome</a><br/><a href="https://2022.splashcon.org/track/splash-2022-v-oopsla" class="navigate">V-OOPSLA</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" class="navigate">COVID Time Papers In Person</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Onward-Essays" class="navigate">Onward! Essays</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Onward-papers" class="navigate">Onward! Papers</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Workshops" class="navigate">Workshops</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Posters" class="navigate">Posters</a><br/><a href="https://2022.splashcon.org/track/splash-2022-SRC" class="navigate">Student Research Competition</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2022.splashcon.org/track/splash-2022-panels" class="navigate">Panels</a><br/><a href="https://2022.splashcon.org/track/splash-2022-splash-keynotes" class="navigate">Keynotes</a><br/><a href="https://2022.splashcon.org/track/splash-2022-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2022.splashcon.org/track/splash-2022-PLMW" class="navigate">PLMW</a><br/><a href="https://2022.splashcon.org/track/splash-2022-w-splash" class="navigate">W@SPLASH</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2022.splashcon.org/track/splash-2022-pltea" class="navigate">PLTea</a><br/><a href="https://2022.splashcon.org/track/splash-2022-awards" class="navigate">Awards</a><br/><a href="https://2022.splashcon.org/track/splash-2022-cares" class="navigate">CARES</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/aplas-2022" class="navigate">APLAS 2022</a><br/><a href="https://2022.splashcon.org/track/dls-2022-papers" class="navigate">DLS 2022</a><br/><a href="https://2022.splashcon.org/home/gpce-2022" class="navigate">GPCE 2022</a><br/><a href="https://conf.researchr.org/home/sas-2022" class="navigate">SAS 2022</a><br/><a href="https://2022.splashcon.org/home/sle-2022" class="navigate">SLE 2022</a><br/><h4>Workshops</h4><a href="https://2022.splashcon.org/home/ftscs-2022" class="navigate">FTSCS 2022</a><br/><a href="https://2022.splashcon.org/home/hatra-2022" class="navigate">HATRA 2022</a><br/><a href="https://2022.splashcon.org/home/live-2022" class="navigate">LIVE 2022</a><br/><a href="https://2022.splashcon.org/home/paint-2022" class="navigate">PAINT 2022</a><br/><a href="https://2022.splashcon.org/home/rebls-2022" class="navigate">REBLS 2022</a><br/><a href="https://2022.splashcon.org/home/unsound-2022" class="navigate">Unsound 2022</a><br/><a href="https://2022.splashcon.org/home/vmil-2022" class="navigate">VMIL 2022</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2022.splashcon.org/venue/splash-2022-venue-uoa" class="navigate">Venue: University of Auckland</a><br><a href="https://2022.splashcon.org/attending/how-to-splash" class="navigate">How To SPLASH</a><br><a href="https://2022.splashcon.org/attending/gc-welcome" class="navigate">General Chair Welcome</a><br><a href="https://2022.splashcon.org/attending/keynotes-4-industry" class="navigate">Keynotes 4 Industry</a><br><a href="https://2022.splashcon.org/attending/speaker-instructions" class="navigate">Speaker Instructions</a><br><a href="https://2022.splashcon.org/attending/session-chair-instructions" class="navigate">Session Chair Instructions</a><br><a href="https://2022.splashcon.org/attending/virtual-splash-2022" class="navigate">Virtual SPLASH 2022</a><br><a href="https://2022.splashcon.org/attending/awards" class="navigate">Awards</a><br><a href="https://2022.splashcon.org/attending/Conduct" class="navigate">Code of Conduct</a><br><a href="https://2022.splashcon.org/attending/covid" class="navigate">COVID</a><br><a href="https://2022.splashcon.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2022.splashcon.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://2022.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2022.splashcon.org/attending/tourism-nz" class="navigate">Tourism NZ</a><br><a href="https://2022.splashcon.org/attending/visas" class="navigate">Visas for New Zealand</a></div><div class="col-sm-2"><a href="https://2022.splashcon.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; 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>