<div dir="ltr">Eighth Workshop on<br>MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING<br>Saturday 25th April 2020, Dublin, Ireland<br>A satellite workshop of ETAPS 2020<br><br><a href="https://msfp-workshop.github.io/msfp2020/">https://msfp-workshop.github.io/msfp2020/</a><br><br>  ** Deadline: 9th January (abstract), 16th January (paper) **<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>Important Dates:<br>================<br><br>Abstract deadline:  9th January  (Thursday)<br>Paper deadline:    16th January  (Thursday)<br>Notification:      27th February (Thursday)<br>Final version:     26th March    (Thursday)<br>Workshop:          25th April    (Saturday)<br><br>Invited Speakers:<br>=================<br><br> - Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique, France<br> - Second invited speaker TBC<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>Submission:<br>===========<br><br>Submissions are welcomed on, but by no means restricted to, topics<br>such as:<br><br>    structured effectful computation<br>    structured recursion<br>    structured corecursion<br>    structured tree and graph operations<br>    structured syntax with variable binding<br>    structured datatype-genericity<br>    structured search<br>    structured representations of functions<br>    structured quantum computation<br>    structure directed optimizations<br>    structured types<br>    structure derived from programs and data<br><br>Please contact the programme chairs Sam Lindley (<a href="mailto:Sam.Lindley@ed.ac.uk">Sam.Lindley@ed.ac.uk</a>)<br>and Max New (<a href="mailto:maxnew@ccs.neu.edu">maxnew@ccs.neu.edu</a>) if you have any questions about the<br>scope of the workshop.<br><br>We accept two categories of submission: full papers of no more than 15<br>pages that will appear in the proceedings, and extended abstracts of<br>no more than 2 pages that we will post on the website, but which do<br>not constitute formal publications and will not appear in the<br>proceedings. References and appendices are not included in page<br>limits. Appendices may not be read by reviewers.<br><br>Submissions must report previously unpublished work and not be<br>submitted concurrently to another conference with refereed<br>proceedings. Accepted papers must be presented at the workshop by one<br>of the authors. The proceedings will be published under the auspices<br>of EPTCS with a Creative Commons license.<br><br>A short abstract should be submitted a week in advance of the paper<br>deadline (for both full paper and extended abstract submissions).<br><br>We are using EasyChair to manage submissions. To submit a paper, use<br>this link:<br><br>    <a href="https://easychair.org/conferences/?conf=msfp2020">https://easychair.org/conferences/?conf=msfp2020</a><br><br></div>