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 AD08DBB83 for ; Wed, 16 Aug 2006 08:14:45 +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 k7G6Eie4014725 for ; Wed, 16 Aug 2006 08:14:45 +0200 Received: from [10.0.0.3] (vpn-11.research.att.com [135.207.240.11]) by bigmail.research.att.com (8.13.3+Sun/8.11.6) with ESMTP id k7G6EcYP019902; Wed, 16 Aug 2006 02:14:39 -0400 (EDT) Mime-Version: 1.0 (Apple Message framework v752.2) To: erlang-questions@erlang.org, haskell@haskell.org, plt-scheme@slow.flux.utah.edu, caml-list@yquem.inria.fr, MLton-user@mlton.org Message-Id: <45F212A5-A643-4F89-9E8D-4F8F01C228DF@research.att.com> Content-Type: multipart/alternative; boundary=Apple-Mail-33--839461664 From: Kathleen Fisher Subject: CUFP Final Program and Early Registration Deadline Reminder Date: Tue, 15 Aug 2006 23:14:41 -0700 X-Mailer: Apple Mail (2.752.2) X-Miltered: at concorde with ID 44E2B7D4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; icfp:01 icfp:01 haskell:01 toolchain:01 sml:01 ocaml:01 yaron:01 minsky:01 lennart:01 augustsson:01 haskell:01 toolchain:01 sml:01 ocaml:01 yaron: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=HTML_60_70,HTML_MESSAGE autolearn=disabled version=3.0.3 --Apple-Mail-33--839461664 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Hi all! Reminder! The early registration deadline for Commercial Users of Functional Programing (CUFP) is this Friday, August 18. Registration is available from the ICFP registration page: http://regmaster2.com/conf/icfp2006.html CUFP will take place on Thursday, September 21st, the day after ICFP. The final program for CUFP is now available: 8:30 Haskell and the Linspire Toolchain. Clifford Beshers, Linspire Inc. 9:00 Automated Testing of Reactive Systems with SML. Steve Sims, Reactive Systems, Inc. 9:30 Scheme in Space. Richard Cleis, Air Force Research Lab. 10:00 B R E A K 10:30 Mission Critical OCaml: Experiences using FP in Finance. Yaron Minsky, Jane Street Capital. abstract 11:00 Why Functional Programming Matters to Credit Suisse. Gabriele Keller and Lennart Augustsson, Credit Suisse First Boston. abstract 11:30 Group Discussion: Mixed Mode Approaches and/or Finding Employees. 12:00 L U N C H 2:00 Analysis of Microprocessor Components with a Functional Language-based Formal Verification Toolbox. Roope Kaivola, Intel Corporation. 2:30 Teaching Old Dogs New Tricks: Selling Bluespec to Hardware Designers. Rishiyir Nihkil, Bluespec, Inc. 3:00 Group Discussion: Adoption of New Technology: Making the Case. 3:30 B R E A K 4:00 Artifically Intelligent Haskell. J. Garret Morris, Aetion Inc. 4:30 Betting on Functional Programming and Winning. Erik Stenman, Kreditor. 5:00 Wrap-Up. --Apple-Mail-33--839461664 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=ISO-8859-1
Hi all!

Reminder! The early registration deadline for = Commercial Users of Functional Programing (CUFP) is this Friday, = August 18.

Registration is available = from the ICFP registration page:

=A0=A0 =A0=A0 =A0=A0 =A0http://regmaster2.com/co= nf/icfp2006.html

CUFP will take place on = Thursday, September 21st, the day after ICFP.

The final program for CUFP = is now available:

8:30 Haskell and the Linspire = Toolchain.=A0
=A0 = =A0 =A0=A0 =A0Clifford Beshers, Linspire Inc.
9:00 Automated Testing of Reactive = Systems with SML.=A0
=A0 =A0 =A0=A0 =A0Steve Sims, Reactive = Systems, Inc.
9:30 Scheme = in Space.=A0
=A0 =A0= =A0=A0 =A0Richard Cleis, Air Force Research = Lab.
10:00 B R E A K
10:30 Mission Critical OCaml: = Experiences using FP in Finance.=A0
=A0 =A0 =A0=A0 =A0Yaron Minsky, Jane Street = Capital. abstract
11:00 Why Functional Programming = Matters to Credit Suisse.=A0
=A0 =A0 =A0=A0 =A0Gabriele Keller and Lennart = Augustsson, Credit Suisse First Boston. abstract
11:30 Group Discussion: Mixed = Mode Approaches and/or Finding Employees.
12:00 L U N C = H
2:00 = Analysis of Microprocessor Components with a = Functional=A0
=A0= =A0 =A0=A0 =A0Language-based Formal Verification = Toolbox.=A0
=A0 =A0 =A0=A0 =A0Roope Kaivola, Intel = Corporation.
2:30 = Teaching Old Dogs New Tricks: Selling Bluespec to Hardware = Designers.=A0
=A0 = =A0 =A0=A0 =A0Rishiyir Nihkil, Bluespec, Inc.
3:00 Group Discussion: Adoption = of New Technology: Making the Case.
3:30 B R E A = K
4:00 = Artifically Intelligent Haskell.=A0
=A0 =A0 =A0=A0 =A0J. Garret Morris, Aetion = Inc.
4:30 = Betting on Functional Programming and = Winning.=A0
=A0 =A0 = =A0=A0 =A0Erik Stenman, Kreditor.
5:00 = Wrap-Up.
= --Apple-Mail-33--839461664--