[TYPES/announce] Call for contributions : Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon

[Marie Kerjean]

Twelfth 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!TxG91errHQbEa9c8kriThpubjIlJInTn-F-qmjMpT5qLk4yqs_B_-LQB5gszUTy_Lcs15ALnWI3OyKgW1TpMw6oyo3MVtRB5zegkzAxw0SPzxhrZn_U$ 

  ** Deadline: Wednesday 29th April (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!TxG91errHQbEa9c8kriThpubjIlJInTn-F-qmjMpT5qLk4yqs_B_-LQB5gszUTy_Lcs15ALnWI3OyKgW1TpMw6oyo3MVtRB5zegkzAxw0SPzKDzklZI$ ). 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:     Wednesday 29th April (AoE)
    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)

(more to follow)

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> and Robert Atkey <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!TxG91errHQbEa9c8kriThpubjIlJInTn-F-qmjMpT5qLk4yqs_B_-LQB5gszUTy_Lcs15ALnWI3OyKgW1TpMw6oyo3MVtRB5zegkzAxw0SPzsnCKzGk$