<div dir="ltr"><p class="gmail-p1" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:14.4px;line-height:normal;font-family:"Helvetica Neue";margin:0px 0px 14.4px"><span class="gmail-s1" style="font-kerning:none"><b>IFL 2022<br>Frederiksberg Campus of Faculty of Science, UCPH, Copenhagen<br>August 31s-September 2nd, 2022</b></span></p><p class="gmail-p1" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:14.4px;line-height:normal;font-family:"Helvetica Neue";margin:0px 0px 14.4px"><span class="gmail-s1" style="font-kerning:none"><b>Early registration deadline: August 15th AoE<span class="gmail-Apple-converted-space"> </span></b></span></p><p class="gmail-p1" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:14.4px;line-height:normal;font-family:"Helvetica Neue";margin:0px 0px 14.4px"><span class="gmail-s1" style="font-kerning:none"><b>See </b><a href="https://urldefense.com/v3/__https://ifl22.github.io/__;!!IBzWLUs!RQZPbEwBBGqhr7bL6mbMB7lKD6ReShWOdZOcPGtcdp66976H-3zd3Tg92H_bTvrTaY3FgHz3NREA0BbztfL-c-mA3wRGb50He4DOcflf$"><span class="gmail-s2" style="font-kerning:none;color:rgb(1,32,135)"><b>https://ifl22.github.io/</b></span></a><b> for more information.</b></span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>CALL FOR PARTICIPATION:</b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">The 34th Symposium on Implementation and Application of Functional Languages (IFL 2022)</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Copenhagen, August 31st-September 2nd, 2022</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"><b></b></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>Important dates</b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"><b></b></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Submission deadline of draft papers August 8th, 2022 (EXPIRED)</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Notification of acceptance August 9th, 2022 (EXPIRED)</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Early registration deadline August 15th, 2022 (AoE)</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Late registration deadline August 31st, 2022, 12:59 CET (UTC+2)</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">IFL Symposium August 31st - September 2nd, 2022 (We-Fr)</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>Scope</b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">The goal of IFL is to bring together researchers and developers actively engaged in the implementation and application of functional programming languages and function-oriented programming. IFL 2022 is held in beautiful Copenhagen, Denmark and is a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional programming languages and function-oriented programming.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>Invited speakers</b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">IFL 2022 is pleased to announce keynote talks by the following three invited speakers:</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Peter Sestoft, Professor, Head of Department, IT University of Copenhagen, Denmark: "Abstract machines and functional language implementation"</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Lennart Augustsson, Principal Programmer, Epic Games: "Verse - a new functional-logic language"</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Thomas Gazagnaire, Chief Technology Officer and co-founder, Tarides: "Talk title to be announced"</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>Venue and registration</b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">The symposium will be held physically on the Frederiksberg Campus of the Faculty of Science at the University of Copenhagen. Days 1 and 2 (August 31st and September 1st) will be in meeting room A2-84.01 at Thorvaldsensvej 40. Day 3 (September 2nd) will be in the Celebration Auditorium at Bülowsvej 17.<span class="gmail-Apple-converted-space"> </span></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">For registration and fees, please consult the symposium web site at <a href="https://urldefense.com/v3/__https://ifl22.github.io/__;!!IBzWLUs!RQZPbEwBBGqhr7bL6mbMB7lKD6ReShWOdZOcPGtcdp66976H-3zd3Tg92H_bTvrTaY3FgHz3NREA0BbztfL-c-mA3wRGb50He4DOcflf$"><span class="gmail-s3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-kerning:none">https://ifl22.github.io/</span></a>. Please notice that the early registration date is August 15, 2022 (AoE).</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>Accepted papers</b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Asynchronous Shared Data Sources. Mart Lubbers, Haye Böhm, Pieter Koopman and Rinus Plasmeijer.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Heuristics-based Type Error Diagnosis for Haskell: the case of type families. Niels Kwadijk and Jurriaan Hage.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Verified Technology Mapping in an Agda DSL for Circuit Design. João Paulo Pizani Flor and Wouter Swierstra.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Creating Interactive Visualizations of TopHat Programs. Mark Gerarts, Marc de Hoog, Nico Naus and Tim Steenvoorden.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* An SQL Frontend on top of OCaml for Data Analysis. Yan Dong, Yahui Song and Wei-Ngan Chin.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* A Structure Editor with Type-Safe Copy/Paste. Hans Hüttel, Christoffer Lind Andersen, Nana Gjerulf Sandberg, Anja Elisasen Lumholtz Nielsen and Peter Mikkelsen.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* How to fold and color a map: Comparing Use-Cases of Tree-Fold vs Fold-Left. Jim Newton.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Compiling a functional array language with non-semantic memory information. Philip Munksgaard, Cosmin Oancea and Troels Henriksen.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Systems of partial values and their applications in Haskell. Natasha England-Elbro.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. Mart Lubbers, Pieter Koopman and Rinus Plasmeijer.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Set-theoretic Types for Erlang. Albert Schimpf, Stefan Wehr and Annette Bieniusa.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Strongly-Typed Multi-View Stack-Based Computations. Pieter Koopman and Mart Lubbers.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Ztrategic: Strategic Programming with Zippers. José Nuno Macedo, Emanuel Rodrigues, Marcos Viera and João Saraiva.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Higher-ranked region inference for polymorphic, lazy languages. Ivo Gabe de Wolff and Jurriaan Hage.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Jeopardy: An invertible functional programming language. Joachim Kristensen, Robin Kaarsgaard and Michael Kirkedal Thomsen.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* The Foil: Capture-Avoiding Substitution With No Sharp Edges. Dougal Maclaurin, Alexey Radul and Adam Paszke.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Verified Causal Broadcast with Liquid Haskell. Patrick Redmond, Gan Shen, Niki Vazou and Lindsey Kuper.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Towards Inversion of Tail-recursive Term Rewriting Systems. Maria Bendix Mikkelsen, Robert Glück and Maja Hanne Kirkeby.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* A Confluence and Termination Checker for Haskell Rewrite Rules. Makoto Hamana.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations. Patrick van Beurden and Sven-Bodo Scholz.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">* Compiling Haskell for Energy Efficiency: Analysis of Individual Transformations. Bernardo Santos, João Fernandes, Maja Kirkeby and Alberto Pardo.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>Post-symposium peer review<span class="gmail-Apple-converted-space"> </span></b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Following IFL tradition, IFL 2022 will use a post-symposium review process to produce the formal proceedings.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Before the symposium authors submit draft papers. These draft papers have been screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. Notice that it is a requirement that draft papers that are accepted for presentation be presented physically at the symposium.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">After the symposium the authors are invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper will be accepted or rejected for the formal proceedings. Papers that are accepted for the formal proceedings are published in the International Conference Proceedings Series of the ACM Digital Library, as in previous years.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>Peter Landin Prize</b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros.</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>Sponsors</b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"><b></b></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">IFL 2022 is financially supported by<span class="gmail-Apple-converted-space"> </span></span></p><ul class="gmail-ul1"><li class="gmail-li2" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier"><span class="gmail-s1" style="font-kerning:none">Meta (Silver sponsor),<span class="gmail-Apple-converted-space"> </span></span></li><li class="gmail-li2" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier"><span class="gmail-s1" style="font-kerning:none">Well-typed (Bronze sponsor),<span class="gmail-Apple-converted-space"> </span></span></li><li class="gmail-li2" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier"><span class="gmail-s1" style="font-kerning:none">Funktionelle Københavnere (Bronze sponsor), and</span></li><li class="gmail-li2" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier"><span class="gmail-s1" style="font-kerning:none">University of Copenhagen (administrative support, host).</span></li></ul><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"><b></b></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>Organisation</b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"><b></b></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">General chair Fritz Henglein, University of Copenhagen</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Program chair Martin Elsman, University of Copenhagen</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Communications chair Troels Henriksen, University of Copenhagen</span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"><b></b></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none"><b>Program committee</b></span></p><p class="gmail-p3" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px;min-height:14px"><span class="gmail-s1" style="font-kerning:none"><b></b></span><br></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Laura M. Castro Universidade da Coruña, Spain</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">David Christiansen Haskell Foundation</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Martin Elsman University of Copenhagen, Denmark (chair)</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Matthew Fluet Rochester Institute of Technology, USA</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Clemens Grelck Universiteit van Amsterdam, The Netherlands</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Zhenjiang Hu Peking University, China</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Robin Kaarsgaard University of Edinburgh, Scotland</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Gabriele Keller Utrecht University, The Netherlands</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Oleg Kiselyov Tohoku University, Japan</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Neil Mitchell Facebook</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Stefan Monnier Universite de Montreal, Canada</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Magnus Myreen Chalmers University, Sweden</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Cyrus Omar University of Michigan, USA</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Romain Péchoux University of Lorraine, Inria, France</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Rinus Plasmeijer Radboud University, The Netherlands</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Morten Rhiger Roskilde University, Denmark</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Peter van Roy Catholic University of Louvain, Belgium</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Olin Shivers Northeastern University, USA</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Peter Thiemann University of Freiburg, Germany</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Marcos Viera Universidad de la República, Uruguay</span></p><p class="gmail-p2" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:11.7px;line-height:normal;font-family:Courier;margin:0px"><span class="gmail-s1" style="font-kerning:none">Meng Wang University of Bristol, UK</span></p><br class="gmail-Apple-interchange-newline"></div>
<img src="https://ifl21-publicity-dot-yamm-track.appspot.com/220uVjjVua8V9lq3ZJlXSWD-MEn8VcDGt0yFB3u6Dxr2fcj2gggGBtTATs-YmueqTmGqkU38jVJ1k8yaxMt8JQWQGJrtJkh_DeIfNzCg0KziNN-C7NsreZWFFpSRw2nepfuuLaem4VDsQoNhohlGtgePyHOV7uibDHw" width="1" height="1" alt="beacon" style="display:none; display:none!important;">