Mathematically Structured Functional Programming 2018: Call for Papers
Add Reply
Robert Atkey
2018-03-02 12:36:13 UTC
Raw Message
Seventh Workshop on
Sunday 8th July 2018, Oxford, UK
A satellite workshop of FSCD 2018


** New this time: additional talk proposal category **

** Deadline: 5th April (abstract), 12th April (paper) **

The seventh 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, just after ETAPS 2016.

Important Dates:

Abstract deadline: 5th April (Thursday)
Paper deadline: 12th April (Thursday)
Notification: 17th May (Thursday)
Final version: 14th June (Thursday)
Workshop: 8th July (Sunday)

Invited Speakers:

- Tamara von Glehn, University of Cambridge, UK
- Didier Remy, INRIA, France

Program Committee:

Andreas Abel - Chalmers, Sweden
Danel Ahman - INRIA Paris, France
Robert Atkey - University of Strathclyde, UK (co-chair)
Jeremy Gibbons - University of Oxford, UK
Jennifer Hackett - University of Nottingham, UK
Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina
Shin-ya Katsumata - National Institute of Informatics, Japan
Sam Lindley - University of Edinburgh, UK (co-chair)
Clare Martin - Oxford Brookes University, UK
Shin-Cheng Mu - Academia Sinica, Taiwan
Valeria de Paiva - Nuance Communications, US
Alexandra Silva - University College London, 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 Robert Atkey and Sam Lindley if
you have any questions about the scope of the workshop.

(New this time) 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 which 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.

Full papers (not two page talk abstracts) must report previously
unpublished work and not be submitted concurrently to another
conference with refereed proceedings. Accepted papers and talks must
be presented at the workshop by at least one of the authors.

The proceedings will be published under the auspices of EPTCS with a
Creative Commons license.

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