From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id ED7087ED26 for ; Mon, 18 Jun 2012 16:54:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AukBAH9A30/RVdy2mGdsb2JhbAA/BqU0AYc3iGcIIgEBAQEBCAkNBxQngjECCT8MBB4VXQERAQUBIgEmDodaAQ6aLAkDjCGHNAoZgQuId4s3GgyGFQOVJIESiXCDHj6EG4FD X-IronPort-AV: E=Sophos;i="4.75,792,1330902000"; d="scan'208";a="148026852" Received: from mail-vc0-f182.google.com ([209.85.220.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Jun 2012 16:54:53 +0200 Received: by vcbfy7 with SMTP id fy7so4622905vcb.27 for ; Mon, 18 Jun 2012 07:54:52 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:content-type:x-gm-message-state; bh=f9bG+cT/y5ynAQaF8+l2kV3A1m5MoyulF4HObHUkoAM=; b=aJNjEfqSLB9bNk4fkdCGiFrdzKVPzeFtpn9TK5q7h/WEVneRuKRidClCgk99Cq2d1p KlI/RONpnTYxJ6U3FBtQkuwSJxFFlYAPzQI4aIjk73YX/gZQRZ0ENAQuD4K/9wYInQID gFnLZ0tcDFPT8ywYfFs0OUf64sqA0A9x0OwY5rbM/f9TFsXL6Vtx6f8tgq59Ef4cODEW kbhAPK/Trr1iMHffYf2R8WPF3ioSuQy5sEd+iOg+dG8LuRyIaNxhJm4j+F86LaZSxzXG TCh4EflulXlMHyR0cUuUBV8KEM8d988X29T1qZ3FViDb+DI0tnk8hGdXuuXc9DvOMrOe jbxw== Received: by 10.220.219.75 with SMTP id ht11mr7912869vcb.3.1340031292624; Mon, 18 Jun 2012 07:54:52 -0700 (PDT) MIME-Version: 1.0 Sender: aa144@nyu.edu Received: by 10.52.158.168 with HTTP; Mon, 18 Jun 2012 07:54:32 -0700 (PDT) From: Ashish Agarwal Date: Mon, 18 Jun 2012 10:54:32 -0400 X-Google-Sender-Auth: lmiAM2CNi6CqXOEwJ92SebTVKuA Message-ID: To: ocaml_beginners@yahoogroups.com, Caml List Content-Type: multipart/alternative; boundary=14dae9cfcea82f50bc04c2c05928 X-Gm-Message-State: ALoCoQmYJ2B2freeV4ikQJFKwZE+nUzuCQ+vzc4Gfczb2fB2w5Z+iHZ7c5/B8yAoqa9EiCwPJ+2D Subject: [Caml-list] Commercial Users of Functional Programming 2012: Call for Presentations --14dae9cfcea82f50bc04c2c05928 Content-Type: text/plain; charset=ISO-8859-1 This is the final reminder for submitting a CUFP talk proposal. The deadline is June 29th. I especially encourage talks from readers of this list, so the community can hear about the interesting work being done in OCaml. --------------------- Commercial Users of Functional Programming 2012: Call for Presentations COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING 2012 CUFP 2012 http://cufp.org/conference CALL FOR PRESENTATIONS Copenhagen, Denmark Sep 13-15 Co-located with ICFP 2012 Sponsored by SIGPLAN Talk Proposal Submission Deadline 29 June 2012 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. Giving a CUFP Talk ================== If you have experience using functional languages in a practical setting, we invite you to submit a proposal to give a talk at the workshop. We're looking for two kinds of talks: Experience reports are typically 25 minutes long, and aim to inform participants about how functional programming plays out in real-world applications, focusing especially on lessons learned and insights gained. Experience reports don't need to be highly technical; reflections on the commercial, management, or software engineering aspects are, if anything, more important. Technical talks are also 25 minutes long, and should focus on teaching the audience something about a particular technique or methodology, from the point of view of someone who has seen it play out in practice. These talks could cover anything from techniques for building functional concurrent applications, to managing dynamic reconfigurations, to design recipes for using types effectively in large-scale applications. While these talks will often be based on a particular language, they should be accessible to a broad range of programmers. If you are interested in offering a talk, or nominating someone to do so, send an e-mail to sperber(at)deinprogramm(dot)de or avsm2(at)cl(dot)cam(dot)ac(dot)uk by 29 June 2012 with a short description of what you'd like to talk about or what you think your nominee should give a talk about. Such descriptions should be about one page long. There will be a short scribes report of the presentations and discussions but not of the details of individual talks, as the meeting is intended to be more a discussion forum than a technical interchange. You do not need to submit a paper, just a proposal for your talk! Note that we will need all presenters to register for the CUFP workshop and travel to Copenhagen at their own expense. Program Committee ================= Mike Sperber (Active Group), co-chair Anil Madhavapeddy (University of Cambridge), co-chair Ashish Agarwal (New York University) Thomas Arts (QuviQ AB) Chris Houser (LonoCloud) Tomas Petricek (University of Cambridge) Heiko Seeberger (Typesafe) Stefan Wehr (factis research) Noel Welsh (untyped) More information ================ For more information on CUFP, including videos of presentations from previous years, take a look at the CUFP website at http://cufp.org. Note that presenters, like other attendees, will need to register for the event. Presentations will be video taped and presenters will be expected to sign an ACM copyright release form. Acceptance and rejection letters will be sent out by July 16th. Guidance on giving a great CUFP talk ==================================== Focus on the interesting bits: Think about what will distinguish your talk, and what will engage the audience, and focus there. There are a number of places to look for those interesting bits. Setting: FP is pretty well established in some areas, including formal verification, financial processing and server-side web-services. An unusual setting can be a source of interest. If you're deploying FP-based mobile UIs or building servers on oil rigs, then the challenges of that scenario are worth focusing on. Did FP help or hinder in adapting to the setting? Technology: The CUFP audience is hungry to learn about how FP techniques work in practice. What design patterns have you applied, and to what areas? Did you use functional reactive programming for user interfaces, or DSLs for playing chess, or fault-tolerant actors for large scale geological data processing? Teach us something about the techniques you used, and why we should consider using them ourselves. Getting things done: How did you deal with large software development in the absence of a myriad of pre-existing support that are often expected in larger commercial environments (IDEs, coverage tools, debuggers, profilers) and without larger, proven bodies of libraries? Did you hit any brick walls that required support from the community? Don't just be a cheerleader: It's easy to write a rah-rah talk about how well FP worked for you, but CUFP is more interesting when the talks also spend time on what doesn't work. Even when the results were all great, you should spend more time on the challenges along the way than on the parts that went smoothly. --14dae9cfcea82f50bc04c2c05928 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable This is the final reminder for submitting a CUFP talk proposal. The deadlin= e is June 29th. I especially encourage talks from readers of this list, so = the community can hear about the interesting work being done in OCaml.

---------------------
Commercial Users of Functional Prog= ramming 2012: Call for Presentations

=A0 =A0 =A0 =A0 =A0 COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING 2012
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0CUFP 2012
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 http://cufp.org/conference
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0CALL FOR PRESENTATIONS
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Copenhagen, Denmark
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Sep 13-15
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Co-located with ICFP 2012
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Sponsored by SIGPLAN
=A0 =A0 =A0 =A0 =A0 =A0Talk Proposal Submission Deadline 29 June 2012

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.

Giving a CUFP Talk
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

If you have experience using functional languages in a practical
setting, we invite you to submit a proposal to give a talk at the
workshop. We're looking for two kinds of talks:

Experience reports are typically 25 minutes long, and aim to inform
participants about how functional programming plays out in real-world
applications, focusing especially on lessons learned and insights
gained. Experience reports don't need to be highly technical;
reflections on the commercial, management, or software engineering
aspects are, if anything, more important.

Technical talks are also 25 minutes long, and should focus on teaching
the audience something about a particular technique or methodology,
from the point of view of someone who has seen it play out in
practice. These talks could cover anything from techniques for
building functional concurrent applications, to managing dynamic
reconfigurations, to design recipes for using types effectively in
large-scale applications. While these talks will often be based on a
particular language, they should be accessible to a broad range of
programmers.

If you are interested in offering a talk, or nominating someone to do
so, send an e-mail to sperber(at)deinprogramm(dot)de or
avsm2(at)cl(dot)cam(dot)ac(dot)uk by 29 June 2012 with a short
description of what you'd like to talk about or what you think your
nominee should give a talk about. Such descriptions should be about
one page long.

There will be a short scribes report of the presentations and
discussions but not of the details of individual talks, as the meeting
is intended to be more a discussion forum than a technical
interchange. You do not need to submit a paper, just a proposal for
your talk! =A0Note that we will need all presenters to register for the
CUFP workshop and travel to Copenhagen at their own expense.

Program Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=A0 =A0Mike Sperber (Active Group), co-chair
=A0 =A0Anil Madhavapeddy (University of Cambridge), co-chair
=A0 =A0Ashish Agarwal (New York University)
=A0 =A0Thomas Arts (QuviQ AB)
=A0 =A0Chris Houser (LonoCloud)
=A0 =A0Tomas Petricek (University of Cambridge)
=A0 =A0Heiko Seeberger (Typesafe)
=A0 =A0Stefan Wehr (factis research)
=A0 =A0Noel Welsh (untyped)

More information
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

For more information on CUFP, including videos of presentations from
previous years, take a look at the CUFP website at
http://cufp.org. Note tha= t presenters, like other attendees, will need
to register for the event. Presentations will be video taped and
presenters will be expected to sign an ACM copyright release
form. Acceptance and rejection letters will be sent out by July 16th.

Guidance on giving a great CUFP talk
=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=3D=3D=3D

Focus on the interesting bits: Think about what will distinguish your
talk, and what will engage the audience, and focus there. There are a
number of places to look for those interesting bits.

=A0 =A0Setting: FP is pretty well established in some areas, including
=A0 =A0formal verification, financial processing and server-side
=A0 =A0web-services. An unusual setting can be a source of interest. If
=A0 =A0you're deploying FP-based mobile UIs or building servers on oil=
=A0 =A0rigs, then the challenges of that scenario are worth focusing
=A0 =A0on. Did FP help or hinder in adapting to the setting?

=A0 =A0Technology: The CUFP audience is hungry to learn about how FP
=A0 =A0techniques work in practice. What design patterns have you
=A0 =A0applied, and to what areas? Did you use functional reactive
=A0 =A0programming for user interfaces, or DSLs for playing chess, or
=A0 =A0fault-tolerant actors for large scale geological data processing? =A0 =A0Teach us something about the techniques you used, and why we
=A0 =A0should consider using them ourselves.

=A0 =A0Getting things done: How did you deal with large software
=A0 =A0development in the absence of a myriad of pre-existing support
=A0 =A0that are often expected in larger commercial environments (IDEs,
=A0 =A0coverage tools, debuggers, profilers) and without larger, proven
=A0 =A0bodies of libraries? Did you hit any brick walls that required
=A0 =A0support from the community?

=A0 =A0Don't just be a cheerleader: It's easy to write a rah-rah t= alk
=A0 =A0about how well FP worked for you, but CUFP is more interesting
=A0 =A0when the talks also spend time on what doesn't work. Even when = the
=A0 =A0results were all great, you should spend more time on the
=A0 =A0challenges along the way than on the parts that went smoothly.


--14dae9cfcea82f50bc04c2c05928--