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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id EC6A9BB84 for ; Thu, 3 Aug 2006 20:46:39 +0200 (CEST) Received: from mail-red.research.att.com (mail-red.research.att.com [192.20.225.110]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k73IkcDe011898 for ; Thu, 3 Aug 2006 20:46:39 +0200 Received: from [135.207.33.86] ([135.207.33.86]) by bigmail.research.att.com (8.13.3+Sun/8.11.6) with ESMTP id k73IkaVs025642; Thu, 3 Aug 2006 14:46:37 -0400 (EDT) Mime-Version: 1.0 (Apple Message framework v752.2) Content-Transfer-Encoding: 7bit Message-Id: <015E7BC2-DBDE-41A0-8244-F3A5450E3D5B@research.att.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: erlang-questions@erlang.org, haskell@haskell.org, plt-scheme@slow.flux.utah.edu, caml-list@yquem.inria.fr, MLton-user@mlton.org From: Kathleen Fisher Subject: CUFP: Call for Participation Date: Thu, 3 Aug 2006 11:46:30 -0700 X-Mailer: Apple Mail (2.752.2) X-Miltered: at concorde with ID 44D2448E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; icfp:01 co-located:01 icfp:01 intel's:01 haskell:01 erlang:01 haskell:01 sml:01 yaron:01 minsky:01 ocaml:01 matthias:01 felleisen:01 matthias:01 ccs:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 [ Apologies for multiple postings; please forward to potentially interested parties ] CALL FOR PARTICIPATION Registration is now open! http://regmaster2.com/conf/icfp2006.html CUFP 2006 THE THIRD COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING WORKSHOP "Functional programming as a means, not an end" Portland, Oregon, USA September 21st 2006 Co-located with ICFP Functional languages have been under academic development for over 25 years, and are still proving to be very fertile ground for programming language research. Consequently, most of the development focus of these languages is driven by academic and theoretical questions. More recently, however, functional languages have been very successfully used in commercial, industrial, and government settings, as well as in the open-source community. In these settings, the advantages of functional languages have provided dramatic leverage. The goal of CUFP is to act as a voice for commercial users of functional programming languages and technology. It aims to help functional programming become increasingly viable as a technology for use in the commercial, industrial, governmental, and open-source space by providing a forum for FP professionals to share their experiences and ideas, whether business, management or engineering. It also aims to enable the formation and strengthening of relationships and alliances that further the commercial use of functional languages. Providing user feedback to language designers and implementors is not a primary goal of the workshop, though it will be welcome if it occurs. Program ------- The meeting will last a full day, with a mix of invited and submitted presentations, plus discussion sessions. Confirmed speakers include: *Richard Cleis* on embedding PLT Scheme in device controllers for the Air Force. *Roope Kaivola* on his work for Intel constructing functional models and the verifying hardware against such models using reFLect, Intel's reflective functional language. *J. Garrett Morris* on Aetion Technologies and how they use Haskell to rapidly prototype new systems and to develop generic software foundations that enable them to extend to new markets quickly. *Erik Stenman* on Kreditor, a company that successfully sells invoicing services to web shops; all of their software is written in Erlang. *Clifford Besher* on his work at Linspire on using functional languages for all of their tools and his efforts to promote the use of Haskell/FP within the open source community. *Steve Sims* on Reactive Systems, a company that licenses an automated testing tool for embedded software, mostly written in SML. *Yaron Minsky* on Jane Street Capital, a proprietary trading company, whose trading systems and infrastructure are all implemented in OCaml. There will be no published proceedings, as the meeting is intended to be more a discussion forum than a technical interchange. See http://www.galois.com/cufp/ for more information, including the most recent schedule information. Program Committee ----------------- Andy Adams-Moran. adams-moran at galois.com (Co-Chair) Mike Ashley. mashley at beckman.com Matthias Felleisen. matthias at ccs.neu.edu Kathleen Fisher. kfisher at research.att.com (Chair) Jim Grundy. jim_grundy at ichips.intel.com John Hughes. rjmh at cs.chalmers.se Stephen Weeks. sweeks at sweeks.com Ulf Wiger. ulf.wiger at ericsson.com