<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><DIV>Hi all!</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV><SPAN class="Apple-style-span">Reminder! The early registration deadline for Commercial Users of Functional Programing (CUFP) is this <I>Friday</I>, <I>August 18</I>.</SPAN></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>Registration is available from the ICFP registration page:</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV> <A href="http://regmaster2.com/conf/icfp2006.html">http://regmaster2.com/conf/icfp2006.html</A></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>CUFP will take place on Thursday, September 21st, the day after ICFP.</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>The final program for CUFP is now available:</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV><SPAN class="Apple-style-span">8:30<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Haskell and the Linspire Toolchain</B>. </SPAN></DIV><DIV><SPAN class="Apple-style-span"> Clifford Beshers, Linspire Inc.</SPAN></DIV><DIV><SPAN class="Apple-style-span">9:00<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Automated Testing of Reactive Systems with SML</B>. </SPAN></DIV><DIV><SPAN class="Apple-style-span"> Steve Sims, Reactive Systems, Inc.</SPAN></DIV><DIV><SPAN class="Apple-style-span">9:30<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Scheme in Space</B>. </SPAN></DIV><DIV><SPAN class="Apple-style-span"> Richard Cleis, Air Force Research Lab.</SPAN></DIV><DIV>10:00<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN>B R E A K</DIV><DIV><SPAN class="Apple-style-span">10:30<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Mission Critical OCaml: Experiences using FP in Finance</B>. </SPAN></DIV><DIV><SPAN class="Apple-style-span"> Yaron Minsky, Jane Street Capital. abstract</SPAN></DIV><DIV><SPAN class="Apple-style-span">11:00<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Why Functional Programming Matters to Credit Suiss</B><B>e</B>. </SPAN></DIV><DIV><SPAN class="Apple-style-span"> Gabriele Keller and Lennart Augustsson, Credit Suisse First Boston. abstract</SPAN></DIV><DIV><SPAN class="Apple-style-span">11:30<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Group Discussion</B>: Mixed Mode Approaches and/or Finding Employees.</SPAN></DIV><DIV>12:00<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN>L U N C H</DIV><DIV><SPAN class="Apple-style-span">2:00<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Analysis of Microprocessor Components with a Functional </B></SPAN></DIV><DIV><SPAN class="Apple-style-span"><B> Language-based Formal Verification Toolbox</B>. </SPAN></DIV><DIV> Roope Kaivola, Intel Corporation.</DIV><DIV><SPAN class="Apple-style-span">2:30<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Teaching Old Dogs New Tricks: Selling Bluespec to Hardware Designers</B>. </SPAN></DIV><DIV><SPAN class="Apple-style-span"> Rishiyir Nihkil, Bluespec, Inc.</SPAN></DIV><DIV><SPAN class="Apple-style-span">3:00<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Group Discussion</B>: Adoption of New Technology: Making the Case.</SPAN></DIV><DIV>3:30<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN>B R E A K</DIV><DIV><SPAN class="Apple-style-span">4:00<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Artifically Intelligent Haskell</B>. </SPAN></DIV><DIV><SPAN class="Apple-style-span"> J. Garret Morris, Aetion Inc.</SPAN></DIV><DIV><SPAN class="Apple-style-span">4:30<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN><B>Betting on Functional Programming and Winning</B>. </SPAN></DIV><DIV><SPAN class="Apple-style-span"> Erik Stenman, Kreditor.</SPAN></DIV><DIV>5:00<SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN>Wrap-Up.</DIV></BODY></HTML>