Haskell

Download

haskell@haskell.org

May 2026

8 participants
11 discussions

Deadline extension for MSFP'26, Lisbon, July 18th
by Marie Kerjean 01 May '26

01 May '26

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://msfp-workshop.github.io/msfp2026/ ** Deadline extension: Thursday 7th 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@FLoC26 (https://fscd2026.github.io/) 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 April (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(a)cnrs.fr> and Robert Atkey <robert.atkey(a)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://submissions.floc26.org/msfp

1 0