[TYPES/announce] MSFP 2022 - First Call for Papers

[Jeremy Gibbons]

Ninth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Saturday 2nd April 2022, Munich, Germany
A satellite workshop of ETAPS 2022

https://urldefense.com/v3/__https://msfp-workshop.github.io/msfp2022/__;!!IBzWLUs!EB680-NoWsQNw556S3UoP0VhCLNUFlULBRdsM0pjxq1Db63RpG7IM1jwzv0ndpqL7z70li4tj5yCrA$  <https://urldefense.com/v3/__https://msfp-workshop.github.io/msfp2022/__;!!IBzWLUs!EB680-NoWsQNw556S3UoP0VhCLNUFlULBRdsM0pjxq1Db63RpG7IM1jwzv0ndpqL7z70li4tj5yCrA$ >

  ** Deadline: 16 December (abstract), 23 December (paper) **

The ninth 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. The eighth MSFP
Workshop was held virtually in August 2020, originally planned as part
of ETAPS 2020.

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

Abstract deadline: 16 December (Thursday)
Paper deadline: 23 December (Thursday)
Notification: 27 January (Thursday)
Final version: 24 February (Thursday)
Workshop: 2  April(Saturday )

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

    Valeria de Paiva - Topos Institute, USA

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

    Nuria Brede               - University of Potsdam, Germany
    Jacques Carette           - McMaster University, Canada
    Youyou Cong               - Tokyo Institute of Technology, Japan
    Philippa Cowderoy
    Jan de Muijnck-Hughes     - University of Glasgow, UK
    Harley Eades III          - Augusta University, USA
    Jeremy Gibbons            - University of Oxford, UK (co-chair)
    Jules Hedges              - University of Stratchclyde, UK
    Shin-Ya Katsumata         - National Institute of Informatics, Japan
    Max New                   - University of Michigan, USA (co-chair)
    Maciej Piróg              - University of Wrocław, Poland
    Artjoms Sinkarovs         - Heriot-Watt University, 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 Jeremy Gibbons
(jeremy.gibbons at cs.ox.ac.uk <mailto:jeremy.gibbons at cs.ox.ac.uk>) and Max New (maxsnew at umich.edu <mailto:maxsnew at umich.edu>) 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:

    https://urldefense.com/v3/__https://easychair.org/conferences/?conf=msfp2022__;!!IBzWLUs!EB680-NoWsQNw556S3UoP0VhCLNUFlULBRdsM0pjxq1Db63RpG7IM1jwzv0ndpqL7z70li4LV7GBtg$  <https://urldefense.com/v3/__https://easychair.org/conferences/?conf=msfp2022__;!!IBzWLUs!EB680-NoWsQNw556S3UoP0VhCLNUFlULBRdsM0pjxq1Db63RpG7IM1jwzv0ndpqL7z70li4LV7GBtg$ >


Jeremy.Gibbons at cs.ox.ac.uk
Oxford University Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
+44 1865 283521
https://urldefense.com/v3/__http://www.cs.ox.ac.uk/people/jeremy.gibbons/__;!!IBzWLUs!EB680-NoWsQNw556S3UoP0VhCLNUFlULBRdsM0pjxq1Db63RpG7IM1jwzv0ndpqL7z70li5NcMWNIw$ 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211124/b03bd6cd/attachment-0001.htm>