From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 10F445D4 for ; Wed, 26 Aug 2020 12:42:42 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.76,355,1592863200"; d="scan'208,217";a="464786769" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Aug 2020 14:42:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0C86EE0B1F; Wed, 26 Aug 2020 14:42:39 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A74B8E0092 for ; Wed, 26 Aug 2020 14:42:32 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=publicityifl@gmail.com; spf=Pass smtp.mailfrom=publicityifl@gmail.com; spf=None smtp.helo=postmaster@mail-ot1-f43.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A7z9lVB0JXufnwFN9smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIRKfad9pjvdHbS+e9qxAeQG9mCtbQd0bCd6PyocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTuwbalvIBmoswnduccbjIR/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljj?= =?us-ascii?q?oMOTwk/2HNksF/g7lbrhKvqRJ83oDafp2aOeFkca/BZ94XX3ZNUtpTWiFHH4iy?= =?us-ascii?q?b5EPD+0EPetAq4f9ukEOrQG/BQa2HuzvzCJDiH3s0q01zesqDAbL3BQ9H90VtH?= =?us-ascii?q?TUrcn6NKYOUeG1zanIwzHDYuhZ2Tf48ofIcxQhreuQUrJ3dMrc0E8iHB7KgVuM?= =?us-ascii?q?s4LqJS+V1vgTvGiB6eptTeCihm85pgxxvzSixsYhhpXJiI8JxV3J8SV0zYY0KN?= =?us-ascii?q?GkRkB2Yd6pHZVOuyyVN4V6XsEvTnxotSsk1LELpJq2cSkMxZ86yRDfbPmHfJKJ?= =?us-ascii?q?4hLlTOuRIil3hHR5eL6lnRm97VKsyvD/VsWs0VdKqS1FktzWunAQzBze7NWMRP?= =?us-ascii?q?hl/kq5xzqDywTe5vtHLE00j6bXNYMtzqIqmpccv0nOGDL9ll/sg6+MbEok//Cl?= =?us-ascii?q?6+T5bbXioZ+RL4p0hRv/MqQqg8C/Bvg4PhUXU2iV9umx2qfv/UL+QLVNgf02lr?= =?us-ascii?q?fWvIrGKsQco661Gw5V0oA95BajFzqqzsgUkH0dIF9GeB+LlZblN0zSLPziAvqy?= =?us-ascii?q?jUygkDJxyPDHOr3hDI/NLn/GkLr5ZbZ99lVTyA4yzd9D5pJUFrEAIPP9Wk/1r9?= =?us-ascii?q?HYARo5PBa1w+bjEtlyyoQeWWeXDq+DLKzSqUOI5v4oI+SUeIAaojP9K/w86/7q?= =?us-ascii?q?jH85gkMdcLKy3ZoXbXC4Bu5pL1+YYXrqmNcBEH0FshAwTOzw2xW+Vmt4bnO2Go?= =?us-ascii?q?Y9/S1zXImvCIOGQoG2nJSA2j26F9tYfDYVJEqLFCLKap+eWv4FbmqyK8Bs2mgc?= =?us-ascii?q?SLKlSoQgyQCvugvSxL9uL+6S8Sod48GwnONp7vHewElhvQd/CN6QhjnUEzNE21?= =?us-ascii?q?gQTjpz55hR5FRnww7ag6d9iv1cU9dU4qERC1ZoBdvn1+V/TuvKdEfEd9aNRkyh?= =?us-ascii?q?R4z/Uz40R9M1hdQJZhQkQojwvlX4xyOvRoQtufmLCZgzqP+O2nHwI4N61y+D2v?= =?us-ascii?q?V6yVYhRcRLOCutgastrwU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AlCABFWEZfhivSVdFfhSc4DlQzLIQ3g?= =?us-ascii?q?RxBgVpDl1J7iG6IGQsBAwEMIwwEAQGDF4E1gjoCHAcBBDQTAhABAQUBAQECAQM?= =?us-ascii?q?DBAETAQEBCAsLCCmFYwyCNyKDMgsGHQEbHgMNBQMNMAcCJAERAQUBIjWDBAGCS?= =?us-ascii?q?gEDCSUPlHCMdIIdgQQ9iyiBFQUBF4MCBYE0AYMkChkoDWWBNAIHEoEmhAuBOhI?= =?us-ascii?q?5hxIbeYEHgUeBXFCBcIFYAYINgmqCYASPcwSMC5pMToIfBIdigQCRRSGDBoEli?= =?us-ascii?q?EKTUa1qhEEPI4FIgXozGiOBAYIEATMJRxkNMY1LOwIdgzqHegeCcyYwAjUCBgE?= =?us-ascii?q?JAQEDCY4vLYIXAQE?= X-IPAS-Result: =?us-ascii?q?A0AlCABFWEZfhivSVdFfhSc4DlQzLIQ3gRxBgVpDl1J7iG6?= =?us-ascii?q?IGQsBAwEMIwwEAQGDF4E1gjoCHAcBBDQTAhABAQUBAQECAQMDBAETAQEBCAsLC?= =?us-ascii?q?CmFYwyCNyKDMgsGHQEbHgMNBQMNMAcCJAERAQUBIjWDBAGCSgEDCSUPlHCMdII?= =?us-ascii?q?dgQQ9iyiBFQUBF4MCBYE0AYMkChkoDWWBNAIHEoEmhAuBOhI5hxIbeYEHgUeBX?= =?us-ascii?q?FCBcIFYAYINgmqCYASPcwSMC5pMToIfBIdigQCRRSGDBoEliEKTUa1qhEEPI4F?= =?us-ascii?q?IgXozGiOBAYIEATMJRxkNMY1LOwIdgzqHegeCcyYwAjUCBgEJAQEDCY4vLYIXA?= =?us-ascii?q?QE?= X-IronPort-AV: E=Sophos;i="5.76,355,1592863200"; d="scan'208,217";a="464786609" X-MGA-submission: =?us-ascii?q?MDGgAWcG4bLmkRrl+skNMFyQdkELnlw3UejPT6?= =?us-ascii?q?4nLsBa7CYSGKMuCxc28IbHQB74Vk4GbDnxQkfWDYAXF1O7Cnd915SNUs?= =?us-ascii?q?KKbiRR5eR4HZeNvhLoi2Qt1kLAO26349jJCTBj1HOST5VlWbJZGGBefh?= =?us-ascii?q?qWFqw6k68u8dEFBer+IWVaLA=3D=3D?= Received: from mail-ot1-f43.google.com ([209.85.210.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 26 Aug 2020 14:41:47 +0200 Received: by mail-ot1-f43.google.com with SMTP id a65so1335873otc.8 for ; Wed, 26 Aug 2020 05:41:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:from:date:message-id:subject:to; bh=M5+6JvWTI9WOLdWTncCyenXUxyFx02zwHW0Y6z50Jos=; b=QOoNdRhHeifxx3QMZ8lUisQ2runaLD5Wu4q1xCesoSWhDxE+mnlOQTYK+LZKBmoSUS MVHUquRl84j76xhAsx2r/i7TiGNctlTdh51/KuVfCLD8qw91zyZNuM6RgBbmJ3PtTvZ9 2m6bvhzhEwzaSegTgwGQBArf3AiRaeQ0KPP3/VAjy3mWqANB1l5QHzReuYC1dDyWUlfF cwoa47l81Fesbl6Hstj3TipmY98prfL0k3NMafPO57NxfpTgogTqjwvty1l/ogXkDc2q 37n/aK0U3eJswpd9nqqwNh0/I1LoZgHBQV2xLtQtvDVLEWfiq2bye9fyT0V535mqfPBM NQlQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=M5+6JvWTI9WOLdWTncCyenXUxyFx02zwHW0Y6z50Jos=; b=o+oh0SNzqVcoZheNUjwmek+et2je7O4f0wK+P6qFfmtvdMZPWOt8JfIYA1RJv7dtjW 6tn26zKMS7yQowbg9rwTdYzMIyVnWSzsYwuXsjvKsX9CGYRPySURDiPzMr1sO/2bMCuR bUqFYgPJUoR/FnxgwOeFkM4LywXg3LMXtXo+A40dS6wubOC93VB2AobkA7/9DTXCfV8/ 7fiRMZPrmpVeNqd/ReT+KjXpXlVCCGuM2QklGE8/GiEmlSw/mf/cUqDzFIkIBpUwjoy1 7lz8fQVfvnSZnqXUoQMJ1T2DBtrWmAgKyxhTRiZmnX5FdWyCXLzWwFee1Ru/5W0H1KSq mUYQ== X-Gm-Message-State: AOAM533J4beqehY/6LGC1soQ+jPXv2o3KwO74rfQgzF2FtgxrRpDSo6S pKI1CpCYflrw0D51/MXI/KubPaINXkWyZJktN9Proz5iYOI= X-Google-Smtp-Source: ABdhPJwu30o48BOUVA/Q5HbRSsUljQJRRsGzxjhY4bSorex3EhOBvpAa3dVhGKTeF/uE4gATSLp0Va+6HXg28070ruo= X-Received: by 2002:a05:6830:148:: with SMTP id j8mr673949otp.318.1598445705085; Wed, 26 Aug 2020 05:41:45 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Wed, 26 Aug 2020 07:41:44 -0500 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Jurriaan Hage Date: Wed, 26 Aug 2020 07:41:44 -0500 X-Google-Sender-Auth: EQ8zMbf0r3g-I-v1Ofr42hACH00 Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="00000000000071c75205adc7245a" Subject: [Caml-list] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages) Reply-To: Jurriaan Hage X-Loop: caml-list@inria.fr X-Sequence: 18230 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --00000000000071c75205adc7245a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hello, Please, find below the first and final call for participation for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D IFL 2020 32nd Symposium on Implementation and Application of Functional Languages Call for Participation venue: online 2nd - 4th September 2020 https://www.cs.kent.ac.uk/events/2020/ifl20/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2020 will be 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 languages and function-based programming. ### Registration The symposium will be run via Zoom (zoom.us). If you can use Zoom, then you can participate. Please register for free via Eventbrite on the symposium webpage: https://www.cs.kent.ac.uk/events/2020/ifl20/ ### Programme Day 1: Wednesday, 2 September 12:45 Welcome 13:00 Nico Naus and Johan Jeuring: End-user feedback in multi-user workflow systems 13:30 Mart Lubbers, Haye B=C3=B6hm, Pieter Koopman and Rinus Plasmeijer: Asynchronous Shared Data Sources 14:00 Pieter Koopman, Steffen Michels and Rinus Plasmeijer: Dynamic Editors for Well-Typed Expressions 14:30 Bas Lijnse and Rinus Plasmeijer: Asymmetric Composable Web Editors in iTasks 15:00 Social break 15:30 Sven-Olof Nystr=C3=B6m: A subtyping system for Erlang 16:00 Andrew Marmaduke, Christopher Jenkins and Aaron Stump: Generic Zero-Cost Constructor Subtyping 16:30 Joris Burgers, Jurriaan Hage and Alejandro Serrano: Heuristics-based Type Error Diagnosis for Haskell - The case of GADTs and local reasoning 17:00 Social break 17:30 Kavon Farvardin and John Reppy: A New Backend for Standard ML of New Jersey 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 18:30 Hans-Nikolai Vie=C3=9Fmann and Sven-Bodo Scholz: Effective Host-GPU M= emory Mangement Through Code Generation 20:00 Virtual Pub Day 2: Thursday, 3 September 10:00 Virtual Breakfast 13:00 Michal Gajda: Less Arbitrary waiting time 13:30 S=C3=B3lr=C3=BAn Halla Einarsd=C3=B3ttir and Nicholas Smallbone: Temp= late-based Theory Exploration: Discovering Properties of Functional Programs by Testin= g 14:00 P=C3=A9ter Bereczky, D=C3=A1niel Horp=C3=A1csi, Judit K=C5=91szegi, S= oma Szeier and Simon Thompson: Validating Formal Semantics by Comparative Testing 14:30 Social break 15:00 Gergo Erdi: An Adventure in Symbolic Execution 15:30 Joshua M. Schappel, Sachin Mahashabde and Marco T. Morazan: Using OO Design Patterns in a Functional Programming Setting 16:00 Filipe Varj=C3=A3o: Functional Programming and Interval Arithmetic wi= th High Accuracy 16:30 Social break 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 17:30 Benjamin Mourad and Matteo Cimini: A Declarative Gradualizer with Lang-n-Change 18:00 Maheen Riaz Contractor and Matthew Fluet: Type- and Control-Flow Directed Defunctionalization 19:30 Virtual Pub Day 3: Friday, 4 September 10:00 Virtual Breakfast 13:00 Michal Gajda: Towards a more perfect union type 13:30 Folkert de Vries, Sjaak Smetsers and Sven-Bodo Scholz: Container Unification for Uniqueness Types 14:00 Alejandro D=C3=ADaz-Caro, Pablo E. Mart=C3=ADnez L=C3=B3pez and Crist= ian Sottile: Polymorphic System I 14:30 Social break 15:00 Michal Gajda: Schema-driven mutation of datatype with multiple representations 15:30 Alexandre Garcia de Oliveira, Mauro Jaskelioff and Ana Cristina Vieira de Melo: On Structuring Pure Functional Programs with Monoidal Profunctors 16:00 Sara Moreira, Pedro Vasconcelos and M=C3=A1rio Florido: Resource Anal= ysis for Lazy Evaluation with Polynomial Potential 16:30 Social break 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 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 18:00 Jocelyn Serot: HoCL: High level specification of dataflow graphs 19:30 Virtual Pub 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. --00000000000071c75205adc7245a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

Please, find below the first and f= inal call for participation for IFL 2020.
Please forward these to= anyone you think may be interested.
Apologies for any duplicates = you may receive.

best regards,
Jurriaan Hage
Publicity Ch= air of IFL
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 IFL 2020

=C2=A0 =C2=A0 32nd Symposiu= m on Implementation and Application of Functional =C2=A0Languages

= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0Call for Participation


=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 venue: online
=C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A02nd - 4th September 2020

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 https://www.cs= .kent.ac.uk/events/2020/ifl20/

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

### Sco= pe

The goal of the IFL symposia is to bring together researchers act= ively engaged
in the implementation and application of functional and fu= nction-based
programming languages. IFL 2020 will be a venue for researc= hers to present and
discuss new ideas and concepts, work in progress, an= d publication-ripe results
related to the implementation and application= of functional languages and
function-based programming.


### = Registration

The symposium will be run via Zoom (zoom.us). If you can use Zoom, then you can participate.
Ple= ase register for free via Eventbrite on the symposium webpage:
https://www.cs.kent.ac.uk= /events/2020/ifl20/


### Programme

Day 1: Wednesday, 2= September

12:45 Welcome
13:00 Nico Naus and Johan Jeuring: End-u= ser feedback in multi-user workflow systems
13:30 Mart Lubbers, Haye B= =C3=B6hm, Pieter Koopman and Rinus Plasmeijer: Asynchronous Shared Data Sou= rces
14:00 Pieter Koopman, Steffen Michels and Rinus Plasmeijer: Dynamic= Editors for Well-Typed Expressions
14:30 Bas Lijnse and Rinus Plasmeije= r: Asymmetric Composable Web Editors in iTasks
15:00 Social break
15:= 30 Sven-Olof Nystr=C3=B6m: A subtyping system for Erlang
16:00 Andrew Ma= rmaduke, Christopher Jenkins and Aaron Stump: Generic Zero-Cost Constructor= Subtyping
16:30 Joris Burgers, Jurriaan Hage and Alejandro Serrano: Heu= ristics-based Type Error Diagnosis for Haskell - The case of GADTs and loca= l reasoning
17:00 Social break
17:30 Kavon Farvardin and John Reppy: = A New Backend for Standard ML of New Jersey
18:00 Chaitanya Koparkar, Mi= ke Rainey, Michael Vollmer, Milind Kulkarni and Ryan R. Newton: A Compiler = Approach Reconciling Parallelism and Dense Representations for Irregular Tr= ees
18:30 Hans-Nikolai Vie=C3=9Fmann and Sven-Bodo Scholz: Effective Hos= t-GPU Memory Mangement Through Code Generation
20:00 Virtual Pub

=
Day 2: Thursday, 3 September

10:00 Virtual Breakfast
13:00 Mi= chal Gajda: Less Arbitrary waiting time
13:30 S=C3=B3lr=C3=BAn Halla Ein= arsd=C3=B3ttir and Nicholas Smallbone: Template-based Theory Exploration: D= iscovering Properties of Functional Programs by Testing
14:00 P=C3=A9ter= Bereczky, D=C3=A1niel Horp=C3=A1csi, Judit K=C5=91szegi, Soma Szeier and S= imon Thompson: Validating Formal Semantics by Comparative Testing
14:30 = Social break
15:00 Gergo Erdi: An Adventure in Symbolic Execution
15:= 30 Joshua M. Schappel, Sachin Mahashabde and Marco T. Morazan: Using OO Des= ign Patterns in a Functional Programming Setting
16:00 Filipe Varj=C3=A3= o: Functional Programming and Interval Arithmetic with High Accuracy
16:= 30 Social break
17:00 Laith Sakka, Chaitanya Koparkar, Michael Vollmer, = Vidush Singhal, Sam Tobin-Hochstadt, Ryan R. Newton and Milind Kulkarni: Ge= neral Deforestation Using Fusion, Tupling and Intensive Redundancy Analysis=
17:30 Benjamin Mourad and Matteo Cimini: A Declarative Gradualizer with= Lang-n-Change
18:00 Maheen Riaz Contractor and Matthew Fluet: Type- and= Control-Flow Directed Defunctionalization
19:30 Virtual Pub


= Day 3: Friday, 4 September

10:00 Virtual Breakfast
13:00 Michal G= ajda: Towards a more perfect union type
13:30 Folkert de Vries, Sjaak Sm= etsers and Sven-Bodo Scholz: Container Unification for Uniqueness Types
= 14:00 Alejandro D=C3=ADaz-Caro, Pablo E. Mart=C3=ADnez L=C3=B3pez and Crist= ian Sottile: Polymorphic System I
14:30 Social break
15:00 Michal Gaj= da: Schema-driven mutation of datatype with multiple representations
15:= 30 Alexandre Garcia de Oliveira, Mauro Jaskelioff and Ana Cristina Vieira d= e Melo: On Structuring Pure Functional Programs with Monoidal Profunctors16:00 Sara Moreira, Pedro Vasconcelos and M=C3=A1rio Florido: Resource An= alysis for Lazy Evaluation with Polynomial Potential
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 Inte= grated Development Environment (IDE) on top of a Build System
17:30 Evan= Sitt, Xiaotian Su, Beka Grdzelishvili, Zurab Tsinadze, Zongpu Xie, Hossame= ldin Abdin, Giorgi Botkoveli, Nikola Cenikj, Tringa Sylaj and Viktoria Zsok= : Functional Programming Application for Digital Synthesis Implementation18:00 Jocelyn Serot: HoCL: High level specification of dataflow graphs19:30 Virtual Pub

All times are in British Summer Time (BST), the l= ocal time in Canterbury, UK. So please translate these into your own time z= one, using a service such as time and date.
--00000000000071c75205adc7245a--