[HoTT] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)

[HoTT] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)

['Favonia' via Homotopy Type Theory]

[-- Attachment #1: Type: text/plain, Size: 4105 bytes --]

Tenth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 8th July 2024, Tallinn, Estonia
A satellite workshop of FSCD 201:5924

https://msfp-workshop.github.io/msfp2024/

  ** Deadline: Friday 26th April (abstract), Tuesday 30th April (paper) **

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 2024 will be held on Monday 8th July 2024 in Tallinn, Estonia in
affiliation with FSCD (https://compose.ioc.ee/icalp2024/). 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).

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

    Abstract deadline:  Friday 26th April (AoE)
    Paper deadline:     Tuesday 30th April (AoE)
    Notification:       Tuesday 4th June (16:00 UTC)
    Final version:      Tuesday 25th June (AoE)
    Workshop:           Monday 8th July

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

    TBA

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

    Kazuyuki Asada            - Tohoku University, JP
    Robert Atkey              - University of Strathclyde, UK
    Ana Bove                  - Chalmers University of Technology, SE
    Liang-Ting Chen           - Academia Sinica, TW
    Peng Fu                   - University of South Carolina, US
    Jeremy Gibbons            - University of Oxford, UK (co-chair)
    Kuen-Bang Hou (Favonia)   - University of Minnesota, UK (co-chair)
    Robin Kaarsgaard          - University of Southern Denmark, DK
    Paul Blain Levy           - University of Birmingham, UK
    Dan Marsden               - University of Nottingham, UK
    Dylan McDermott           - Reykjavik University, IS

(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 Favonia (kbh@umn.edu) and Jeremy
Gibbons (jeremy.gibbons@cs.ox.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 EasyChair to manage submissions:

    https://easychair.org/conferences/?conf=msfp2024

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAH_%2BrvdkDqsh5n97Ssy%3D-ZdqGsu61tE%3D9Jy6Qez4QHX8ELz%3DxA%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 5207 bytes --]