From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6UBf84T019011 for ; Sat, 30 Jul 2011 13:41:08 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AowDACftM07RVdIyjWdsb2JhbAAnGqdaCBQBAQEBCQkLCRIGIYFSBwIJDhUBGwwDDwMSEF0BDAEEAQUBAwFFDodOI6BGglQKjC8KgkqEMjuIbQIDBoY8BJJ7hXKGWjwzg0U X-IronPort-AV: E=Sophos;i="4.67,291,1309730400"; d="scan'208";a="104301067" Received: from mail-pz0-f50.google.com ([209.85.210.50]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Jul 2011 13:41:02 +0200 Received: by pzk2 with SMTP id 2so8467662pzk.37 for ; Sat, 30 Jul 2011 04:41:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:reply-to:date:message-id:subject:from:to:content-type; bh=HVglBxK2PlgHJtrND2IAaydgW8dLBp1i2eXx8iILASI=; b=eD7PvgDKbqk/fCKzm1Ikv7rTmRNQXwHW71kuQdL4GERd4QlZPRBYbUHdZFO4UFjlxP jo8P/l9b26iThdlto0G3axCKAG9zt5ituFcjI4bATMXcXpVzv6qsS9xfpBtAjmHL2W2t j4fZWXsu7r8rd3LqsIDrxAshhvIDeNJZPOkOU= MIME-Version: 1.0 Received: by 10.68.58.197 with SMTP id t5mr3593436pbq.480.1312026060638; Sat, 30 Jul 2011 04:41:00 -0700 (PDT) Received: by 10.68.60.105 with HTTP; Sat, 30 Jul 2011 04:41:00 -0700 (PDT) Reply-To: yminsky@gmail.com Date: Sat, 30 Jul 2011 07:41:00 -0400 Message-ID: From: Yaron Minsky To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=bcaec544ea0c47cabc04a947dfe8 Subject: [Caml-list] Time to register for CUFP --bcaec544ea0c47cabc04a947dfe8 Content-Type: text/plain; charset=ISO-8859-1 The talks and tutorials for CUFP are now up, and it's a really interesting protocols, covering a broad range of FP topics, and including quite a bit that touches on OCaml specifically. Note: The deadline for reduced-fee registrations is August 15th. I hope to see a lot of you there! y _____________________________________________________________ Commercial Users of Functional Programming Workshop (CUFP) 2011 Call for Participation Sponsored by SIGPLAN Co-located with ICFP 2011 _____________________________________________________________ September 22-24, 2011 Tokyo, Japan http://cufp.org/conference/schedule/2011Reservation available through ICFP's website https://regmaster3.com/2011conf/ICFP11/register.php_____________________________________________________________ Functional programming languages have been a hot topic of academic research for over 35 years, and they have seen an ever larger practical impact in settings ranging from tech startups to financial firms to biomedical research labs. At the same time, a vigorous community of working programmers employing functional languages has come into existence. CUFP is designed to serve this community. The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. CUFP 2011 will feature two days of tutorials given by language experts, on the 22nd and 23rd, and a day of talks on the 24th. Attendees may register for any subset of the days. Day 1, Tutorials (September 22nd) ================================= Morning: - Building reliable Client-Server Applications in Erlang (Francesco Cesarini) - Jane Street's OCaml Core library (Yaron Minsky) Afternoon: - Building a functional OS (Anil Madhavapeddy, David Scott, Richard Mortier) - Collaborative Scientific Software (Ashish Agarwal) Day 2, Tutorials (September 23rd) ================================= Morning: - Parallel Programming in Haskell (Simon Peyton Jones, Simon Marlow, Manuel Chakravarty) - Systems Programming in Scala (Steven Jensen, Marius Eriksen) Afternoon: - The Snap framework for web applications in Haskell (Gregory Collins) - F# for the working functional programmer (Michael Sperber) Day 3, Talks (September 24th) ================================= Keynote Lennart Augustsson (Standard Chartered) Theorem-based derivation of an AES Implementation John Launchbury (Galois) Discrete Event Simulation using Erlang Olivier Boudeville (EDF) Model based testing of AUTOSAR automotive components Thomas Arts (Quviq) HTML5 web application development in OCaml Keigo Imai (IT Planning) Large-scale Internet Services in Scala at Twitter Steve Jenson and Wilhelm Bierbaum (Twitter) Applying Functional Programming to Build Platform-Independent Mobile Applications Adam Granicz (Intellifactory) Fourteen Days of Haskell: A Real Time Programming Project in Real Time Gregory Wright (Alcatel-Lucent) Disco: using Erlang to implement Mapreduce, Nokia Prashanth Mundkur and Ville Tuulos and Jared Flatow (Nokia) Functional mzScheme DSLs in Game Development Dan Liebgold (Naughty Dog) OCaml and Acunu Experience Report Tom Wilkie and Andrew Byde (Acunu) There will be no published proceedings, as the meeting is intended to be more a discussion forum than a technical interchange, but videos of all the talks will be placed online after the event. For more information, including presentation abstracts and the most recent schedule information, visit: http://cufp.orgSee you there! --bcaec544ea0c47cabc04a947dfe8 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable The talks and tutorials for CUFP are now up, and it's a really interest= ing protocols, covering a broad range of FP topics, and including quite a b= it that touches on OCaml specifically. =A0

Note: The dea= dline for reduced-fee registrations is August 15th.

I hope to see a lot of you ther= e!

y
___=
__________________________________________________________=20

=

   Commercial Users of Functional Programming Workshop=20
                       (CUFP) 2011

                 Call for Participation=20

                  Sponsored by SIGPLAN=20

                Co-located with ICFP 2011

_____________________________________________________________=20

                 September 22-24, 2011
                     Tokyo, Japan

        http://cufp.org/conference/schedule=
/2011

       Reservation available through ICFP's website
     https://regmaster3.com/2011=
conf/ICFP11/register.php

_____________________________________________________________=20


Functional programming languages have been a hot topic of academic
research for over 35 years, and they have seen an ever larger
practical impact in settings ranging from tech startups to financial
firms to biomedical research labs. At the same time, a vigorous
community of working programmers employing functional languages=20
has come into existence.

CUFP is designed to serve this community. The annual CUFP workshop is
a place where people can see how others are using functional
programming to solve real world problems; where practitioners meet and
collaborate; where language designers and users can share ideas about
the future of their favorite language; and where one can learn
practical techniques and approaches for putting functional programming
to work.

CUFP 2011 will feature two days of tutorials given by language
experts, on the 22nd and 23rd, and a day of talks on the 24th.
Attendees may register for any subset of the days.

Day 1, Tutorials (September 22nd)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D

   Morning:
     - Building reliable Client-Server Applications in Erlang
       (Francesco Cesarini)
     - Jane Street's OCaml Core library (Yaron Minsky)
   Afternoon:
     - Building a functional OS (Anil Madhavapeddy, David Scott,
       Richard Mortier)
     - Collaborative Scientific Software (Ashish Agarwal)

Day 2, Tutorials (September 23rd)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D

   Morning:
     - Parallel Programming in Haskell (Simon Peyton Jones, Simon
       Marlow, Manuel Chakravarty)
     - Systems Programming in Scala (Steven Jensen, Marius Eriksen)
   Afternoon:
     - The Snap framework for web applications in Haskell (Gregory
       Collins)
     - F# for the working functional programmer (Michael Sperber)

Day 3, Talks     (September 24th)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D

   Keynote
     Lennart Augustsson (Standard Chartered)

   Theorem-based derivation of an AES Implementation
     John Launchbury (Galois)
=20=20=20
   Discrete Event Simulation using Erlang
     Olivier Boudeville (EDF)

   Model based testing of AUTOSAR automotive components
     Thomas Arts (Quviq)

   HTML5 web application development in OCaml
     Keigo Imai (IT Planning)

   Large-scale Internet Services in Scala at Twitter
     Steve Jenson and Wilhelm Bierbaum (Twitter)

   Applying Functional Programming to Build Platform-Independent
   Mobile Applications
     Adam Granicz (Intellifactory)

   Fourteen Days of Haskell: A Real Time Programming Project in Real
   Time
     Gregory Wright (Alcatel-Lucent)

   Disco: using Erlang to implement Mapreduce, Nokia
     Prashanth Mundkur and Ville Tuulos and Jared Flatow (Nokia)

   Functional mzScheme DSLs in Game Development
     Dan Liebgold (Naughty Dog)

   OCaml and Acunu Experience Report
     Tom Wilkie and Andrew Byde (Acunu)

There will be no published proceedings, as the meeting is intended to=20
be more a discussion forum than a technical interchange, but videos
of all the talks will be placed online after the event.=20

For more information, including presentation abstracts  and the most
recent schedule information, visit:

   http://cufp.org

See you there!=20

--bcaec544ea0c47cabc04a947dfe8--