From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 0EE1C7ED5C for ; Thu, 9 Aug 2012 12:53:38 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.212.180; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.212.180 as permitted sender) identity=mailfrom; client-ip=209.85.212.180; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f180.google.com) identity=helo; client-ip=209.85.212.180; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-wi0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuMCAMiVI1DRVdS0jWdsb2JhbABFgkqmJIguiDoIIgEBAQEJCQsJEgYjgjkCCSMBGwwDDwMSEC0BLwERAQUBIgEaDA6HWwEDDAudKgkDjCOCcoVjChknDVeIcQEFDIsHG4ZJA5VJgRSJeYMlPoQa X-IronPort-AV: E=Sophos;i="4.77,739,1336341600"; d="scan'208";a="169474483" Received: from mail-wi0-f180.google.com ([209.85.212.180]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Aug 2012 12:53:37 +0200 Received: by wibhm6 with SMTP id hm6so165575wib.9 for ; Thu, 09 Aug 2012 03:53:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=KwqKtYAGJrGX421BeJXvbSleVKqk/bpcgXxh533iP3c=; b=ZQpbx1ywEN8PNyG+02g75SGmLps+DtiMj+cNeJzK+w+jPFAKoD2wHn9WOqoA8Zrq9t NLvUAnBP/MbD5/0og0EI6pBfqtcAmkriwJ+p8HsbGu3skUaElIJKurd9hl1OuKcpztlF EKfymXiYn9QXZGieHkADtr1NEF55yKuV/MmwptViZs7vjzv4PrXgZe1hC8OqGAAD91Kl JJ3CdQUtRt9aQW8/KEpv4CuLmw5L8OpJVGKsGMdHhGIUvDpOO3O+XCnsasKYnAnCiD9d IgtSKu1Ya+QDuJNqW4cNEVx2X5ralYGcguljwbwP02X3uoooaUd474knYQAnUcyQCYVQ NEvQ== Received: by 10.216.237.161 with SMTP id y33mr10743170weq.62.1344509617035; Thu, 09 Aug 2012 03:53:37 -0700 (PDT) MIME-Version: 1.0 Received: by 10.217.1.1 with HTTP; Thu, 9 Aug 2012 03:53:16 -0700 (PDT) From: Ashish Agarwal Date: Thu, 9 Aug 2012 06:53:16 -0400 Message-ID: To: ocaml_beginners@yahoogroups.com, Caml List Content-Type: multipart/alternative; boundary=00151757752c1eda1404c6d30a29 Subject: [Caml-list] CUFP 2012 - Call for Participation --00151757752c1eda1404c6d30a29 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Early registration deadline is TODAY. Please note this year CUFP features Introductory Tutorials, targeted at those new to functional programming. Be sure to refer your colleagues who have been looking for a way to get started with FP. The usual half-day tutorials are also being held, and this list will especially be interested in Real-World OCaml. ----- COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING 2012 CUFP 2012 http://cufp.org/conference CALL FOR PARTICIPATION Copenhagen, Denmark Sep 13-15 Co-located with ICFP 2012 Sponsored by SIGPLAN Functional programming has been at the forefront of a new generation of programming technologies: Companies employing functional programming use it to enable more effective, robust, and flexible software development. The annual CUFP workshop is designed to serve the growing community of commercial users of functional programming: Practitioners meet and collaborate; language designers and users can share ideas about the future of their languages; experts share their expertise on practical functional programming. CUFP 2012 features introductory tutorials by top-notch language experts; advanced tutorials on special topics, and the final day of talks about industrial applications of functional programming. More information about CUFP 2012 is available on the CUFP web site at http://cufp.org/ Registration is via the ICFP 2012 web site at: http://icfpconference.org/icfp2012/registration.html Note that early-registration discounts are available until August 9. Introductory Tutorials =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Thursday, September 13: Scala Primer (Heiko Seeberger, Typesafe) Friday, September 14: =46rom functional concepts to real-world F# (Tomas Petricek, University of Cambridge) September 13 / 14: Introductory Haskell / Concurrent Haskell (Jeremy Gibbons, University of Oxford; Simon Marlow, Microsoft Research) Advanced Tutorials =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Thursday, September 13: Morning: Real-World OCaml (Anil Madhavapeddy, University of Cambridge; Yaron Minsky, Jane Street) Afternoon: Erlang web frameworks (Steve Vinoski, Basho Technologies) Friday, September 14: Morning: Haskell for the lazy web developer: an Introduction to Happstack (Jeremy Shaw, SeeReason, LLC) Afternoon: Hands on Real-World Clojure (Lau Jensen, Best In Class; Karl Krukow , University of Aarhus) Talks =3D=3D=3D=3D=3D Keynote: Adopting Functional Programming (Kresten Krab Thorup, Trifork) Jane Street Status Report (Yaron Minsky, Jane Street) Transmitting customised ads to set-top boxes with Erlang (Laura M. Castro, University of A Coru=F1a) Functional Big-Data Genomics (Ashish Agarwal, NYU) Using F# to Prove Stabilization of Biological Networks (Semin Ishtiaq, Microsoft) Developing an F# Bioinformatics Application with HTML5 Visualization (Adam Granicz, IntelliFactory) Functional Programming @ Ghent IT Valley (Romain Slootmaekers, Nicolas Trangez, Ghent IT Valley) The Awesome Haskell FPGA Compiler (Peter Braam, Parallel Scientific) Functional programs connected to the power grid (Sebastian Egner, Entelios) Clojure iPad analytics dashboard in energy sector (Kevin Lynagh, Keming Labs) Developing Medical Software in Scala and Haskell (Stefan Wehr, factis research) =46rom Streams to Functions (and Back Again) (Frank McCabe, Starview) Development under Security Guidelines (Manuel Maarek, SafeRiver) Haskell for XenClient (Matthias G=F6rgens, Citrix) --00151757752c1eda1404c6d30a29 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Early registration deadline is = TODAY. Please note this year CUFP features Introductory Tutorials, targeted= at those new to functional programming. Be sure to refer your colleagues w= ho have been looking for a way to get started with FP. The usual half-day t= utorials are also being held, and this list will especially be interested i= n Real-World OCaml.

-----
COMME= RCIAL USERS OF FUNCTIONAL PROGRAMMING 2012
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0 =A0 =A0 =A0 =A0 CUFP 2012
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0 =A0http://cufp.org/conference
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0 =A0 CALL FOR PARTICIPATION
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0 =A0 =A0Copenhagen, Denmark
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0 =A0 =A0 =A0 =A0 Sep 13-15
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0 Co-located with ICFP 2012
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0 =A0 =A0Sponsored by SIGPLAN

Functional programming has been at the forefront of a new generation
of programming technologies: Compani= es employing functional
programming use it to enable more ef= fective, robust, and flexible
software development.

The annual CUFP workshop is designed to serve the growing
community of commercial users of fun= ctional programming: Practitioners
meet and collaborate; language desig= ners and users can share ideas
about the future of their languages;= experts share their expertise on
practical functional programming.

CUFP 2012 features introductory tutorials by top-notch language
experts; advanced tutorials on speci= al topics, and the final day of
talks about industrial applications = of functional programming.

More information about CUFP 2012 is available on the CUFP web site at

http://cufp.org/

Registration is via the ICFP 2012 web site at:

http://icfpconference.org/icfp2012/registration.html

Note that early-registration discounts are available until August 9.

Introductory Tutorials
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Thursday, September 13:
Scala Primer
(Heiko Seeberger, Typesafe)
Friday, September 14:
From functional concepts to real-wor= ld F#
(Tomas Petricek, University of Cambr= idge)

September 13 / 14:
Introductory Haskell / Concurrent Ha= skell
(Jeremy Gibbons, University of Oxfor= d; Simon Marlow, Microsoft Research)

Advanced Tutorials
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D

Thursday, September 13:
Morning:
Real-World OCaml
(Anil Madhavapeddy, University of Ca= mbridge; Yaron Minsky, Jane Street)

Afternoon:
Erlang web frameworks
(Steve Vinoski, Basho Technologies)<= /span>

Friday, September 14:
Morning:
Haskell for the lazy web developer: = an Introduction to Happstack
(Jeremy Shaw, SeeReason, LLC)=

Afternoon:
Hands on Real-World Clojure (Lau Jensen, Best In Class; Karl Kru= kow , University of Aarhus)

Talks
=3D=3D=3D=3D=3D

Keynote:
Adopting Functional Programming (Kre= sten Krab Thorup, Trifork)

Jane Street Status Report (Yaron Minsky, Jane Street)

Transmitting customised ads to set-top boxes with Erlang (Laura M. Castro,= University of A Coru=F1a)

Functional Big-Data Genomics (Ashish Agarwal, NYU)

Using F# to Prove Stabilization of Biological Networks (Semin Ishtiaq, Mic= rosoft)

Developing an F# Bioinformatics Application with HTML5 Visualization (Adam= Granicz, IntelliFactory)

Functional Programming @ Ghent IT Valley (Romain Slootmaekers, Nicolas Tra= ngez, Ghent IT Valley)

The Awesome Haskell FPGA Compiler (Peter Braam, Parallel Scientific)

Functional programs connected to the power grid (Sebastian Egner, Entelios= )

Clojure iPad analytics dashboard in energy sector (Kevin Lynagh, Keming La= bs)

Developing Medical Software in Scala and Haskell (Stefan Wehr, factis rese= arch)

>From Streams to Functions (and Back Again) (Frank McCabe, Starview)=

Development under Security Guidelines (Manuel Maarek, SafeRiver)
Haskell for XenClient (Matthias G=F6rgens, Citrix)

--00151757752c1eda1404c6d30a29--