Mathematically Structured Functional Programming 2010

functionality from structure

Introduction

The 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. Monadic programming in Haskell is the paradigmatic example, but there are many more mathematical insights manifest in programs and in programming language design: Freyd-categories in reactive programming, symbolic differentiation yielding context structures, and comonadic presentations of dataflow, to name but three. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control.

Invited talks

• Martín Escardó, University of Birmingham, UK
• Amy Felty, University of Ottawa, Ontario, Canada

Invited tutorials

• Adam Chlipala, Harvard University, Cambridge, MA, USA
• Peter Morris, University of Nottingham, UK

Accepted papers

Type inference in context

Adam Gundry, Conor McBride and James McKinna

Normalization by hereditary substitutions

Chantal Keller and Thorsten Altenkirch

Arrows are Strong Monads

Kazuyuki Asada

Hereditarily finite representations of natural numbers and self delimiting codes

Paul Tarau

Where and when?

MSFP 2010 will be held on 25 September. This time around, we're delighted to be affiliated with ICFP 2010, running 27-29 September in Baltimore, Maryland.

Programme

Topics

Submissions were welcome 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
• structured structure

Authors concerned about the suitability of a topic are very welcome to contact Venanzio Capretta, vxc(at)cs(dot)nott(dot)ac(dot)uk.

Submission and Publication

Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Programme Committee members, barring the co-chairs, may (and indeed are encouraged to) contribute. Accepted papers must be presented at the workshop by one of the authors.

There is no specific page limit, but authors should strive for brevity.

We are using the EasyChair software to manage submissions. To submit a paper, please log in at: http://www.easychair.org/conferences/?conf=msfp2010

Proceedings will be published by ACM Press. Submissions must adhere to the standard SIGPLAN Conference format: 9-point; 2-column. Further information and a LaTeX template can be found here: http://www.sigplan.org/authorInformation.htm

Timeline

Whilst recognizing that modern life is full of stress, we should very much prefer if contributors could respect the following timeline.

The Programme Committee will attempt to oblige in return.

Programme Comittee

• Andreas Abel, LMU Munich, Germany
• Ana Bove, Chalmers University of Technology, Gothenburg, Sweden
• Andrej Bauer, University of Ljubljana, Slovenia
• Venanzio Capretta (co-chair), University of Nottingham, UK
• James Chapman (co-chair), Institute of Cybernetics, Tallinn, Estonia
• Adam Chlipala, Harvard University, Cambridge, MA, USA
• Catarina Coquand, Chalmers University of Technology, Gothenburg, Sweden
• Manuel Alcino Cunha, Universidade do Minho, Braga, Portugal
• Andy Gill, University of Kansas, USA
• Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
• Oleg Kiselyov, FNMOC, Monterey, California, USA
• Lionel Elie Mamane, Radboud University Nijmegen, The Netherlands
• Conor McBride, University of Strathclyde, Glasgow, UK
• Greg Morrisett, Harvard University, Cambridge, MA, USA
• Russell O'Connor, McMaster University, Hamilton, Ontario, Canada
• Benoit Razet, TIFR (Tata Institute of Fundamental Research), India
• Carsten Schürmann, IT University of Copenhagen, Denmark
• Wouter Swierstra Chalmers University of Technology, Gothenburg, Sweden
• Tarmo Uustalu Institute of Cybernetics, Tallinn, Estonia
• Varmo Vene University of Tartu, Estonia

Previous MSFP Workshops

MSFP 2006

The inaugural MSFP Workshop was held in July 2006, in Kuressaare, Estonia, a fine curtain-raiser for MPC and AMAST. It was organized by Conor McBride and Tarmo Uustalu, and featured invited talks from John Power and Andrzej Filinski. The proceedings were published in the British Computer Society's "Electronic Workshops in Computing" Series, available online.

Revised selected papers (with a full re-refereeing process) have appeared as a special issue of the Journal of Functional Programming Volume 19 Issue 3-4.

MSFP 2008

The second MSFP Workshop was held in July 2008, at Reykjavik University, Iceland as part of ICALP 2008. It was organized by Conor McBride and Venanzio Capretta, and featured invited talks from Andrej Bauer and Dan Piponi.