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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 8139DBBAF for ; Fri, 27 Aug 2010 10:21:59 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqMIAM0Sd0zCdMeWdWdsb2JhbACDF5AcjTYBDAoLBxEiiCShPJIJgSKDInME X-IronPort-AV: E=Sophos;i="4.56,277,1280700000"; d="scan'208";a="57874087" Received: from thb-mta-19-tx.emailfiltering.com (HELO thb-mta-19.emailfiltering.com) ([194.116.199.150]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Aug 2010 10:21:59 +0200 Received: from smtp1.nottingham.ac.uk ([128.243.44.4]) by thb-mta-19.emailfiltering.com with emfmta (version 4.6.0.72) vanilla id 1580230086 for caml-list@yquem.inria.fr;20c25ac348b305b1; Fri, 27 Aug 2010 09:21:58 +0100 Received: from marian.cs.nott.ac.uk ([128.243.21.16] helo=Cs.Nott.AC.UK) by smtp1.nottingham.ac.uk with smtp (Exim 4.60) (envelope-from ) id 1OouCD-000157-3s for caml-list@yquem.inria.fr; Fri, 27 Aug 2010 09:21:57 +0100 Received: from hypatia.cs.nott.ac.uk by marian.Cs.Nott.AC.UK id aa11400; 27 Aug 2010 9:21 BST Subject: MSFP - early registration: 30 August From: Venanzio Capretta To: caml-list@yquem.inria.fr Content-Type: text/plain; charset="UTF-8" Date: Fri, 27 Aug 2010 09:21:32 +0100 Message-ID: <1282897292.1642.6.camel@hypatia> Mime-Version: 1.0 X-Mailer: Evolution 2.28.3 Content-Transfer-Encoding: quoted-printable 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 icfp:01 derivation:01 abstraction:01 monadic:01 haskell:01 felty:01 higher-order:01 syntax:01 coq:01 thorsten:01 coq:01 monads:01 Early registration for MSFP closes on 30 August. To register, please use the ICFP registration page: https://regmaster3.com/2010conf/ICFP10/register.php Third Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 25 September 2010, Baltimore, Maryland, 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. PROGRAM 9:00 - 10:00 Invited talk: Amy Felty, "Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle" 10:00 - 10:30 break 10:30 - 11:00 Chantal Keller and Thorsten Altenkirch, "Normalization by hereditary substitutions" 11:00 - 11:30 Paul Tarau,=20 "Hereditarily finite representations of natural numbers and self delimiting codes" 11:30 - 12:30 Tutorial: Adam Chlipala, "Foundational Program Verification in Coq with Automated Proofs" 12:30 - 2:00 lunch break 2:00 - 3:00 Invited talk: Mart=C3=ADn Escard=C3=B3, "What Tic-Tac-Toe, the Tychonoff Theorem, and the Double-Negation Shift have in common" 3:00 - 3:30 break 3:30 - 4:00 Kazuyuki Asada, "Arrows are Strong Monads" 4:00 - 4:30 Adam Gundry, Conor McBride and James McKinna, "Type inference in context" 4:30 - 5:00 break 5:00 - 6:00 Tutorial: Peter Morris, "Epigram Prime: A Demonstration" Workshop homepage: http://cs.ioc.ee/msfp/msfp2010/ Registration link: https://regmaster3.com/2010conf/ICFP10/register.php Local arrangements: http://www.icfpconference.org/icfp2010/local.html