caml-list - the Caml user's mailing list
 help / color / Atom feed
From: Sam Lindley <>
Subject: [Caml-list] MSFP 2020 - First Call for Papers
Date: Wed, 30 Oct 2019 00:03:46 +0000
Message-ID: <> (raw)

Eighth Workshop on
Saturday 25th April 2020, Dublin, Ireland
A satellite workshop of ETAPS 2020

   ** Deadline: 9th January (abstract), 16th January (paper) **

The eighth 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 temporal logic?  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.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.

Important Dates:

Abstract deadline:  9th January  (Thursday)
Paper deadline:    16th January  (Thursday)
Notification:      27th February (Thursday)
Final version:     26th March    (Thursday)
Workshop:          25th April    (Saturday)

Invited Speakers:

  - Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique, France
  - Second invited speaker TBC

Program Committee:

     Stephanie Balzer          - CMU, USA
     Kwanghoon Choi            - Chonnam, South Korea
     Ralf Hinze                - Kaiserslautern, Germany
     Marie Kerjean             - Inria Nantes, France
     Sam Lindley               - Edinburgh and Imperial, UK (co-chair)
     Max New                   - Northeastern, USA (co-chair)
     Fredrik Nordvall-Forsberg - Strathclyde, UK
     Alberto Pardo             - Montevideo, Uruguay
     Exequiel Rivas Gadda      - Inria Paris, France
     Claudio Russo             - DFINITY, UK
     Tarmo Uustalu             - Reykjavik, Iceland
     Nicolas Wu                - Imperial, UK
     Maaike Zwart              - Oxford, UK


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 Sam Lindley (
and Max New ( if you have any questions about the
scope of the workshop.

We accept two categories of submission: full papers of no more than 15
pages that will appear in the proceedings, and extended abstracts of
no more than 2 pages that we will post on the website, but which do
not constitute formal publications and will not appear in the
proceedings. References and appendices are not included in page
limits. Appendices may not be read by reviewers.

Submissions must report previously unpublished work and not be
submitted concurrently to another conference with refereed
proceedings. Accepted papers must be presented at the workshop by one
of the authors. The proceedings will be published under the auspices
of EPTCS with a Creative Commons license.

A short abstract should be submitted a week in advance of the paper
deadline (for both full paper and extended abstract submissions).

We are using EasyChair to manage submissions. To submit a paper, use
this link:

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror
	git clone --mirror

Example config snippet for mirrors

Newsgroup available over NNTP:

AGPL code for this site: git clone