[TYPES/announce] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation

[Sam Lindley]

Eighth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 31st August and Tuesday 1st September 2020, online

https://msfp-workshop.github.io/msfp2020/

   ** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a
      virtual meeting **

   ** Registration deadline: Tuesday 25th August **

    CALL FOR PARTICIPATION

Registration
============

Register for participation here by Tuesday 25th August:

   https://forms.gle/HNvFsxDKbGAvnv9x9

There is no registration fee.

Invited Speakers
================

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

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 temporal logic?  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.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.

Programme
=========

All times are UTC+1 (i.e. the timezone of Dublin, Ireland where MSFP
2020 was originally scheduled to be held).

Monday
------

13:00 Invited Speaker: Pierre-Marie Pedrot
   All your base categories are belong to us: A syntactic model of
   presheaves in type theory

14:00 break

14:30 Philippa Cowderoy
   Information aware type systems and telescopic constraint trees

15:00 Christopher Jenkins, Aaron Stump, and Larry Diehl
   Efficient lambda encodings for Mendler-style coinductive types in
   Cedille

15:30 break

16:00 Niels Voorneveld
   From equations to distinctions: Two interpretations of effectful
   computations
16:30 Dominic Orchard, Philip Wadler, and Harley Eades III
   Unifying graded and parameterised monads

17:00 virtual pub

Tuesday
-------

13:00 Anne Baanen and Wouter Swierstra
   Combining predicate transformer semantics for effects: a case study
   in parsing regular languages
13:30 Oleg Grenrus
   Shattered lens

14:00 break

14:30 Artjoms Sinkarovs
   Multi-dimensional arrays with levels
15:00 Fritz Henglein and Mikkel Kragh Mathiesen
   Module theory and query processing

15:30 break

16:00 Invited speaker: Satnam Singh
   Extracting low-level formally verified circuits from Cava in Coq

17:00 virtual pub

Program Committee
=================

     Stephanie Balzer          - CMU, USA
     Kwanghoon Choi            - Chonnam, South Korea
     Ralf Hinze                - Kaiserslautern, Germany
     Marie Kerjean             - Inria Nantes, France
     Sam Lindley               - Edinburgh and Imperial, 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

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".

Further details will be emailed to registered participants.

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.