<div dir="ltr">Eighth Workshop on<br>MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING<br>Monday 31st August and Tuesday 1st September 2020, online<br><br><a href="https://msfp-workshop.github.io/msfp2020/">https://msfp-workshop.github.io/msfp2020/</a><br><br>  ** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a<br>     virtual meeting **<br><br>  ** Registration deadline: Tuesday 25th August **<br><br>   CALL FOR PARTICIPATION<br><br>Registration<br>============<br><br>Register for participation here by Tuesday 25th August:<br><br>  <a href="https://forms.gle/HNvFsxDKbGAvnv9x9">https://forms.gle/HNvFsxDKbGAvnv9x9</a><br><br>There is no registration fee.<br><br>Invited Speakers<br>================<br><br>    Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France<br>    Satnam Singh        - Google Research, USA<br><br>The eighth workshop on Mathematically Structured Functional<br>Programming is devoted to the derivation of functionality from<br>structure. It is a celebration of the direct impact of Theoretical<br>Computer Science on programs as we write them today. Modern<br>programming languages, and in particular functional languages, support<br>the direct expression of mathematical structures, equipping<br>programmers with tools of remarkable power and abstraction. Where<br>would Haskell be without monads? Functional reactive programming<br>without temporal logic?  Call-by-push-value without adjunctions? The<br>list goes on. This workshop is a forum for researchers who seek to<br>reflect mathematical phenomena in data and control.<br><br>The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,<br>affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was<br>held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP<br>workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth<br>workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The<br>fifth workshop was held in Grenoble, France, as part of ETAPS<br>2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,<br>Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held<br>in July 2018, in Oxford, UK, as part of FLoC 2018.<br><br>Programme<br>=========<br><br>All times are UTC+1 (i.e. the timezone of Dublin, Ireland where MSFP<br>2020 was originally scheduled to be held).<br><br>Monday<br>------<br><br>13:00 Invited Speaker: Pierre-Marie Pedrot<br>  All your base categories are belong to us: A syntactic model of<br>  presheaves in type theory<br><br>14:00 break<br><br>14:30 Philippa Cowderoy<br>  Information aware type systems and telescopic constraint trees<br><br>15:00 Christopher Jenkins, Aaron Stump, and Larry Diehl<br>  Efficient lambda encodings for Mendler-style coinductive types in<br>  Cedille<br><br>15:30 break<br><br>16:00 Niels Voorneveld<br>  From equations to distinctions: Two interpretations of effectful<br>  computations<br>16:30 Dominic Orchard, Philip Wadler, and Harley Eades III<br>  Unifying graded and parameterised monads<br><br>17:00 virtual pub<br><br>Tuesday<br>-------<br><br>13:00 Anne Baanen and Wouter Swierstra<br>  Combining predicate transformer semantics for effects: a case study<br>  in parsing regular languages<br>13:30 Oleg Grenrus<br>  Shattered lens<br><br>14:00 break<br><br>14:30 Artjoms Sinkarovs<br>  Multi-dimensional arrays with levels<br>15:00 Fritz Henglein and Mikkel Kragh Mathiesen<br>  Module theory and query processing<br><br>15:30 break<br><br>16:00 Invited speaker: Satnam Singh<br>  Extracting low-level formally verified circuits from Cava in Coq<br><br>17:00 virtual pub<br><br>Program Committee<br>=================<br><br>    Stephanie Balzer          - CMU, USA<br>    Kwanghoon Choi            - Chonnam, South Korea<br>    Ralf Hinze                - Kaiserslautern, Germany<br>    Marie Kerjean             - Inria Nantes, France<br>    Sam Lindley               - Edinburgh and Imperial, UK (co-chair)<br>    Max New                   - Northeastern, USA (co-chair)<br>    Fredrik Nordvall-Forsberg - Strathclyde, UK<br>    Alberto Pardo             - Montevideo, Uruguay<br>    Exequiel Rivas Gadda      - Inria Paris, France<br>    Claudio Russo             - DFINITY, UK<br>    Tarmo Uustalu             - Reykjavik, Iceland<br>    Nicolas Wu                - Imperial, UK<br>    Maaike Zwart              - Oxford, UK<br><br>Platforms<br>=========<br><br> * We will use Google Meet for presentations.<br><br> * If the number of participants is not too high then we will invite<br>all participants to use Google Meet if they wish.<br><br> * Regardless, we will also livestream talks via YouTube.<br><br> * Questions and general discussion will be handled through Zulip.<br><br> * We will use gather.town for "corridor chat".<br><br>Further details will be emailed to registered participants.</div>