[TYPES/announce] Deadline Extension for DDFP 2013 (co-located with POPL 2013)

George Giorgidze giorgidze at gmail.com
Tue Oct 9 03:52:25 EDT 2012

Data-Driven Functional Programming Workshop 2013

Co-Located with POPL 2013
January 22, 2013 | Rome, Italy
NEW: Submission Date: October 15, 2012

We are very pleased to announce DDFP 2013, an exciting new workshop at
POPL. This workshop is for anyone who loves the application of
functional programming (and indeed other programming paradigms as
well) to data-rich domains. Please consider submitting to the
workshop. Whatever your flavor of data, whatever your flavor of
functional programming. We want this to be a great event that opens up
opportunities at the intersection of data and programming.

Functional programming techniques are becoming increasingly important
in data-centric programming: languages like Haskell, Scala, and C#
draw heavily on a range of functional techniques and find application
in numerous data-driven domains; functional paradigms like map/reduce
and its extensions lie at the core of modern scalable data processing;
and “information-rich” languages like Ur, F#, and Gosu use
meta-programming to integrate type-safe queries, web-based APIs, and
scalable data sources—along with associated semantically-rich
metadata—into the programming language. In principle, the
expressiveness, strong typing, and core functional paradigm of these
languages make them an ideal choice for expressing robust and scalable
data-centric programming. However, many challenges remain.

Workshop Goals

The first Data Driven Functional Programming Workshop will examine
data-centric programming in the light of today’s data challenges, with
a particular focus on the application of functional programming and
meta-programming techniques. In this forum, we will discuss, promote,
and advance the use of functional programming in information-rich data
spaces—including the development of new programming and
data-manipulation systems and the extension of existing ones

By devising methods for handling data from the programming level, we
can promote the research and development of better functional
programming technologies as a whole, as well as facilitate the shift
towards both principled and effective data-centric computing.

Paper Submissions

We invite submissions in any area related to the connection between
programming and data, including, but not limited to:

* Formal systems that capture the essential theoretical elements of
data-centric programming

* Experimental systems that demonstrate novel data-centric programming

* Technology that demonstrates correctness, scalability, productivity,
robustness, or maintainability of data-centric programs

* Schema evolution, schema-type mapping, query languages,
probabilistic programming, network-connected programming, or
semi-structured data

* Programming-related aspects of knowledge representation techniques
including the database theory, ontology techniques, and linked data.

Important Dates

* New! Paper submissions due:  Oct. 15, 2012

* Author notification: Oct. 30, 2012

* Camera ready: Nov. 10, 2012

* Workshop: Jan. 22, 2013

General Chair

Evelyne Viegas, Microsoft Research, Redmond

Program Chairs

* Karin Breitman, EMC Labs, Brazil

* Judith Bishop, Microsoft Research, United States

Program Committee

* Soren Auer, University of Leipzig, Germany

* Guy Blelloch, Carnegie Mellon University, United States

* Adam Chlipala, Massachusetts Institute of Technology, United States

* Sophia Drossopolou, Imperial College, United Kingdom

* Tim Finin, University of Maryland, United States

* Kathleen Fisher, Tufts University, United States

* Nate Foster, Cornell University, United States

* George Giorgidze, University of Tübingen, Germany

* Jim Hendler, Rensselaer Polytechnic Institute, United States

* Steffen Staab, University of Koblenz, Germany

* Don Syme, Microsoft Research Cambridge, United Kingdom

* Jan Vitek, Purdue University, United States

More information about the Types-announce mailing list