Eighth Workshop on Mathematically Structured Functional Programming (MSFP 2020)

Functionality from Structure

Due to the global coronavirus pandemic, ETAPS 2020 and associated in-person events have been cancelled. MSFP 2020 will now be held as a virtual meeting.

Registration deadline: Tuesday 25th August

Introduction

The eighth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control.

MSFP 2020 will be held on Saturday 25th April 2020 in affiliation with ETAPS 2020 in Dublin, Ireland.

MSFP 2020 will be held on Monday 31st August and Tuesday 1st September 2020 online.

Proceedings

The proceedings have now been published as EPTCS Volume 317.

Invited Speakers

• Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique, France
• Satnam Singh, Google Research, USA

Registration

Platforms

• We will use Google Meet for presentations.
• If the number of participants is not too high then we will invite all participants to use Google Meet if they wish.
• Regardless, we will also livestream talks via YouTube.
• Questions and general discussion will be handled through Zulip.
• We will use gather.town for "corridor chat".

Programme

Monday

Opening keynote (live stream)
13:00 Invited Speaker: Pierre-Marie Pedrot
All your base categories are belong to us: A syntactic model of presheaves in type theory (slides) (abstract)

14:00 break

Technical session 1 (live stream)
14:30 Philippa Cowderoy
Information aware type systems and telescopic constraint trees (slides) (extended abstract)
15:00 Christopher Jenkins, Aaron Stump, and Larry Diehl
Efficient lambda encodings for Mendler-style coinductive types in Cedille (slides) (paper)

15:30 break

Technical session 2 (live stream)
16:00 Niels Voorneveld
From equations to distinctions: Two interpretations of effectful computations (slides) (paper)
16:30 Dominic Orchard, Philip Wadler, and Harley Eades III
Unifying graded and parameterised monads (slides) (paper)

17:00 virtual pub

Tuesday

Technical session 3 (live stream)
13:00 Anne Baanen and Wouter Swierstra
Combining predicate transformer semantics for effects: a case study in parsing regular languages (slides) (paper)
13:30 Oleg Grenrus
Shattered lens (slides) (extended abstract)

14:00 break

Technical session 4 (live stream)
14:30 Artjoms Sinkarovs
Multi-dimensional arrays with levels (slides) (paper)
15:00 Fritz Henglein and Mikkel Kragh Mathiesen
Module theory and query processing (slides) (extended abstract)

15:30 break

Closing keynote
16:00 Invited speaker: Satnam Singh
Extracting low-level formally verified circuits from Cava in Coq (abstract)

17:00 virtual pub

Call for Papers (Expired)

Submissions are welcomed on, but by no means restricted to, topics such as:

• structured effectful computation
• structured recursion
• structured corecursion
• structured tree and graph operations
• structured syntax with variable binding
• structured datatype-genericity
• structured search
• structured representations of functions
• structured quantum computation
• structure directed optimizations
• structured types
• structure derived from programs and data

Please contact the programme chairs Sam Lindley and Max New if you have any questions about the scope of the workshop.

We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages which we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers.

Full papers (not two page talk abstracts) must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers and talks must be presented at the workshop by at least one of the authors.

The proceedings will be published under the auspices of EPTCS with a Creative Commons license. Papers must be prepared in LaTeX using the EPTCS macro package.

We are using EasyChair to manage submissions. To submit a paper, use the following link https://easychair.org/conferences/?conf=msfp2020.

Important Dates

• Abstract deadline: 9th January (Thursday)
• Paper deadline: 16th January (Thursday)
• Notification: 27th February (Thursday)
• Final version: 26th March (Thursday)
• Workshop: 25th April (Saturday)
• Workshop: 31st August–1st September (Monday–Tuesday)

Programme Committee

• Stephanie Balzer - CMU, USA
• Kwanghoon Choi - Chonnam, South Korea
• Ralf Hinze - Kaiserslautern, Germany
• Marie Kerjean - Inria Nantes, France
• Sam Lindley - Heriot-Watt, UK (co-chair)
• Max New - Northeastern, USA (co-chair)
• Fredrik Nordvall-Forsberg - Strathclyde, UK
• Alberto Pardo - Montevideo, Uruguay
• Exequiel Rivas Gadda - Inria Paris, France
• Claudio Russo - DFINITY, UK
• Tarmo Uustalu - Reykjavik, Iceland
• Nicolas Wu - Imperial, UK
• Maaike Zwart - Oxford, UK

Previous MSFP Workshops

MSFP 2018

The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC. It was organised by Robert Atkey and Sam Lindley, and featured invited talks by Tamara von Glehn and Didier Rémy. The proceedings were published by EPTCS available here.

MSFP 2016

The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, just after ETAPS 2016. It was organised by Neelakantan Krishnaswami and Robert Atkey, and featured an invited talk by Fredrik Nordvall Forsberg. The proceedings wer published by EPTCS available here.

MSFP 2014

The fifth MSFP Workshop was held in April 2014, in Grenoble, France, just after ETAPS 2014. It was organised by Paul Levy and Neelakantan Krishnaswami, and featured invited talks from Robert Atkey and Shin-ya Katsumata. The proceedings were published by EPTCS, available here.

MSFP 2012

The fourth MSFP Workshop was held in March 2012, in Tallinn, Estonia, before ETAPS 2012. It was organized by James Chapman and Paul Levy, and featured invited talks from Danko Ilik and Neil Ghani. The proceedings were published by EPTCS, available here.

MSFP 2010

The third MSFP Workshop was held in September 2010, in Baltimore, Maryland, before ICFP 2010. It was organized by Venanzio Capretta and James Chapman, and featured invited talks from Martín Escardó and Amy Felty. The proceedings were published by ACM Press, available here.

MSFP 2008

The second MSFP Workshop was held in July 2008, at Reykjavik University, Iceland as part of ICALP 2008. It was organized by Conor McBride and Venanzio Capretta, and featured invited talks from Andrej Bauer and Dan Piponi. The proceedings were published in Electronic Notes in Theoretical Computer Science, v. 229, n. 5, available here.

MSFP 2006

The inaugural MSFP Workshop was held in July 2006, in Kuressaare, Estonia, a fine curtain-raiser for MPC and AMAST. It was organized by Tarmo Uustalu and Conor McBride, and featured invited talks from John Power and Andrzej Filinski. The proceedings were published in the British Computer Society's "Electronic Workshops in Computing" Series, available here.

Revised selected papers (with a full re-refereeing process) appeared as a special issue of the Journal of Functional Programming Volume 19 Issue 3-4.