Twelfth Workshop on Mathematically Structured Functional Programming (MSFP 2026)

Functionality from Structure

Introduction

The twelfth 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 2026 in affiliation with FSCD 2026 at FLoC 2026 in Lisbon, Portugal.

Proceedings

The proceedings will be published in EPTCS, as in recent years.

Invited Speaker

TBD...

Registration

Registration is via the FLoC registration website. The early registration deadline is 15th May (conferences and workshops) or 1st June (workshops only).

Programme

The programme is not yet formed. Please submit a paper below!

Call for Papers

Submissions are welcomed on, but not 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 co-chairs Robert Atkey and Marie Kerjean if you have any questions about the scope of the workshop.

We accept two categories of submission:

• Full papers of at most fifteen (15) pages that will appear in the proceedings. The proceedings will be published under the auspices of EPTCS with a Creative Commons license, and thus, full papers must be prepared in LaTeX using the EPTCS macro package. Concurrent submissions to other conferences, workshops, journals, or similar venues are prohibited. Resubmissions of already formally published works are also prohibited.
• Extended abstracts of at most two (2) pages, which we will post on the website but do not constitute formal publications and will not appear in the proceedings. This means you can submit an extended abstract based on a previously published work, or publish a paper later based on the extended abstract in another venue. You do not have to use the EPTCS macro package for extended abstracts.

References and appendices are not included in page limits, but reviewers may or may not read appendices. Accepted papers and talks must be presented at the workshop by at least one of the authors.

We are using FLoC HotCRP instance to manage submissions.

Important Dates

• Paper deadline: Wednesday 29th April (AoE)
• Notification: Wednesday 27th May
• Pre-proceedings version: Wednesday 24th June
• Workshop: Saturday 18th July

Programme Committee

• Robert Atkey - University of Strathclyde, UK (co-chair)
• Marie Kerjean - CNRS, Université Sorbonne Paris Nord, FR (co-chair)
• further members to be confirmed...

Previous MSFP Workshops

See the main MSFP page.