MSFP: Call for Papers

MSFP: Call for Papers

[Venanzio Capretta]

Third Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
25 September 2010,  Baltimore, USA
A satellite workshop of ICFP 2010

PRESENTATION
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.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006. 
Selected papers were published as a special issue of the Journal of 
Functional Programming (volume 19, issue 3-4).
The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 
2008.

SUBMISSIONS
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

The workshop proceedings will be published by ACM.

TIMELINE:
Submission of abstracts: 9 April
Submission of papers: 16 April
Notification: 28 May
Final versions due: 25 June
Workshop: 25 September

For more information about the workshop, go to:
http://cs.ioc.ee/msfp/msfp2010/

Programme Committee

* 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
* Karl Crary, Carnegie Mellon University, Pittsburgh, USA
* 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 Schrmann, 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

MSFP call for papers

[Venanzio Capretta]

Second Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
6 July 2008,  Reykjavik - Iceland
A satellite workshop of ICALP 2008

PRESENTATION
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.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006.
An associated special issue of the Journal of Functional Programming is
in preparation.

INVITED SPEAKERS
Andrej Bauer, University of Ljubljana
Dan Piponi, Industrial Light and Magic

SUBMISSIONS
Electronic Notes in Theoretical Computer Science have provisionally
agreed to publish the proceedings of MSFP 2008. ENTCS require
submissions in LaTeX, formatted according to their guidelines
(http://www.entcs.org/prelim.html).

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=msfp2008.

TIMELINE:
Submission of abstracts: 4 April
Submission of papers: 11 April
Notification: 16 May
Final versions due: 13 June
Workshop: 6 July

For more information about the workshop, go to:
http://msfp.org.uk/

Programme Committee

* Yves Bertot, INRIA, Sophia-Antipolis, France
* Venanzio Capretta (co-chair), Radboud University, Nijmegen, The
Netherlands
* Jacques Carette, McMaster University, Hamilton, Ontario, Canada
* Thierry Coquand, Chalmers University, Göteborg, Sweden
* Andrzej Filinski, DIKU, University of Copenhagen, Denmark
* Jean-Christophe Filliâtre, LRI, Université Paris Sud, France
* Jeremy Gibbons, Oxford University, England
* Andy Gill, Galois Inc., Portland, Oregon, USA
* Peter Hancock, University of Nottingham, England
* Oleg Kiselyov, FNMOC, Monterey, California, USA
* Paul Blain Levy, University of Birmingham, England
* Andres Löh, Utrecht University, The Netherlands
* Marino Miculan, Università di Udine, Italy
* Conor McBride (co-chair), Alta Systems, Northern Ireland
* James McKinna, Radboud University, Nijmegen, The Netherlands
* Alex Simpson, University of Edinburgh, Scotland
* Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia