<div dir="ltr">Ninth Workshop on<br>MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING<br>Saturday 2nd April 2022, Munich, Germany<br>A satellite workshop of ETAPS 2022<br><br><a href="https://msfp-workshop.github.io/msfp2022/">https://msfp-workshop.github.io/msfp2022/</a><br><br>  ** Deadline: 16 December (abstract), 23 December (paper) **<br><br>The ninth 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. The eigth MSFP<br>Workshop was held virtually in August 2020, originally planned as part<br>of ETAPS 2020.<br><br>Important Dates:<br>================<br><br>Abstract deadline: 16 December (Thursday)<br>Paper deadline: 23 December (Thursday)<br>Notification: 27 January (Thursday)<br>Final version: 24 February (Thursday)<br>Workshop: 2  April(Saturday )<br><br>Invited Speakers:<br>=================<br><br>    Valeria de Paiva - Topos Institute, USA<br><br>Programme Committee:<br>====================<br><br>    Nuria Brede               - University of Potsdam, Germany<br>    Jacques Carette           - McMaster University, Canada<br>    Youyou Cong               - Tokyo Institute of Technology, Japan<br>    Philippa Cowderoy<br>    Jan de Muijnck-Hughes     - University of Glasgow, UK<br>    Harley Eades III          - Augusta University, USA<br>    Jeremy Gibbons            - University of Oxford, UK (co-chair)<br>    Jules Hedges              - University of Stratchclyde, UK<br>    Shin-Ya Katsumata         - National Institute of Informatics, Japan<br>    Max New                   - University of Michigan, USA (co-chair)<br>    Maciej Piróg              - University of Wrocław, Poland<br>    Artjoms Sinkarovs         - Heriot-Watt University, 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 Jeremy Gibbons<br>(<a href="mailto:jeremy.gibbons@cs.ox.ac.uk">jeremy.gibbons@cs.ox.ac.uk</a>) and Max New (<a href="mailto:maxsnew@umich.edu">maxsnew@umich.edu</a>) if you<br>have any questions about the 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=msfp2022">https://easychair.org/conferences/?conf=msfp2022</a></div>