<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Ninth Workshop on</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Saturday 2nd April 2022, Munich, Germany</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">A satellite workshop of ETAPS 2022</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><a href="https://urldefense.com/v3/__https://msfp-workshop.github.io/msfp2022/__;!!IBzWLUs!EB680-NoWsQNw556S3UoP0VhCLNUFlULBRdsM0pjxq1Db63RpG7IM1jwzv0ndpqL7z70li4tj5yCrA$" style="font-family: LucidaGrande;" class="">https://msfp-workshop.github.io/msfp2022/</a><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> ** Deadline: 16 December (abstract), 23 December (paper) **</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">The ninth workshop on Mathematically Structured Functional</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Programming is devoted to the derivation of functionality from</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">structure. It is a celebration of the direct impact of Theoretical</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Computer Science on programs as we write them today. Modern</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">programming languages, and in particular functional languages, support</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">the direct expression of mathematical structures, equipping</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">programmers with tools of remarkable power and abstraction. Where</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">would Haskell be without monads? Functional reactive programming</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">without temporal logic? Call-by-push-value without adjunctions? The</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">list goes on. This workshop is a forum for researchers who seek to</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">reflect mathematical phenomena in data and control.</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">fifth workshop was held in Grenoble, France, as part of ETAPS</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">in July 2018, in Oxford, UK, as part of FLoC 2018. The </span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">eighth</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> MSFP</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Workshop was held virtually in August 2020, originally planned as part</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">of ETAPS 2020.</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Important Dates:</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">================</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Abstract deadline: 16 December (Thursday)</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Paper deadline: 23 December (Thursday)</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Notification: 27 January (Thursday)</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Final version: 24 February (Thursday)</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Workshop: 2 April(Saturday )</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Invited Speakers:</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">=================</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Valeria de Paiva - Topos Institute, USA</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Programme Committee:</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">====================</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Nuria Brede - University of Potsdam, Germany</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Jacques Carette - McMaster University, Canada</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Youyou Cong - Tokyo Institute of Technology, Japan</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Philippa Cowderoy</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Jan de Muijnck-Hughes - University of Glasgow, UK</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Harley Eades III - Augusta University, USA</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Jeremy Gibbons - University of Oxford, UK (co-chair)</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Jules Hedges - University of Stratchclyde, UK</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Shin-Ya Katsumata - National Institute of Informatics, Japan</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Max New - University of Michigan, USA (co-chair)</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Maciej Piróg - University of Wrocław, Poland</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> Artjoms Sinkarovs - Heriot-Watt University, UK</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Submission:</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">===========</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Submissions are welcomed on, but by no means restricted to, topics</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">such as:</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structured effectful computation</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structured recursion</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structured corecursion</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structured tree and graph operations</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structured syntax with variable binding</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structured datatype-genericity</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structured search</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structured representations of functions</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structured quantum computation</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structure directed optimizations</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structured types</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> structure derived from programs and data</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Please contact the programme chairs Jeremy Gibbons</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">(</span><a href="mailto:jeremy.gibbons@cs.ox.ac.uk" style="font-family: LucidaGrande;" class="">jeremy.gibbons@cs.ox.ac.uk</a><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">) and Max New (</span><a href="mailto:maxsnew@umich.edu" style="font-family: LucidaGrande;" class="">maxsnew@umich.edu</a><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">) if you</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">have any questions about the scope of the workshop.</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">We accept two categories of submission: full papers of no more than 15</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">pages that will appear in the proceedings, and extended abstracts of</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">no more than 2 pages that we will post on the website, but which do</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">not constitute formal publications and will not appear in the</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">proceedings. References and appendices are not included in page</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">limits. Appendices may not be read by reviewers.</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">Submissions must report previously unpublished work and not be</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">submitted concurrently to another conference with refereed</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">proceedings. Accepted papers must be presented at the workshop by one</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">of the authors. The proceedings will be published under the auspices</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">of EPTCS with a Creative Commons license.</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">A short abstract should be submitted a week in advance of the paper</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">deadline (for both full paper and extended abstract submissions).</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">We are using EasyChair to manage submissions. To submit a paper, use</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class="">this link:</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""> </span><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=msfp2022__;!!IBzWLUs!EB680-NoWsQNw556S3UoP0VhCLNUFlULBRdsM0pjxq1Db63RpG7IM1jwzv0ndpqL7z70li4LV7GBtg$" style="font-family: LucidaGrande;" class="">https://easychair.org/conferences/?conf=msfp2022</a><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: LucidaGrande;" class=""><div class="">
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: "Lucida Grande"; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;"><a href="mailto:Jeremy.Gibbons@cs.ox.ac.uk" class="">Jeremy.Gibbons@cs.ox.ac.uk</a><br class="">Oxford University Department of Computer Science,<br class="">Wolfson Building, Parks Road, Oxford OX1 3QD, UK.<br class="">+44 1865 283521<br class="">http://www.cs.ox.ac.uk/people/jeremy.gibbons/</div>
</div>
<br class=""></body></html>