From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4348 Path: news.gmane.org!not-for-mail From: Venanzio Capretta Newsgroups: gmane.science.mathematics.categories Subject: MSFP second call for papers Date: Sat, 22 Mar 2008 12:09:08 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019886 12864 80.91.229.2 (29 Apr 2009 15:44:46 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:44:46 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sun Mar 23 11:11:26 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 23 Mar 2008 11:11:26 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1JdQe6-0005WW-Nc for categories-list@mta.ca; Sun, 23 Mar 2008 10:53:58 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 112 Original-Lines: 88 Xref: news.gmane.org gmane.science.mathematics.categories:4348 Archived-At: SECOND CALL FOR PAPERS This is a reminder that the deadline for submission to MSFP is approachin= g. 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=3Dmsfp2008. 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=F6teborg, Sweden * Andrzej Filinski, DIKU, University of Copenhagen, Denmark * Jean-Christophe Filli=E2tre, LRI, Universit=E9 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=F6h, Utrecht University, The Netherlands * Marino Miculan, Universit=E0 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