DDFP 2013 - Data Driven Functional Programming Workshop 2013

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.
We invited 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 techniques
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.
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