Calls for participation

2009-07-17

[Caml-list] ML 2009: Call for Participation

CALL FOR PARTICIPATION

The 2009 ACM SIGPLAN Workshop on ML

To be held in conjunction with ICFP 2009
on Sunday, August 30, 2009
in Edinburgh, Scotland, UK

http://www.mpi-sws.org/~rossberg/ml2009/

ML is a family of programming languages that includes dialects known
as Standard ML, Objective Caml, and F#. The development of these
languages has inspired a large amount of computer science research,
both practical and theoretical. This workshop aims to provide a forum
to encourage discussion and research on ML and related technology
(higher-order, typed, or strict languages).

The 2009 Work shop on ML will be held in conjunction with the 14th ACM
SIGPLAN International Conference on Functional Programming (ICFP 2009)
in Edinburgh, Scotland, UK. Previous instances were ML 2005 in
Tallinn, Estonia, ML 2006 in Portland, Oregon, USA, ML 2007 in
Freiburg, Germany, and ML 2008 in Victoria, British Columbia, Canada).

PRELIMINARY PROGRAM

* Invited talk: Cédric Fournet.
A Cryptographic Protocol Compiler for Multiparty Sessions

* Session: Type Systems
- Claudio Russo, Dimitrios Vytiniotis.
QML: Explicit first-class polymorphism for ML
- Joshua Dunfield.
Greedy Bidirectional Polymorphism
- Demo: Vincent Rahli, Joe Wells, Steven Shiells, Fairouz Kamareddine.
A Type Error Slicer for SML
- Demo: Lucas Dixon.
A GUI for Programming in PolyML: an Interface Protocol for
Functional Languages

* Session: Reasoning and Verification
- Jan Schwinghammer, David Sabel, Manfred Schmidt-Schauss, Joachim
Niehren.
Correctly Translating Concurrency Primitives
- Johannes Kanig, Jean-Christophe Filliâtre.
Who: A Verifier for Effectful Higher-order Programs
- Demo: Karthikeyan Bhargavan, Cédric Fournet, Andrew Gordon.
Modular Verification of Security Protocol Code by Typing
- Demo: Louis Mandel, Florence, Plateau, Marc Pouzet.
The ReactiveML Toplevel

* Session: Implementation
- Moe Masuko, Kenichi Asai.
Direct Implementation of Shift and Reset in the MinCaml Compiler
- Benjamin Canou, Alexis Darrasse.
Fast and sound random generation for automated testing and
benchmarking in Objective Caml
- Demo: David Rajchenbach-Teller.
First steps with OCaml Batteries Included
- Demo: Romain Bardou, François Bobot, Jean-Christophe Filliâtre,
Johannes Kanig, Stéphane Lescuyer.
Mlpost - A scientific drawing library

* Panel Discussion: <i>Future directions for ML

REGISTRATION

Information about registration, accommodation, and travel is available on
the ICFP conference web site: http://www.icfpconference.org/icfp2009/

PROGRAM CHAIR

Andreas Rossberg (Max Planck Institute for Software Systems)

PROGRAM COMMITTEE

Umut Acar (Toyota Technological Institute at Chicago)
Damien Doligez (INRIA Paris-Rocquencourt)
Neal Glew (Intel)
Andrew Gordon (Microsoft Research Cambridge)
Patricia Johann (University of Strathclyde)
Oleg Kiselyov (FNMOC)
Neelakantan Krishnaswami (Carnegie Mellon University)
David MacQueen (University of Chicago)
Yasuhiko Minamide (University of Tsukuba)
Norman Ramsey (Tufts University)

STEERING COMMITTEE

See the ML Workshop series home page at:
http://www.tti-c.org/blume/ml-workshop/

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] PEPM'10 - Call for Papers (Deadline: 6 Oct 09) - Invited Speakers announced

===============================================================
CALL FOR PAPERS
ACM SIGPLAN 2010 Workshop on
Partial Evaluation and Program Manipulation (PEPM'10)
Madrid, January 18-19, 2010

(Affiliated with POPL'10)

http://www.program-transformation.org/PEPM10
===============================================================

INVITED SPEAKERS:

* Lennart Augustsson (Standard Chartered Bank, UK)
* Jeremy Siek (University of Colorado at Boulder, USA)

IMPORTANT DATES:

* Paper submission: Tue, October 6, 2009, 23:59, Apia time
* Author notification: Thu, October 29, 2009
* Camera-ready papers: Mon, November 9, 2009

To facilitate smooth organization of the review process, authors are
asked to submit a short abstract by October 1, 2009.

SUBMISSION CATEGORIES:

* Regular research papers (max. 10 pages in ACM Proceedings style)
* Tool demonstration papers (max. 4 pages plus max. 6 pages appendix)

TRAVEL SUPPORT:

Students and other attendants in need can apply for a SIGPLAN PAC grant
to help cover expenses. For details, see http://www.sigplan.org/PAC.htm.

SCOPE:

The PEPM Symposium/Workshop series aims to bring together researchers
and practitioners working in the areas of program manipulation, partial
evaluation, and program generation. PEPM focuses on techniques,
theories, tools, and applications of analysis and manipulation of programs.

The 2010 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation in a continued effort to expand the
scope of PEPM significantly beyond the traditionally covered areas of
partial evaluation and specialization and include practical applications
of program transformations such as refactoring tools, and practical
implementation techniques such as rule-based transformation systems. In
addition, it covers manipulation and transformations of program and
system representations such as structural and semantic models that occur
in the context of model-driven development. In order to reach out to
practitioners, there is a separate category of tool demonstration papers.

Topics of interest for PEPM'10 include, but are not limited to:

* Program and model manipulation techniques such as transformations
driven by rules, patterns, or analyses, partial evaluation,
specialization, program inversion, program composition, slicing,
symbolic execution, refactoring, aspect weaving, decompilation, and
obfuscation.

* Program analysis techniques that are used to drive program/model
manipulation such as abstract interpretation, static analysis,
binding-time analysis, dynamic analysis, constraint solving, type
systems, automated testing and test case generation.

* Analysis and transformation for programs/models with advanced features
such as objects, generics, ownership types, aspects, reflection, XML
type systems, component frameworks, and middleware.

* Techniques that treat programs/models as data objects including
meta-programming, generative programming, deep embedded
domain-specific languages, program synthesis by sketching and
inductive programming, staged computation, and model-driven program
generation and transformation.

* Application of the above techniques including experimental studies,
engineering needed for scalability, and benchmarking. Examples of
application domains include legacy program understanding and
transformation, DSL implementations, visual languages and end-user
programming, scientific computing, middleware frameworks and
infrastructure needed for distributed and web-based applications,
resource-limited computation, and security.

We especially encourage papers that break new ground including
descriptions of how program/model manipulation tools can be integrated
into realistic software development processes, descriptions of robust
tools capable of effectively handling realistic applications, and new
areas of application such as rapidly evolving systems, distributed and
web-based programming including middleware manipulation, model-driven
development, and on-the-fly program adaptation driven by run-time or
statistical analysis.

PROCEEDINGS:

There will be formal proceedings published by ACM Press. In addition to
printed proceedings, accepted papers will be included in the ACM Digital
Library. Selected papers may later on be invited for a journal special
issue dedicated to PEPM'10.

SUBMISSION GUIDELINES:

Papers should be submitted electronically via the workshop web site.

Regular research papers must not exceed 10 pages in ACM Proceedings
style. Tool demonstration papers must not exceed 4 pages in ACM
Proceedings style, and authors will be expected to present a live
demonstration of the described tool at the workshop (tool papers should
include an additional appendix of up to 6 extra pages giving the
outline, screenshots, examples, etc. to indicate the content of the
proposed live demo at the workshop).

Authors using Latex to prepare their submissions should use the new
improved SIGPLAN proceedings style (sigplanconf.cls).

PROGRAM CO-CHAIRS:

* John Gallagher (Roskilde University, Denmark, and IMDEA Software,
Spain)
* Janis Voigtländer (Technische Universität Dresden, Germany)

PROGRAM COMMITTEE MEMBERS:

* Wei-Ngan Chin (National University of Singapore, Singapore)
* Michael Codish (Ben-Gurion University of the Negev, Israel)
* Jim Cordy (Queen's University, Canada)
* Nate Foster (University of Pennsylvania, USA)
* Haifeng Guo (University of Nebraska at Omaha, USA)
* Patricia Johann (University of Strathclyde, UK)
* Oleg Kiselyov (FNMOC, USA)
* Günter Kniesel (University of Bonn, Germany)
* Viktor Kuncak (Ecole Polytechnique Fédérale de Lausanne, Switzerland)
* Yanhong Annie Liu (State University of New York at Stony Brook, USA)
* Andres Löh (Utrecht University, Netherlands)
* Jan Midtgaard (Roskilde University, Denmark)
* David Monniaux (National Center for Scientific Research (CNRS) and
VERIMAG laboratory, France)
* Akimasa Morihata (University of Tokyo, Japan)
* Alberto Pettorossi (Università di Roma Tor Vergata, Italy)
* João Saraiva (Universidade do Minho, Portugal)
* Ganesh Sittampalam (Credit Suisse, UK)
* Fausto Spoto (Università di Verona, Italy)
* Harald Søndergaard (University of Melbourne, Australia)
* Walid Taha (Rice University, USA)

2009-07-16

[Caml-list] IFL 2009: Third Call for Papers

Call for Papers
IFL 2009
Seton Hall University
SOUTH ORANGE, NJ, USA
http://tltc.shu.edu/blogs/projects/IFL2009/

***** NEW *****

Registration is now opened!
Register at: http://tltc.shu.edu/blogs/projects/IFL2009/registration.html

Invited Speaker:

    Benjamin C. Pierce
    University of Pennsylvania
    Talk Title: How To Build Your Own Bidirectional Programming Language

Registration Fee:

          Students: US$325.00
    Non-students: US$375.00

*********

The 21st International Symposium on Implementation and Application of Functional Languages, IFL 2009, will be held
for the first time in the USA. The hosting institution is Seton Hall University in South Orange, NJ, USA and the
symposium dates are September 23-25, 2009. It is our goal to make IFL a regular event held in the USA and in
Europe. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and
application of functional and function-based programming languages. IFL 2009 will be a venue for researchers to
present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the
implementation and application of functional languages and function-based programming.

Following the IFL tradition, IFL 2009 will use a post-symposium review process to produce a formal proceedings which
will be published by Springer in the Lecture Notes in Computer Science series. All participants in IFL 2009 are
invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium.
These submissions will be screened by the program committee chair to make sure they are within the scope of IFL and will
appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not
peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from
discussions at the symposium and will be invited to submit a revised full arcticle for the formal review process. These
revised submissions will be reviewed by the program committee using prevailing academic standards to select the best
articles that will appear in the formal proceedings.

TOPICS

IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools.
If you are not sure if your work is appropriate for IFL 2009, please contact the PC chair at ifl2009@shu.edu. Topics of
interest include, but are not limited to:

language concepts
type checking
contracts
compilation techniques
staged compilation
runtime function specialization
runtime code generation
partial evaluation
(abstract) interpretation
generic programming techniques
automatic program generation
array processing
concurrent/parallel programming
concurrent/parallel program execution
functional programming and embedded systems
functional programming and web applications
functional programming and security
novel memory management techniques
runtime profiling and performance measurements
debugging and tracing
virtual/abstract machine architectures
validation and verification of functional programs
tools and programming techniques
FP in Education

PAPER SUBMISSIONS

Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to
present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series
format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Mathematics
and Computer Science of Seton Hall University.

IMPORTANT DATES

Registration deadline                           August 15, 2009
Presentation submission deadline          August 15, 2009
IFL 2009 Symposium                            September 23-25, 2009
Submission for review process deadline November 1, 2009
Notification Accept/Reject                     December 22, 2009
Camera ready version                           February 1, 2010

PROGRAM COMMITTEE

Peter Achten                University of Nijmegen, The Netherlands
Jost Berthold                Philipps-Universität Marburg, Germany
Andrew Butterfield         University of Dublin, Ireland
Robby Findler                Northwestern University, USA
Kathleen Fisher             AT&T Research, USA
Cormac Flanagan           University of California at Santa Cruz, USA
Matthew Flatt               University of Utah, USA
Matthew Fluet               Rochester Institute of Technology, USA
Daniel Friedman          Indiana University, USA
Andy Gill                      University of Kansas, USA
Clemens Grelck             University of Amsterdam/Hertfordshire, The Netherlands/UK
Jurriaan Hage                Utrecht University, The Netherlands
Ralf Hinze                     Oxford University, UK
Paul Hudak                    Yale University, USA
John Hughes                  Chalmers University of Technology, Sweden
Patricia Johann               University of Strathclyde, UK
Yukiyoshi Kameyama       University of Tsukuba, Japan
Marco T. Morazán (Chair) Seton Hall University, USA
Rex Page                       University of Oklahoma, USA
Fernando Rubio               Universidad Complutense de Madrid, Spain
Sven-Bodo Scholz            University of Hertfordshire, UK
Manuel Serrano               INRIA Sophia-Antipolis, France
Chung-chieh Shan         Rutgers University, USA
David Walker                 Princeton University, USA
Viktória Zsók                 Eötvös Loránd University, Hungary

PETER LANDIN PRIZE

The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected
by the program committee based on the submissions received for the formal review process. The prize carries a cash award
equivalent to 150 euros.

2009-07-13

[Caml-list] ICFP09 Final Call for Participation

=====================================================================
Final Call for Participation

The 14th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2009)

http://www.cs.nott.ac.uk/~gmh/icfp09.html

Edinburgh, Scotland, 31 August - 2 September 2009
=====================================================================

***** Accommodation Deadline: July 20, 2009 *****
Due to the overlap with Edinburgh Festival, accommodations may be
difficult to secure after the deadline. Reserve now!
http://www.haskell.org/haskellwiki/ICFP_2009_Local_Arrangements

***** Early Registration Deadline: July 30, 2009 *****
http://www.regmaster.com/conf/icfp2009.html

ICFP 2009 provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

Preliminary program:
* Abstracts:
+ http://web.cecs.pdx.edu/~apt/icfp09_accepted_papers/accepted.html
* Schedule:
+ http://web.cecs.pdx.edu/~apt/icfp09_preliminary_program.pdf
* Invited speakers:
+ Guy Steele -- Organizing Functional Code for Parallel Execution:
or, foldl and foldr Considered Slightly Harmful
+ Benjamin Pierce -- Lambda, the Ultimate TA: Using a Proof
Assistant to Teach Programming Language Foundations
+ Dan Piponi -- Commutative Monads, Diagrams and Knots

Schedule including related workshops:
* Aug 30: ACM SIGPLAN Workshop on ML
* Aug 30: ACM SIGPLAN Workshop on Generic Programming
* Aug 31-Sep 2: ICFP09
* Sep 3: ACM SIGPLAN Haskell Symposium
* Sep 3: ACM SIGPLAN Developer Tracks on Functional Programming
* Sep 4: Commercial Users of Functional Programming
* Sep 4: ACM SIGPLAN Workshop on Mechanizing Metatheory
* Sep 4: ACM SIGPLAN Workshop on Approaches and Applications of
Inductive Programming
* Sep 5: ACM SIGPLAN Erlang Workshop
* Sep 5: ACM SIGPLAN Developer Tracks on Functional Programming
* Sep 5: ACM SIGPLAN Haskell Implementors Workshop

Conference organizers:
* General Chair: Graham Hutton (University of Nottingham)
* Program Chair: Andrew Tolmach (Portland State University)
* Local Arrangements Chairs: Philip Wadler (University of Edinburgh),
Kevin Hammond (University of St Andrews), and
Gregory Michaelson (Heriot-Watt University)
* Workshop Co-Chairs: Christopher Stone (Harvey Mudd College), and
Michael Sperber (DeinProgramm)
* Programming Contest Chair: Andrew Gill (University of Kansas)
* Publicity Chair: Matthew Fluet (Toyota Technological Institute at Chicago)

2009-07-04

[Caml-list] LCC Call for Participation

[ Please broadcast/post/forward. Apologies for duplicates]

LCC'09 CALL FOR PARTICIPATION

The Tenth International Workshop on Logic and Computational Complexity
(LCC'09, www.cs.indiana.edu/lcc) will be held in Los Angeles on
August 10, 2009, as an affiliated meeting of LiCS'09
(www2.informatik.hu-berlin.de/lics/lics09),
and in conjunction with SAS'09 (sas09.cs.ucdavis.edu).

LCC meetings are aimed at the foundational interconnections between
logic and computational complexity, as present, for example, in implicit
computational complexity (descriptive and type-theoretic methods);
deductive formalisms as they relate to complexity (e.g. ramification,
weak comprehension, bounded arithmetic, linear logic and resource logics);
complexity aspects of finite model theory and databases;
complexity-mindful program derivation and verification;
computational complexity at higher type; and proof complexity.

The LCC'09 program consists of invited lectures by Andrei Bulatov,
Martin Hofmann, Phokion Kolaitis, Lars Kristiansen, and
Michel de Rougemont, as well as contributed papers.
The full program is available at www.cs.indiana.edu/lcc/09program.pdf.

For additional information see www.cs.indiana.edu/lcc,
or email inquiries to lcc@cs.indiana.edu.
Further information about previous LCC meetings can be found at
http://www.cis.syr.edu/~royer/lcc.

PROGRAM COMMITTEE

* Patrick Baillot (CNRS-ENS Lyons, Co-chair)
* Markus Lohrey (Leipzig, Co-Chair)
* Albert Atserias (UP de Catalunya)
* Pablo Barcelo (U de Chile)
* Arnold Beckmann (Swansea)
* Lauri Hella (Tampere)
* Andrei Krokhin (Durham)
* Chris Pollett (San Jose SU)

STEERING COMMITTEE: Michael Benedikt (Oxford, Co-chair),
Daniel Leivant (Indiana U, Co-chair), Robert Constable (Cornell),
Anuj Dawar (Cambridge), Fernando Ferreira (Lisbon),
Martin Hofmann (U Munich), Neil Immerman (U Mass. Amherst),
Neil Jones (Copenhagen), Bruce Kapron (U Victoria),
Jean-Yves Marion (LORIA Nancy), Luke Ong (Oxford),
Martin Otto (Darmstadt), James Royer (Syracuse),
Helmut Schwichtenberg (U Munich), and Pawel Urzyczyn (Warsaw)

2009-07-01

[Caml-list] Second Call for Papers: DAMP 2010

DAMP 2010: Workshop on
Declarative Aspects of Multicore Programming
Madrid, SPAIN
(colocated with POPL 2010)
January, 2010
damp10.cs.nmsu.edu
SUBMISSION DEADLINE: SEPTEMBER 21, 2009

The advent of multicore architectures has profoundly increased the
importance of research in parallel computing. Modern platforms are
becoming more complex and heterogenous and novel solutions are needed
to account for their peculiarities.
Multicore architectures will differ in significant ways from their
multisocket predecessors. For example, the communication to compute
bandwidth ratio is likely to be higher, which will positively impact
performance. More generally, multicore architectures introduce several
new dimensions of variability in both performance guarantees and
architectural contracts, such as the memory model, that may not
stabilize for several generations of product.

Programs written in functional or (constraint-)logic programming
languages, or in other highly declarative languages with a controlled
use of side effects, can greatly simplify parallel programming. Such
declarative programming allows for a deterministic semantics even
when the underlying implementation might be highly non-deterministic.
In addition to simplifying programming this can simplify debugging and
analyzing correctness.

DAMP 2010 is the fifth in a series of one-day workshops seeking to
explore ideas in declarative programming language design that will
greatly simplify programming for multicore architectures, and more
generally for tightly coupled parallel architectures. The emphasis
will be on (constraint-)logic and functional programming, but any
declarative programming language ideas that aim to raise the level of
abstraction are welcome. DAMP seeks to gather together researchers in
declarative approaches to parallel programming and to foster cross
fertilization across different approaches.

Specific topics include, but are not limited to:

* investigation of applications of logic, constraint logic, and
functional programing to multicore programing
* run-time issues of exploitation of parallelism using declarative
programming approaches (e.g., garbage collection, scheduling)
* architectural impact on exploitation of parallelism from
declarative languages
* type systems and analysis for accurately detecting dependencies,
aliasing, side effects, and impure features
* language level declarative constructs for expressing parallelism
* declarative language specification for the description of data
placement and distribution
* compilation and static analysis techniques to support
exploitation of parallelism from declarative languages (e.g.,
granularity control)
* practical experiences and challenges arising from parallel
declarative programming
* technology for debugging parallel programs
* design and implementation of domain-specific declarative
languages for multicore programming

Submission:

Submitted papers papers should not exceed 10 pages in ACM
SIGPLAN conference format. Submission is electronic via:

http://www.easychair.org/conferences/?conf=damp10

Accepted papers will be published in the ACM Digital Library and
in a physical proceedings. Papers must adhere to the SIGPLAN
Republication Policy:

http://www.sigplan.org/republicationpolicy.htm

Concurrent submissions to other conferences, workshops, journals,
or similar forums of publication are not allowed. However, DAMP
is intended to be a venue for discussion and exploration of
works-in-progress, and so publication of a paper at DAMP 2010 is
not intended to preclude later publication as appropriate.

Additional information about the submission process can be found
at the conference web site.

Important dates:

Abstract submission: Sept. 21
Paper submission: Sept. 25
Notification to authors: Oct. 26
Camera ready: Nov. 9

Program Chair:

Enrico Pontelli
New Mexico State University

General Chairs:

Leaf Petersen
Intel Corporation
Santa Clara, CA, USA

Program Committee:

Manuel Carro Universidad Politecnica de Madrid
Clemens Grelck University of Hertfordshire
Haifeng Guo University of Nebraska at Omaha
Gabriele Keller University of New South Wales
Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen
Leaf Petersen Intel Corporation
John Reppy University of Chicago
Ricardo Rocha University of Porto
Kostis Sagonas National Technical University of Athens
Vitor Santos Costa University of Porto
Satnam Singh Microsoft Research
Philip Trinder Heriot-Watt University
Pascal Van Hentenryck Brown University

URL:

http://damp10.cs.nmsu.edu

[Caml-list] Call for Participation: Commercial Users of Functional Programming Workshop 2009

Commercial Users of Functional Programming Workshop (CUFP) 2009

Functional Programming As a Means, Not an End

Call for Participation

Sponsored by SIGPLAN
Co-located with ICFP 2009
_________________________________________________________

4 September 2009
Edinburgh, Scotland

Registration is through
http://www.regmaster.com/conf/icfp2009.html
_________________________________________________________

Functional languages have been under academic development
for over 25 years, and remain fertile ground for programming
language research. Recently, however, developers in industrial,
governmental, and open source projects have begun to use
functional programming successfully in practical applications.
In these settings, functional programming has often provided
dramatic leverage, including whole new ways of thinking about
the original problem.

The goal of the CUFP workshop is to act as a voice for these
users of functional programming. The workshop supports the
increasing viability of functional programming in the
commercial, governmental, and open-source space by providing a
forum for professionals to share their experiences and ideas,
whether those ideas are related to business, management, or
engineering. The workshop is also designed to enable the
formation and reinforcement of relationships that further
the commercial use of functional programming. Providing user
feedback to language designers and implementors is not a
primary goal of the workshop, though it will be welcome if it
occurs.

Program

CUFP 2009 will last a full day and feature a discussion
session and the following presentations:

Bryan O'Sullivan
Keynote: Real world Haskell

Lee Momtahan (EDF Trading)
Implementing a Domain-Specific Language for Derivative
Pricing with Scala

Bhasker Kode (hover.in)
Erlang at hover.in

Jefferson Heard, (Renaissance Computing Institute)
Teleconferencing over High-res Maps with Haskell

Alex Peake (TFC) and Adam Granicz (Intellifactory)
The First Substantial Line of Business Application in F#

Christopher Piro and Eugene Letuchy (Facebook)
Functional Programming at Facebook

Fermin Reig (Morgan Stanly)
Computing with Time Series Data in Finance

Warren Harris (Metaweb)
Functional Programming at Freebase

Mark Wong-VanHaren (Glyde)
Clear & Simple: Composing a Marketplace

Duncan Coutts (Well-Typed)
Birth of the Industrial Haskell Group

There will be no published proceedings, as the meeting is
intended to be more a discussion forum than a technical
interchange.

See http://cufp.galois.com for more information, including
presentation abstracts and the most recent schedule
information.

This will be the sixth CUFP; see CUFP 2004 CUFP 2005, CUFP
2006, CUFP 2007 and CUFP 2008 for information about the
earlier meetings, including reports from attendees and video
of the most recent talks.