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://icfp23.sigplan.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://icfp23.sigplan.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Organizing Committee - ICFP 2023</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://icfp23.sigplan.org";</script> <link rel="stylesheet" href="https://icfp23.sigplan.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://icfp23.sigplan.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://icfp23.sigplan.org/getFile/ca2eab89-876b-4c2c-9d43-d0d307ebb863/logobar-with-logo.css?1684387260030" type="text/css" /><link rel="stylesheet" href="https://icfp23.sigplan.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://icfp23.sigplan.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://icfp23.sigplan.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://icfp23.sigplan.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://icfp23.sigplan.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://icfp23.sigplan.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://icfp23.sigplan.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 prefix='og: http://ogp.me/ns#' property='og:description' content='The 28th ACM SIGPLAN International Conference on Functional Programming will be in Seattle, WA, USA on 4–9 September 2023. ICFP’s main research paper track will be on September 5-7 (Tuesday-Thursday), with workshops, tutorials, and other events on September 4 and 8-9 (Monday, and Friday-Saturday). Registration is now open! To locate the rooms, you can click here to view the floor plans provided by The Westin Seattle. The ICFP 2023 Discord instance is here.'> <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> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Organizing Committee - ICFP 2023'> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta name='description' content='The 28th ACM SIGPLAN International Conference on Functional Programming will be in Seattle, WA, USA on 4–9 September 2023. ICFP’s main research paper track will be on September 5-7 (Tuesday-Thursday), with workshops, tutorials, and other events on September 4 and 8-9 (Monday, and Friday-Saturday). Registration is now open! To locate the rooms, you can click here to view the floor plans provided by The Westin Seattle. The ICFP 2023 Discord instance is here.'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://icfp23.sigplan.org/getImage/carousel/seattle-skyline.jpg?1668620695000'> <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="committee"><div class="frame"><div class="logobar"><div class="container"><a href="https://icfp23.sigplan.org" class="navbar-brand navigate"><span class="brand-text">ICFP 2023</span></a><div class="place">Mon 4 - Sat 9 September 2023 <a href="https://icfp23.sigplan.org/venue/icfp-2023-venue" class="navigate">Seattle, Washington, United States</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://icfp23.sigplan.org/venue/icfp-2023-venue" class="navigate">Hotel: The Westin Seattle</a></li><li class="block"><a href="https://icfp23.sigplan.org/attending/call-for-sponsorship" class="navigate">Call For Sponsorship</a></li><li class="block"><a href="https://icfp23.sigplan.org/attending/travel-information" class="navigate">Travel Information</a></li><li class="block"><a href="https://icfp23.sigplan.org/attending/local-information" class="navigate">Local Information</a></li><li class="block"><a href="https://icfp23.sigplan.org/attending/registration" class="navigate">Registration</a></li><li class="block"><a href="https://icfp23.sigplan.org/attending/accessibility" class="navigate">Accessibility</a></li><li class="block"><a href="https://icfp23.sigplan.org/attending/code-of-conduct" class="navigate">Code of Conduct</a></li><li class="block"><a href="https://icfp23.sigplan.org/attending/virtual-participation" class="navigate">Virtual participation</a></li><li class="block"><a href="https://icfp23.sigplan.org/attending/instructions-for-speakers" class="navigate">Instructions for Presenters</a></li><li class="block"><a href="https://icfp23.sigplan.org/attending/diversity" class="navigate">Diversity and Inclusion</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://icfp23.sigplan.org/program/program-icfp-2023/" class="navigate">ICFP Program</a></li><li class="block"><a href="https://icfp23.sigplan.org/program/program-icfp-2023/" 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://icfp23.sigplan.org/program/program-icfp-2023/" data-fltr-type="date" data-fltr-val="Mon 4 Sep 2023" class="navigate">Mon 4 Sep</a></li><li class="block"><a href="https://icfp23.sigplan.org/program/program-icfp-2023/" data-fltr-type="date" data-fltr-val="Tue 5 Sep 2023" class="navigate">Tue 5 Sep</a></li><li class="block"><a href="https://icfp23.sigplan.org/program/program-icfp-2023/" data-fltr-type="date" data-fltr-val="Wed 6 Sep 2023" class="navigate">Wed 6 Sep</a></li><li class="block"><a href="https://icfp23.sigplan.org/program/program-icfp-2023/" data-fltr-type="date" data-fltr-val="Thu 7 Sep 2023" class="navigate">Thu 7 Sep</a></li><li class="block"><a href="https://icfp23.sigplan.org/program/program-icfp-2023/" data-fltr-type="date" data-fltr-val="Fri 8 Sep 2023" class="navigate">Fri 8 Sep</a></li><li class="block"><a href="https://icfp23.sigplan.org/program/program-icfp-2023/" data-fltr-type="date" data-fltr-val="Sat 9 Sep 2023" class="navigate">Sat 9 Sep</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">ICFP 2023</li><li class="block"><a href="https://icfp23.sigplan.org/track/icfp-2023-artifact-evaluation" class="navigate">Artifact Evaluation</a></li><li class="block"><a href="https://icfp23.sigplan.org/track/icfp-2023-icfp-keynotes" class="navigate">ICFP Keynotes</a></li><li class="block"><a href="https://icfp23.sigplan.org/track/icfp-2023-papers" class="navigate">ICFP Papers and Events</a></li><li class="block"><a href="https://icfp23.sigplan.org/track/icfp-2023-icfp-workshops" class="navigate">ICFP Workshops</a></li><li class="block"><a href="https://icfp23.sigplan.org/track/icfp-2023-student-research-competition" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://icfp23.sigplan.org/track/icfp-2023-diversity--equity-and-inclusion" class="navigate">Diversity, Equity, and Inclusion</a></li><li class="block"><a href="https://icfp23.sigplan.org/track/icfp-2023-tutorials" class="navigate">Tutorials</a></li><li class="block"><a href="https://icfp23.sigplan.org/details/icfp-2023-tutorials/1/Vehicle-A-Specification-Language-for-Neural-Network-Properties" class="small menu-advertised-event navigate">- Vehicle - A Specification Language for Neural Network Properties</a></li><li class="block"><a href="https://icfp23.sigplan.org/details/icfp-2023-tutorials/2/Teaching-and-Learning-Compilers-Incrementally" class="small menu-advertised-event navigate">- Teaching and Learning Compilers Incrementally</a></li><li class="block"><a href="https://icfp23.sigplan.org/details/icfp-2023-tutorials/3/Teaching-Functional-Programming" class="small menu-advertised-event navigate">- Teaching Functional Programming</a></li><li class="block"><a href="https://icfp23.sigplan.org/details/icfp-2023-tutorials/4/Porting-Lwt-applications-to-OCaml-5-and-Eio" class="small menu-advertised-event navigate">- Porting Lwt applications to OCaml 5 and Eio</a></li><li class="block"><a href="https://icfp23.sigplan.org/track/icfp-2023-volunteers" class="navigate">Volunteers</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://icfp23.sigplan.org/home/declmed-2023" class="navigate"><strong>DeclMed</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Erlang</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/home/erlang-2023" class="navigate"><strong>Erlang</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/details/erlang-2023/1/Keynote-Code-Analysis-at-WhatsApp" class="small menu-advertised-event navigate">- Keynote: Code Analysis at WhatsApp</a></li><li class="block"><a href="https://icfp23.sigplan.org/details/erlang-2023/7/Invited-Talk-Set-theoretic-Types-for-Erlang" class="small menu-advertised-event navigate">- Invited Talk: Set-theoretic Types for Erlang</a></li><li class="block"><a href="https://icfp23.sigplan.org/details/erlang-2023/6/Invited-Talk-A-Type-System-for-Elixir" class="small menu-advertised-event navigate">- Invited Talk: A Type System for Elixir</a></li></ul></li><li class="block"><a href="https://icfp23.sigplan.org/home/farm-2023" class="navigate"><strong>FARM</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/home/FHPNC-2023" class="navigate"><strong>FHPNC</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/home/funarch-2023" class="navigate"><strong>FUNARCH</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/home/hiw-2023" class="navigate"><strong>HIW</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/home/hope-2023" class="navigate"><strong>HOPE</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/home/mlworkshop-2023" class="navigate"><strong>Higher-order, Typed, Inferred, Strict: ML Family Workshop</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/home/ocaml-2023" class="navigate"><strong>OCaml</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/track/plmw-icfp-2023" class="navigate"><strong>PLMW @ ICFP</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/home/scheme-2023" class="navigate"><strong>Scheme</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/home/tyde-2023" class="navigate"><strong>TyDe</strong> </a></li><li class="block"><a href="https://icfp23.sigplan.org/home/minikanren-2023" class="navigate"><strong>miniKanren</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://icfp23.sigplan.org/home/haskellsymp-2023" class="navigate"><strong>Haskell</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">ICFP 2023 Committees</li><li class="block"><a href="https://icfp23.sigplan.org/committee/icfp-2023-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/icfp-2023-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://icfp23.sigplan.org/committee/icfp-2023-artifact-evaluation-artifact-evaluation-committee" class="navigate"><strong>Artifact Evaluation</strong></a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/icfp-2023-papers-program-committee" class="navigate"><strong>ICFP Papers and Events</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://icfp23.sigplan.org/committee/icfp-2023-student-research-competition-poster-committee" class="navigate">Poster Committee</a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/icfp-2023-student-research-competition-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://icfp23.sigplan.org/committee/icfp-2023-tutorials-selection-committee" class="navigate"><strong>Tutorials</strong></a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/icfp-2023-student-volunteers-student-volunteers-committee" class="navigate"><strong>Volunteers</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://icfp23.sigplan.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">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DeclMed</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/declmed-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/declmed-2023-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>Erlang</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/erlang-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/erlang-2023-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>FARM</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/farm-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/farm-2023-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>FHPNC</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/FHPNC-2023-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/FHPNC-2023-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FUNARCH</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/funarch-2023-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>HIW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/hiw-2023-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>HOPE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/hope-2023-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>Higher-order, Typed, Inferred, Strict: ML Family Workshop</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/mlfamilyworkshop-2023-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/mlfamilyworkshop-2023-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>OCaml</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/ocaml-2023-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>PLMW @ ICFP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/plmwplmw+%40+icfp+2022icfpplmw+%40+icfp+20222023-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scheme</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/scheme-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/scheme-2023-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>TyDe</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/tyde-2023-papers-organization-committee" class="navigate">Organization Committee</a></li><li class="block"><a href="https://icfp23.sigplan.org/committee/tyde-2023-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>miniKanren</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/minikanren-2023-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>Haskell</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp23.sigplan.org/committee/haskellsymp-2023-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://icfp23.sigplan.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://icfp23.sigplan.org/series/icfp" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://icfp25.sigplan.org" class="navigate">ICFP 2025</a></li><li class="block"><a href="https://icfp24.sigplan.org" class="navigate">ICFP 2024</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ICFP 2023</span></li><li class="block"><a href="https://icfp22.sigplan.org" class="navigate">ICFP 2022</a></li><li class="block"><a href="https://icfp21.sigplan.org" class="navigate">ICFP 2021</a></li><li class="block"><a href="https://icfp20.sigplan.org" class="navigate">ICFP 2020</a></li><li class="block"><a href="https://icfp19.sigplan.org" class="navigate">ICFP 2019</a></li><li class="block"><a href="https://icfp18.sigplan.org" class="navigate">ICFP 2018</a></li><li class="block"><a href="https://icfp17.sigplan.org" class="navigate">ICFP 2017</a></li><li class="block"><a href="https://icfp16.sigplan.org" class="navigate">ICFP 2016</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/icfp-2023/https%3A%5Es%5Esicfp23.sigplan.org%5Escommittee%5Esicfp-2023-organizing-committee" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://icfp23.sigplan.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><script type="text/javascript">$( "a[data-hashtab]" ).each(function() { var _href = $(this).attr("href"); var _hash = "#" + $(this).attr("data-hashtab").replace(/(\W|\s)+/g, "-"); $(this).attr("href", _href + _hash); }); </script><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://icfp23.sigplan.org" class="navigate">ICFP 2023</a> (<a href="https://icfp23.sigplan.org/series/icfp" class="navigate">series</a>) / </span><h1>Organizing Committee <small>ICFP 2023</small><span class="pull-right"></span></h1></div><div class="row"><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/nikhilswamy" class="navigate"><div class="media"><span class="pull-left"><img alt="Nikhil Swamy" src="https://icfp23.sigplan.org/getProfileImage/nikhilswamy/7edd261e-a44c-4ffc-8a47-996204f00ae7/small-avatar.jpg?1711457162000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Nikhil Swamy <small>General Chair</small></h3><h4 class="media-heading"><span class="text-black">Microsoft Research</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/samlindley" class="navigate"><div class="media"><span class="pull-left"><img alt="Sam Lindley" src="https://icfp23.sigplan.org/getProfileImage/samlindley/40d1f782-0dab-4b44-9d4f-1619c9ede114/small-avatar.jpg?1730298536000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Sam Lindley <small>PC Chair</small></h3><h4 class="media-heading"><span class="text-black">University of Edinburgh</span></h4><h4 class="media-heading"><small>United Kingdom</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/ilyasergey" class="navigate"><div class="media"><span class="pull-left"><img alt="Ilya Sergey" src="https://icfp23.sigplan.org/getProfileImage/ilyasergey/dd3dc78e-c9f2-4c96-a60c-f540abc61e44/small-avatar.jpg?1711468077000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Ilya Sergey <small>Publicity Chair</small></h3><h4 class="media-heading"><span class="text-black">National University of Singapore</span></h4><h4 class="media-heading"><small>Singapore</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/daanleijen" class="navigate"><div class="media"><span class="pull-left"><img alt="Daan Leijen" src="https://icfp23.sigplan.org/getProfileImage/daanleijen/f7067380-6938-4a24-be2a-827e3ef8ba0d/small-avatar.jpg?1711470116000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Daan Leijen <small>Diversity Committee Chair</small></h3><h4 class="media-heading"><span class="text-black">Microsoft Research</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/arthurazevedodeamorim" class="navigate"><div class="media"><span class="pull-left"><img alt="Arthur Azevedo de Amorim" src="https://icfp23.sigplan.org/getProfileImage/arthurazevedodeamorim/359cd141-2c91-4beb-a0d1-111892b83a26/small-avatar.jpg?1711490689000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Arthur Azevedo de Amorim <small>Workshops Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">Rochester Institute of Technology, USA</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/yannickforster" class="navigate"><div class="media"><span class="pull-left"><img alt="Yannick Forster" src="https://icfp23.sigplan.org/getProfileImage/yannickforster/752def94-6979-4e36-b88c-5a058db5287e/small-avatar.jpg?1732810527000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Yannick Forster <small>Workshops Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">Inria</span></h4><h4 class="media-heading"><small>France</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/jannislimperg" class="navigate"><div class="media"><span class="pull-left"><img alt="Jannis Limperg" src="https://icfp23.sigplan.org/getProfileImage/jannislimperg/b88d7334-078f-48cf-8be4-90616f2f7878/small-avatar.jpg?1711582048000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Jannis Limperg <small>Artifact Evaluation Chair</small></h3><h4 class="media-heading"><span class="text-black">University of Munich (LMU)</span></h4><h4 class="media-heading"><small>Germany</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/quentinstievenart" class="navigate"><div class="media"><span class="pull-left"><img alt="Quentin Stiévenart" src="https://icfp23.sigplan.org/getProfileImage/quentinstievenart/d34afa95-4c17-45f2-986c-3f0d841ae4f1/small-avatar.jpg?1712589766000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Quentin Stiévenart <small>Artifact Evaluation Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">Vrije Universiteit Brussel</span></h4><h4 class="media-heading"><small>Belgium</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/guidomartinez" class="navigate"><div class="media"><span class="pull-left"><img alt="Guido Martínez" src="https://icfp23.sigplan.org/getProfileImage/guidomartinez/0cd6bf3a-9b66-4deb-a6e6-7fdff6719e13/small-avatar.jpg?1711503676000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Guido Martínez <small>Local Organization Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">Microsoft Research</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/tahinaramananandro" class="navigate"><div class="media"><span class="pull-left"><img alt="Tahina Ramananandro" src="https://icfp23.sigplan.org/getProfileImage/tahinaramananandro/28cf2ef9-36c3-4bfb-af58-0e38d4541426/small-avatar.jpg?1711486506000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Tahina Ramananandro <small>Local Organization Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">Microsoft Research</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/audreyseo" class="navigate"><div class="media"><span class="pull-left"><img alt="Audrey Seo" src="https://icfp23.sigplan.org/getProfileImage/audreyseo/ec26a50f-cc4d-41e7-967d-0121f5b117ed/small-avatar.jpg?1711902976000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Audrey Seo <small>Student Volunteer Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">University of Washington, Seattle</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/yisuremywang1" class="navigate"><div class="media"><span class="pull-left"><img alt="Yisu Remy Wang" src="https://icfp23.sigplan.org/getProfileImage/yisuremywang1/a91ad49b-daba-4236-a066-e2d640dbab1c/small-avatar.jpg?1711516757000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Yisu Remy Wang <small>Student Volunteer Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">University of Washington</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/mathieuboespflug" class="navigate"><div class="media"><span class="pull-left"><img alt="Mathieu Boespflug" src="https://icfp23.sigplan.org/getProfileImage/mathieuboespflug/7f1bbc17-b8af-4586-a70b-7e0692a4ce49/small-avatar.jpg?1711517159000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Mathieu Boespflug <small>Industrial Relations Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">Tweag I/O</span></h4><h4 class="media-heading"><small>France</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/atzedijkstra1" class="navigate"><div class="media"><span class="pull-left"><img alt="Atze Dijkstra" src="https://icfp23.sigplan.org/getProfileImage/atzedijkstra1/a3d4b97e-e38b-433f-8f57-80d09c3e5ebe/small-avatar.jpg?1711812485000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Atze Dijkstra <small>Industrial Relations Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">Standard Chartered Bank</span></h4><h4 class="media-heading"><small>United Kingdom</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/guilhermeespada" class="navigate"><div class="media"><span class="pull-left"><img alt="Guilherme Espada" src="https://icfp23.sigplan.org/getProfileImage/guilhermeespada/758de071-1f60-48c0-b8a8-1dae7717889e/small-avatar.jpg?1721597830000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Guilherme Espada <small>Video Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">LASIGE, University of Lisbon</span></h4><h4 class="media-heading"><small>Portugal</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/johnhui" class="navigate"><div class="media"><span class="pull-left"><img alt="John Hui" src="https://icfp23.sigplan.org/getProfileImage/johnhui/148e16ff-8944-4cdc-9ae4-48834a6ac80a/small-avatar.jpg?1711464319000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">John Hui <small>Video Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">Columbia University, New York</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/apoorvingle" class="navigate"><div class="media"><span class="pull-left"><img alt="Apoorv Ingle" src="https://icfp23.sigplan.org/getProfileImage/apoorvingle/6575f8f2-452f-4192-8001-e321290c8231/small-avatar.jpg?1711783306000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Apoorv Ingle <small>Video Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">University of Iowa</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/neringayoung" class="navigate"><div class="media"><span class="pull-left"><img alt="Neringa Young" src="https://icfp23.sigplan.org/getProfileImage/neringayoung/42ac0b06-2efa-4884-87e4-d9a209aff182/small-avatar.jpg?1711464876000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Neringa Young <small>Treasurer & Conference Manager</small></h3><h4 class="media-heading"><span class="text-black"></span></h4><h4 class="media-heading"><small>Lithuania</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/aymericfromherz" class="navigate"><div class="media"><span class="pull-left"><img alt="Aymeric Fromherz" src="https://icfp23.sigplan.org/getProfileImage/aymericfromherz/4e8680b8-b404-41b6-903c-3c92dfb05406/small-avatar.jpg?1711454594000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Aymeric Fromherz <small>Programming Contest Co-Organiser</small></h3><h4 class="media-heading"><span class="text-black">Inria</span></h4><h4 class="media-heading"><small>France</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/alperenkeles" class="navigate"><div class="media"><span class="pull-left"><img alt="Alperen Keles" src="https://icfp23.sigplan.org/getProfileImage/alperenkeles/08b0f666-38de-4b91-a328-a6558f9cd7eb/small-avatar.jpg?1713474203000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Alperen Keles <small>Programming Contest Co-Organiser</small></h3><h4 class="media-heading"><span class="text-black">University of Maryland at College Park</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/calvinbeck" class="navigate"><div class="media"><span class="pull-left"><img alt="Calvin Beck" src="https://icfp23.sigplan.org/getProfileImage/calvinbeck/ccc25af5-3d4a-44e3-952e-9c3e83ebfb43/small-avatar.jpg?1724768568000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Calvin Beck <small>Accessibility Co-Chair</small></h3><h4 class="media-heading"><span class="text-black"></span></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/vadimzaliva" class="navigate"><div class="media"><span class="pull-left"><img alt="Vadim Zaliva" src="https://icfp23.sigplan.org/getProfileImage/vadimzaliva/d1f4716a-fbe6-4f3a-93cc-1fc70f3801a7/small-avatar.jpg?1725905159000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Vadim Zaliva <small>Accessibility Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">University of Cambridge, UK</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/danielhillerstrom" class="navigate"><div class="media"><span class="pull-left"><img alt="Daniel Hillerström" src="https://icfp23.sigplan.org/getProfileImage/danielhillerstrom/8b360736-27ed-42ad-96ad-b234b0b4dd32/small-avatar.jpg?1730301811000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Daniel Hillerström <small>Student Research Competition Chair</small></h3><h4 class="media-heading"><span class="text-black">Huawei Zurich Research Center</span></h4><h4 class="media-heading"><small>Switzerland</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/jgarrettmorris" class="navigate"><div class="media"><span class="pull-left"><img alt="J. Garrett Morris" src="https://icfp23.sigplan.org/getProfileImage/jgarrettmorris/11b01ab4-c16d-43bc-8b00-2a2b136ef0ac/small-avatar.jpg?1711466665000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">J. Garrett Morris <small>Student Research Competition Co-Chair</small></h3><h4 class="media-heading"><span class="text-black">University of Iowa</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/gabrielekeller" class="navigate"><div class="media"><span class="pull-left"><img alt="Gabriele Keller" src="https://icfp23.sigplan.org/getProfileImage/gabrielekeller/f4419390-71ae-4650-b9d5-44b468ed31ae/small-avatar.jpg?1711470116000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Gabriele Keller <small>Diversity Committee Member</small></h3><h4 class="media-heading"><span class="text-black">Utrecht University</span></h4><h4 class="media-heading"><small>Netherlands</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://icfp23.sigplan.org/profile/alejandrorusso" class="navigate"><div class="media"><span class="pull-left"><img alt="Alejandro Russo" src="https://icfp23.sigplan.org/getProfileImage/alejandrorusso/c33a888a-1dee-4c0a-91b6-dc51287f551b/small-avatar.jpg?1717773245000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Alejandro Russo <small>Diversity Committee Member</small></h3><h4 class="media-heading"><span class="text-black">Chalmers University of Technology, Sweden</span></h4><h4 class="media-heading"><small>Argentina</small></h4></div></div></a></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Thu 20 Feb 14:08</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://icfp23.sigplan.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="icfp-2023" /><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://icfp23.sigplan.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"icfp-2023"},],"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://icfp23.sigplan.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="icfp-2023" /><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://icfp23.sigplan.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"icfp-2023"},],"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://icfp23.sigplan.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ICFP 2023</a></h3><div><a href="https://icfp23.sigplan.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://icfp23.sigplan.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://icfp23.sigplan.org/track/icfp-2023-artifact-evaluation" class="navigate">Artifact Evaluation</a><br/><a href="https://icfp23.sigplan.org/track/icfp-2023-icfp-keynotes" class="navigate">ICFP Keynotes</a><br/><a href="https://icfp23.sigplan.org/track/icfp-2023-papers" class="navigate">ICFP Papers and Events</a><br/><a href="https://icfp23.sigplan.org/track/icfp-2023-icfp-workshops" class="navigate">ICFP Workshops</a><br/><a href="https://icfp23.sigplan.org/track/icfp-2023-student-research-competition" class="navigate">Student Research Competition</a><br/><a href="https://icfp23.sigplan.org/track/icfp-2023-diversity--equity-and-inclusion" class="navigate">Diversity, Equity, and Inclusion</a><br/><a href="https://icfp23.sigplan.org/track/icfp-2023-tutorials" class="navigate">Tutorials</a><br/><a href="https://icfp23.sigplan.org/track/icfp-2023-volunteers" class="navigate">Volunteers</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://icfp23.sigplan.org/home/declmed-2023" class="navigate">DeclMed 2023</a><br/><a href="https://icfp23.sigplan.org/home/erlang-2023" class="navigate">Erlang 2023</a><br/><a href="https://icfp23.sigplan.org/home/farm-2023" class="navigate">FARM 2023</a><br/><a href="https://icfp23.sigplan.org/home/FHPNC-2023" class="navigate">FHPNC 2023</a><br/><a href="https://icfp23.sigplan.org/home/funarch-2023" class="navigate">FUNARCH 2023</a><br/><a href="https://icfp23.sigplan.org/home/hiw-2023" class="navigate">HIW 2023</a><br/><a href="https://icfp23.sigplan.org/home/hope-2023" class="navigate">HOPE 2023</a><br/><a href="https://icfp23.sigplan.org/home/mlworkshop-2023" class="navigate">Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023</a><br/><a href="https://icfp23.sigplan.org/home/ocaml-2023" class="navigate">OCaml 2023</a><br/><a href="https://icfp23.sigplan.org/track/plmw-icfp-2023" class="navigate">PLMW @ ICFP 2023</a><br/><a href="https://icfp23.sigplan.org/home/scheme-2023" class="navigate">Scheme 2023</a><br/><a href="https://icfp23.sigplan.org/home/tyde-2023" class="navigate">TyDe 2023</a><br/><a href="https://icfp23.sigplan.org/home/minikanren-2023" class="navigate">miniKanren 2023</a><br/><h4>Co-hosted Symposia</h4><a href="https://icfp23.sigplan.org/home/haskellsymp-2023" class="navigate">Haskell 2023</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://icfp23.sigplan.org/venue/icfp-2023-venue" class="navigate">Hotel: The Westin Seattle</a><br><a href="https://icfp23.sigplan.org/attending/call-for-sponsorship" class="navigate">Call For Sponsorship</a><br><a href="https://icfp23.sigplan.org/attending/travel-information" class="navigate">Travel Information</a><br><a href="https://icfp23.sigplan.org/attending/local-information" class="navigate">Local Information</a><br><a href="https://icfp23.sigplan.org/attending/registration" class="navigate">Registration</a><br><a href="https://icfp23.sigplan.org/attending/accessibility" class="navigate">Accessibility</a><br><a href="https://icfp23.sigplan.org/attending/code-of-conduct" class="navigate">Code of Conduct</a><br><a href="https://icfp23.sigplan.org/attending/virtual-participation" class="navigate">Virtual participation</a><br><a href="https://icfp23.sigplan.org/attending/instructions-for-speakers" class="navigate">Instructions for Presenters</a><br><a href="https://icfp23.sigplan.org/attending/diversity" class="navigate">Diversity and Inclusion</a></div><div class="col-sm-2"><a href="https://icfp23.sigplan.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>