From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 8FA4CBC57 for ; Sat, 3 Apr 2010 10:03:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjcBAJqStkvCdMeWmGdsb2JhbACbYAEBAQEBCAkMBxEiszaFBwQ X-IronPort-AV: E=Sophos;i="4.51,356,1267398000"; d="scan'208";a="60171488" Received: from thb-mta-19-tx.emailfiltering.com (HELO thb-mta-19.emailfiltering.com) ([194.116.199.150]) by mail4-smtp-sop.national.inria.fr with ESMTP; 03 Apr 2010 10:03:06 +0200 Received: from smtp2.nottingham.ac.uk ([128.243.44.5]) by thb-mta-19.emailfiltering.com with emfmta (version 4.3.0.62.1.rd-3.2.3-libc2.3.2) vanilla id 1351921778 for caml-list@yquem.inria.fr; Sat, 03 Apr 2010 09:03:05 +0100 Received: from marian.cs.nott.ac.uk ([128.243.21.16] helo=Cs.Nott.AC.UK) by smtp2.nottingham.ac.uk with smtp (Exim 4.60) (envelope-from ) id 1NxyJo-0001WN-KY for caml-list@yquem.inria.fr; Sat, 03 Apr 2010 09:03:00 +0100 Received: from cpc1-stap3-0-0-cust774.nott.cable.ntl.com by marian.Cs.Nott.AC.UK id aa21398; 3 Apr 2010 9:02 BST Message-ID: <4BB6F605.3060805@cs.nott.ac.uk> Date: Sat, 03 Apr 2010 09:02:13 +0100 From: Venanzio Capretta User-Agent: Thunderbird 2.0.0.24 (X11/20100317) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: MSFP: last call for papers Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-UoN-MailScanner-Information: Please contact staff-it-helpline@nottingham.ac.uk for more information X-UoN-MailScanner: Not scanned: please contact your Internet E-Mail Service Provider for details X-UoN-MailScanner-From: vxc@cs.nott.ac.uk X-Spam: no; 0.00; capretta:01 nott:01 icfp:01 derivation:01 abstraction:01 monadic:01 haskell:01 felty:01 andrej:01 capretta:01 coquand:01 oleg:01 morrisett:01 phenomena:98 strive:98 FINAL CALL FOR PAPERS 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. INVITED SPEAKERS Martin Escardo, University of Birmingham, UK Amy Felty, University of Ottawa, Canada 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 * 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