<div dir="ltr"><div>Hello,<br><br><div>Please, find below the first and final call for participation for IFL 2020.</div><div>Please forward these to anyone you think may be interested.<br></div>Apologies for any duplicates you may receive.<br><br>best regards,<br>Jurriaan Hage<br><div>Publicity Chair of IFL</div></div><div>=======================================================</div><br>                                    IFL 2020<br><br>    32nd Symposium on Implementation and Application of Functional  Languages<br><br>                           Call for Participation<br><br><br>                                  venue: online<br>                             2nd - 4th September 2020<br><br>            <a href="https://www.cs.kent.ac.uk/events/2020/ifl20/">https://www.cs.kent.ac.uk/events/2020/ifl20/</a><br><br>========================================================<br><br>### Scope<br><br>The goal of the IFL symposia is to bring together researchers actively engaged<br>in the implementation and application of functional and function-based<br>programming languages. IFL 2020 will be a venue for researchers to present and<br>discuss new ideas and concepts, work in progress, and publication-ripe results<br>related to the implementation and application of functional languages and<br>function-based programming.<br><br><br>### Registration<br><br>The symposium will be run via Zoom (<a href="http://zoom.us">zoom.us</a>). If you can use Zoom, then you can participate.<br>Please register for free via Eventbrite on the symposium webpage:<br><a href="https://www.cs.kent.ac.uk/events/2020/ifl20/">https://www.cs.kent.ac.uk/events/2020/ifl20/</a><br><br><br>### Programme<br><br>Day 1: Wednesday, 2 September<br><br>12:45 Welcome<br>13:00 Nico Naus and Johan Jeuring: End-user feedback in multi-user workflow systems<br>13:30 Mart Lubbers, Haye Böhm, Pieter Koopman and Rinus Plasmeijer: Asynchronous Shared Data Sources<br>14:00 Pieter Koopman, Steffen Michels and Rinus Plasmeijer: Dynamic Editors for Well-Typed Expressions<br>14:30 Bas Lijnse and Rinus Plasmeijer: Asymmetric Composable Web Editors in iTasks<br>15:00 Social break<br>15:30 Sven-Olof Nyström: A subtyping system for Erlang<br>16:00 Andrew Marmaduke, Christopher Jenkins and Aaron Stump: Generic Zero-Cost Constructor Subtyping<br>16:30 Joris Burgers, Jurriaan Hage and Alejandro Serrano: Heuristics-based Type Error Diagnosis for Haskell - The case of GADTs and local reasoning<br>17:00 Social break<br>17:30 Kavon Farvardin and John Reppy: A New Backend for Standard ML of New Jersey<br>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<br>18:30 Hans-Nikolai Vießmann and Sven-Bodo Scholz: Effective Host-GPU Memory Mangement Through Code Generation<br>20:00 Virtual Pub<br><br><br>Day 2: Thursday, 3 September<br><br>10:00 Virtual Breakfast<br>13:00 Michal Gajda: Less Arbitrary waiting time<br>13:30 Sólrún Halla Einarsdóttir and Nicholas Smallbone: Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing<br>14:00 Péter Bereczky, Dániel Horpácsi, Judit Kőszegi, Soma Szeier and Simon Thompson: Validating Formal Semantics by Comparative Testing<br>14:30 Social break<br>15:00 Gergo Erdi: An Adventure in Symbolic Execution<br>15:30 Joshua M. Schappel, Sachin Mahashabde and Marco T. Morazan: Using OO Design Patterns in a Functional Programming Setting<br>16:00 Filipe Varjão: Functional Programming and Interval Arithmetic with High Accuracy<br>16:30 Social break<br>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<br>17:30 Benjamin Mourad and Matteo Cimini: A Declarative Gradualizer with Lang-n-Change<br>18:00 Maheen Riaz Contractor and Matthew Fluet: Type- and Control-Flow Directed Defunctionalization<br>19:30 Virtual Pub<br><br><br>Day 3: Friday, 4 September<br><br>10:00 Virtual Breakfast<br>13:00 Michal Gajda: Towards a more perfect union type<br>13:30 Folkert de Vries, Sjaak Smetsers and Sven-Bodo Scholz: Container Unification for Uniqueness Types<br>14:00 Alejandro Díaz-Caro, Pablo E. Martínez López and Cristian Sottile: Polymorphic System I<br>14:30 Social break<br>15:00 Michal Gajda: Schema-driven mutation of datatype with multiple representations<br>15:30 Alexandre Garcia de Oliveira, Mauro Jaskelioff and Ana Cristina Vieira de Melo: On Structuring Pure Functional Programs with Monoidal Profunctors<br>16:00 Sara Moreira, Pedro Vasconcelos and Mário Florido: Resource Analysis for Lazy Evaluation with Polynomial Potential<br>16:30 Social break<br>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<br>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<br>18:00 Jocelyn Serot: HoCL: High level specification of dataflow graphs<br>19:30 Virtual Pub<br><br>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.<br></div>