<div dir="ltr">This is a gentle reminder about the upcoming paper submission deadline 
for MSFP 2024: Tuesday 30th April, AoE. The original CFP did ask for 
abstracts in advance, but we will not insist on those: if you have a 
paper and have not registered an abstract, submit it anyway!<br>
<br>
Jeremy and Favonia<br>
<br>
   *<br>
<br>
Tenth Workshop on<br>
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING<br>
Monday 8th July 2024, Tallinn, Estonia<br>
A satellite workshop of FSCD 2024<br>
<br>
<a href="https://urldefense.com/v3/__https://msfp-workshop.github.io/msfp2024/__;!!IBzWLUs!RKI_zYVmk7_SnQEWGivoZNupkgYm5mHvASCMisEqUwmLYUuyNZYSUlHOzxKxVGZdga2xIRqJssbYVUny0qUPHNoqBw$" rel="noreferrer" target="_blank">https://msfp-workshop.github.io/msfp2024/</a><br>
<br>
 ** Deadline: Tuesday 30th April **<br>
<br>
The tenth 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 arrows? 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.<br>
<br>
MSFP 2024 will be held on Monday 8th July 2024 in Tallinn, Estonia in affiliation with FSCD (<a href="https://urldefense.com/v3/__https://compose.ioc.ee/icalp2024/__;!!IBzWLUs!RKI_zYVmk7_SnQEWGivoZNupkgYm5mHvASCMisEqUwmLYUuyNZYSUlHOzxKxVGZdga2xIRqJssbYVUny0qVnHMZNOQ$" rel="noreferrer" target="_blank">https://compose.ioc.ee/icalp2024/</a>).
 Previous instances have been held in Munich (with ETAPS 2022), 
virtually (2020), in Oxford (with FLOC 2018), Eindhoven (with ETAPS 
2016), Grenoble (ETAPS 2014), Tallinn (with ETAPS 2012), Baltimore (with
 ICFP 2010), Reykjavik (with ICALP 2008), and Kuressaare (with MPC and 
AMAST 2006).<br>
<br>
Important Dates:<br>
================<br>
<br>
   Paper deadline:     Tuesday 30th April (AoE)<br>
   Notification:       Tuesday 4th June (16:00 UTC)<br>
   Final version:      Tuesday 25th June (AoE)<br>
   Workshop:           Monday 8th July<br>
<br>
Invited Speakers:<br>
=================<br>
<br>
   TBA<br>
<br>
Programme Committee:<br>
====================<br>
<br>
   Kazuyuki Asada            - Tohoku University, JP<br>
   Robert Atkey              - University of Strathclyde, UK<br>
   Ana Bove                  - Chalmers University of Technology, SE<br>
   Liang-Ting Chen           - Academia Sinica, TW<br>
   Peng Fu                   - University of South Carolina, US<br>
   Jeremy Gibbons            - University of Oxford, UK (co-chair)<br>
   Kuen-Bang Hou (Favonia)   - University of Minnesota, US (co-chair)<br>
   Robin Kaarsgaard          - University of Southern Denmark, DK<br>
   Paul Blain Levy           - University of Birmingham, UK<br>
   Dan Marsden               - University of Nottingham, UK<br>
   Dylan McDermott           - Reykjavik University, IS<br>
<br>
(more to follow)<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 Favonia (<a href="mailto:kbh@umn.edu" target="_blank">kbh@umn.edu</a>) and Jeremy Gibbons (<a href="mailto:jeremy.gibbons@cs.ox.ac.uk" target="_blank">jeremy.gibbons@cs.ox.ac.uk</a>) if you have any questions about the scope of the workshop.<br>
<br>
We accept two categories of submission: full papers of at most 15 pages 
that will appear in the proceedings (published with EPTCS) and extended 
abstracts of at most two pages, which we will post on the website but do
 not constitute formal publications and will not appear in the 
proceedings. A short abstract should be submitted by four days in 
advance of the paper deadline (for both full paper and extended abstract
 submissions). For full details, see the webpage.<br>
<br>
We are using EasyChair to manage submissions:<br>
<br>
   <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=msfp2024__;!!IBzWLUs!RKI_zYVmk7_SnQEWGivoZNupkgYm5mHvASCMisEqUwmLYUuyNZYSUlHOzxKxVGZdga2xIRqJssbYVUny0qVGVHVnlQ$" rel="noreferrer" target="_blank">https://easychair.org/conferences/?conf=msfp2024</a></div>