[TYPES/announce] Deadline extension for MSFP'26, Lisbon, July 18th

[Marie Kerjean]

Call for contributions : Eleventh Workshop on MATHEMATICALLY STRUCTURED 
FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon


Eleventh Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Saturday 18th July 2026, Lisbon, Portugal
A satellite workshop of FSCD 2026

https://urldefense.com/v3/__https://msfp-workshop.github.io/msfp2026/__;!!IBzWLUs!X7IhWHNJYdGZW1YiIEpy5yUWsG3iDryFO0eXl-v4XbtTwCCgoYipC3PhvnxmBOracQD9BHecMJCyLXzhuB3YS-dsb9xBHjNsyEF3w-0bxScQS3ypm6k$  
<https://urldefense.com/v3/__https://msfp-workshop.github.io/msfp2026/__;!!IBzWLUs!S85KZRzX8eqAexzhw_LfoWhmWtX-mrlvy1M4oHTNaqkf8LxYMHJzi7UckpQV-pF-e8z7r4ohdjgVJNzKXZcW7fAWbQCLm6lwEyTrS67UiZ-gdw_-fas$>

   ** Deadline extended: Thursday 7th May (AoE) **

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.

MSFP 2026 will be held on Saturday, 18th July in Lisbon, Portugal, in 
affiliation with FSCD at FLoC26 (https://urldefense.com/v3/__https://fscd2026.github.io/__;!!IBzWLUs!X7IhWHNJYdGZW1YiIEpy5yUWsG3iDryFO0eXl-v4XbtTwCCgoYipC3PhvnxmBOracQD9BHecMJCyLXzhuB3YS-dsb9xBHjNsyEF3w-0bxScQIHHK8lQ$  
<https://urldefense.com/v3/__https://fscd2026.github.io/__;!!IBzWLUs!S85KZRzX8eqAexzhw_LfoWhmWtX-mrlvy1M4oHTNaqkf8LxYMHJzi7UckpQV-pF-e8z7r4ohdjgVJNzKXZcW7fAWbQCLm6lwEyTrS67UiZ-g91_-9Fo$>). 
Previous instances have been held in Tallinn (with FSCD2024), 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).

Important Dates:
================

     Paper deadline:  Thursday 7th May (AoE) (extended)
     Notification:       Wednesday 27th May
     Final version:     Wednesday 24th June (AoE)
     Workshop:         Saturday 18th July

Invited Speakers:
=================

     TBA

Programme Committee:
====================

     Robert Atkey - University of Strathclyde, UK (co-chair)
     Marie Kerjean - CNRS, Université Sorbonne Paris Nord, FR (co-chair)
     Samantha Frohlich - University of Bristol, UK
     Paulette Koronkevich - University of British Columbia, CA
     Satoshi Kura - Waseda University, JP
     Ambroise Lafont - École Polytechnique, FR
     Guillaume Munch-Maccagnoni - Inria, FR
     Wouter Swiestra - Utrecht University, NL
     Niels Voorneveld - Cybernetica, EE
     Zhixuan Yang - University of Exeter, UK

Submission:
===========

Submissions are welcomed on, but by no means restricted to, topics
such as:

     structured effectful computation
     structured recursion
     structured corecursion
     structured tree and graph operations
     structured syntax with variable binding
     structured datatype-genericity
     structured search
     structured representations of functions
     structured quantum computation
     structure directed optimizations
     structured types
     structure derived from programs and data

Please contact the programme chairs Marie Kerjean 
<marie.kerjean at cnrs.fr> <mailto:marie.kerjean at cnrs.fr> and Robert Atkey 
<robert.atkey at strath.ac.uk> <mailto:robert.atkey at strath.ac.uk> if you 
have any questions about the scope of the workshop.

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.

We are using the FLoC HotCRP to manage submissions:

https://urldefense.com/v3/__https://submissions.floc26.org/msfp__;!!IBzWLUs!X7IhWHNJYdGZW1YiIEpy5yUWsG3iDryFO0eXl-v4XbtTwCCgoYipC3PhvnxmBOracQD9BHecMJCyLXzhuB3YS-dsb9xBHjNsyEF3w-0bxScQSBbQD7g$  
<https://urldefense.com/v3/__https://submissions.floc26.org/msfp__;!!IBzWLUs!S85KZRzX8eqAexzhw_LfoWhmWtX-mrlvy1M4oHTNaqkf8LxYMHJzi7UckpQV-pF-e8z7r4ohdjgVJNzKXZcW7fAWbQCLm6lwEyTrS67UiZ-gK5S416E$>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260502/d557656e/attachment-0001.htm>