[Agda] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

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
=======================================================

                                    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/

========================================================

### 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öhm, 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öm: 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ßmann and Sven-Bodo Scholz: Effective Host-GPU Memory
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ólrún Halla Einarsdóttir and Nicholas Smallbone: Template-based
Theory Exploration: Discovering Properties of Functional Programs by Testing
14:00 Péter Bereczky, Dániel Horpácsi, Judit Kőszegi, Soma 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ã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: 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íaz-Caro, Pablo E. Martínez López and Cristian 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ário Florido: Resource Analysis
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200826/d2ceacea/attachment.html>