<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoAcetate, li.MsoAcetate, div.MsoAcetate
{mso-style-priority:99;
mso-style-link:"Balloon Text Char";
margin:0in;
margin-bottom:.0001pt;
font-size:8.0pt;
font-family:"Tahoma","sans-serif";}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.BalloonTextChar
{mso-style-name:"Balloon Text Char";
mso-style-priority:99;
mso-style-link:"Balloon Text";
font-family:"Tahoma","sans-serif";}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="text-transform:uppercase">CALL FOR PAPERS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="text-transform:uppercase"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="text-transform:uppercase">Data-Driven Functional Programming Workshop 2013<o:p></o:p></span></p>
<p class="MsoNormal"><span style="text-transform:uppercase"><o:p> </o:p></span></p>
<p class="MsoNormal">-----------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal">Co-Located with POPL 2013, January 22, 2013 | Rome, Italy<o:p></o:p></p>
<p class="MsoNormal"><a href="Http://research.microsoft.com/DDFP2013">Http://research.microsoft.com/DDFP2013</a> <o:p></o:p></p>
<p class="MsoNormal"><b>NEW: Submission Date: October 15, 2012<o:p></o:p></b></p>
<p class="MsoNormal"><span style="font-size:9.5pt"><a href="http://www.easychair.org/conferences/?conf=ddfp13"><span style="color:blue;text-decoration:none">Submit your abstract and paper online</span></a>
<o:p></o:p></span></p>
<p class="MsoNormal"><b><o:p> </o:p></b></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">We're 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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Workshop Goals<o:p></o:p></p>
<p class="MsoNormal">--------------------<o:p></o:p></p>
<p class="MsoNormal">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<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Paper Submissions<o:p></o:p></p>
<p class="MsoNormal">----------------------<o:p></o:p></p>
<p class="MsoNormal">We invite submissions in any area related to the connection between programming and data, including, but not limited to:<o:p></o:p></p>
<p class="MsoNormal">.Formal systems that capture the essential theoretical elements of data-centric programming
<o:p></o:p></p>
<p class="MsoNormal">.Experimental systems that demonstrate novel data-centric programming techniques
<o:p></o:p></p>
<p class="MsoNormal">.Technology that demonstrates correctness, scalability, productivity, robustness, or maintainability of data-centric programs
<o:p></o:p></p>
<p class="MsoNormal">.Schema evolution, schema-type mapping, query languages, probabilistic programming, network-connected programming, or semi-structured data
<o:p></o:p></p>
<p class="MsoNormal">.Programming-related aspects of knowledge representation techniques including the database theory, ontology techniques, and linked data.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Organization<o:p></o:p></p>
<p class="MsoNormal">----------------<o:p></o:p></p>
<p class="MsoNormal">General Chair<o:p></o:p></p>
<p class="MsoNormal">. Evelyne Viegas, Microsoft Research, United States<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Program Chairs<o:p></o:p></p>
<p class="MsoNormal">. Karin Breitman, EMC Labs, Brazil<o:p></o:p></p>
<p class="MsoNormal">. Judith Bishop, Microsoft Research, United States<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Program Committee<o:p></o:p></p>
<p class="MsoNormal">. Soren Auer, University of Leipzig, Germany <o:p></o:p></p>
<p class="MsoNormal">. Guy Blelloch, Carnegie Mellon University, United States <o:p>
</o:p></p>
<p class="MsoNormal">. Adam Chlipala, Massachusetts Institute of Technology, United States
<o:p></o:p></p>
<p class="MsoNormal">. Sophia Drossopolou, Imperial College, United Kingdom <o:p>
</o:p></p>
<p class="MsoNormal">. Tim Finin, University of Maryland, United States <o:p></o:p></p>
<p class="MsoNormal">. Kathleen Fisher, Tufts University, United States <o:p></o:p></p>
<p class="MsoNormal">. Nate Foster, Cornell University, United States <o:p></o:p></p>
<p class="MsoNormal">. George Giorgidze, University of Tübingen, Germany <o:p></o:p></p>
<p class="MsoNormal">. Jim Hendler, Rensselaer Polytechnic Institute, United States
<o:p></o:p></p>
<p class="MsoNormal">. Don Syme, Microsoft Research Cambridge, United Kingdom <o:p>
</o:p></p>
<p class="MsoNormal">. Jan Vitek, Purdue University, United States <o:p></o:p></p>
<p class="MsoNormal">. Steffen Staab, University of Koblenz, Germany<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>