<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">[apologies for any multiple copies]</div>
<div class=""><br class="">
</div>
<div style="font-family: LucidaGrande;" class="">=======================================================</div>
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class=""> IFL 2020</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class=""> 32nd Symposium on Implementation and Application of Functional Languages</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class=""> Call for Participation</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class=""> venue: online</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class=""> 2nd - 4th September 2020</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class=""> </span><a href="https://www.cs.kent.ac.uk/events/2020/ifl20/" style="font-family: LucidaGrande;" class="">https://www.cs.kent.ac.uk/events/2020/ifl20/</a><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">========================================================</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">### Scope</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">The goal of the IFL symposia is to bring together researchers actively engaged</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">in the implementation and application of functional and function-based</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">programming languages. IFL 2020 will be a venue for researchers to present and</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">discuss new ideas and concepts, work in progress, and publication-ripe results</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">related to the implementation and application of functional languages and</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">function-based programming.</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">### Registration</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">The symposium will be run via Zoom (</span><a href="http://zoom.us" style="font-family: LucidaGrande;" class="">zoom.us</a><span style="font-family: LucidaGrande;" class="">). If you can use Zoom, then you can
participate.</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">Please register for free via Eventbrite on the symposium webpage:</span><br style="font-family: LucidaGrande;" class="">
<a href="https://www.cs.kent.ac.uk/events/2020/ifl20/" style="font-family: LucidaGrande;" class="">https://www.cs.kent.ac.uk/events/2020/ifl20/</a><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">### Programme</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">Day 1: Wednesday, 2 September</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">12:45 Welcome</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">13:00 Nico Naus and Johan Jeuring: End-user feedback in multi-user workflow systems</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">13:30 Mart Lubbers, Haye Böhm, Pieter Koopman and Rinus Plasmeijer: Asynchronous Shared Data Sources</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">14:00 Pieter Koopman, Steffen Michels and Rinus Plasmeijer: Dynamic Editors for Well-Typed Expressions</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">14:30 Bas Lijnse and Rinus Plasmeijer: Asymmetric Composable Web Editors in iTasks</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">15:00 Social break</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">15:30 Sven-Olof Nyström: A subtyping system for Erlang</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">16:00 Andrew Marmaduke, Christopher Jenkins and Aaron Stump: Generic Zero-Cost Constructor Subtyping</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">16:30 Joris Burgers, Jurriaan Hage and Alejandro Serrano: Heuristics-based Type Error Diagnosis for Haskell - The case of GADTs and local reasoning</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">17:00 Social break</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">17:30 Kavon Farvardin and John Reppy: A New Backend for Standard ML of New Jersey</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">18:00 Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni and Ryan R. Newton: A Compiler Approach Reconciling Parallelism and Dense Representations for Irregular Trees</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">18:30 Hans-Nikolai Vießmann and Sven-Bodo Scholz: Effective Host-GPU Memory Mangement Through Code Generation</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">20:00 Virtual Pub</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">Day 2: Thursday, 3 September</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">10:00 Virtual Breakfast</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">13:00 Michal Gajda: Less Arbitrary waiting time</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">13:30 Sólrún Halla Einarsdóttir and Nicholas Smallbone: Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">14:00 Péter Bereczky, Dániel Horpácsi, Judit Kőszegi, Soma Szeier and Simon Thompson: Validating Formal Semantics by Comparative Testing</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">14:30 Social break</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">15:00 Gergo Erdi: An Adventure in Symbolic Execution</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">15:30 Joshua M. Schappel, Sachin Mahashabde and Marco T. Morazan: Using OO Design Patterns in a Functional Programming Setting</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">16:00 Filipe Varjão: Functional Programming and Interval Arithmetic with High Accuracy</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">16:30 Social break</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">17:00 Laith Sakka, Chaitanya Koparkar, Michael Vollmer, Vidush Singhal, Sam Tobin-Hochstadt, Ryan R. Newton and Milind Kulkarni: General Deforestation Using Fusion, Tupling and Intensive Redundancy Analysis</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">17:30 Benjamin Mourad and Matteo Cimini: A Declarative Gradualizer with Lang-n-Change</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">18:00 Maheen Riaz Contractor and Matthew Fluet: Type- and Control-Flow Directed Defunctionalization</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">19:30 Virtual Pub</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">Day 3: Friday, 4 September</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">10:00 Virtual Breakfast</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">13:00 Michal Gajda: Towards a more perfect union type</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">13:30 Folkert de Vries, Sjaak Smetsers and Sven-Bodo Scholz: Container Unification for Uniqueness Types</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">14:00 Alejandro Díaz-Caro, Pablo E. Martínez López and Cristian Sottile: Polymorphic System I</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">14:30 Social break</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">15:00 Michal Gajda: Schema-driven mutation of datatype with multiple representations</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">15:30 Alexandre Garcia de Oliveira, Mauro Jaskelioff and Ana Cristina Vieira de Melo: On Structuring Pure Functional Programs with Monoidal Profunctors</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">16:00 Sara Moreira, Pedro Vasconcelos and Mário Florido: Resource Analysis for Lazy Evaluation with Polynomial Potential</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">16:30 Social break</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">17:00 Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Matthew Pickering and Alan Zimmerman: Building an Integrated Development Environment (IDE) on top of a Build System</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">17:30 Evan Sitt, Xiaotian Su, Beka Grdzelishvili, Zurab Tsinadze, Zongpu Xie, Hossameldin Abdin, Giorgi Botkoveli, Nikola Cenikj, Tringa Sylaj and Viktoria Zsok: Functional Programming Application for Digital
Synthesis Implementation</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">18:00 Jocelyn Serot: HoCL: High level specification of dataflow graphs</span><br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">19:30 Virtual Pub</span><br style="font-family: LucidaGrande;" class="">
<br style="font-family: LucidaGrande;" class="">
<span style="font-family: LucidaGrande;" class="">All times are in British Summer Time (BST), the local time in Canterbury, UK. So please translate these into your own time zone, using a service such as time and date.</span><br class="">
<div class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div>Simon Thompson | Professor Emeritus of Logic and Computation <br class="">
School of Computing | University of Kent | Canterbury, CT2 7NF, UK<br class="">
<a href="mailto:s.j.thompson@kent.ac.uk" class="">s.j.thompson@kent.ac.uk</a> | M +44 7986 085754 | W <a href="http://www.cs.kent.ac.uk/~sjt" class="">www.cs.kent.ac.uk/~sjt</a></div>
</div>
</div>
</div>
<br class="">
</body>
</html>