[Agda] CFP POPL Workshop on Data-Centric Programming (Extension)

Judith Bishop jbishop at microsoft.com
Tue Nov 19 05:36:01 CET 2013

ACM SIGPLAN Workshop on Data-Centric Programming 2014

Please consider submitting to this great workshop

Co- located with POPL, January 25, 2014 | San Diego, USA
Submission: November 22, 2013
Notification: December 4, 2013

This workshop invites submissions that explore the gap between today's data management challenges, particularly the ones related to dealing with large amounts of semantically rich data, and the lack of adequate tools. We are looking for contributions that discuss, promote and further advance the programming of semantically-rich data including the development of new languages, extension of existing ones, and the inclusion of semantic-enabled capabilities into existing IDEs.

In this forum, we will discuss, promote, and advance the use of data-centric programming in information-rich data spaces - including the development of new programming and data-manipulation systems as well as the extension of existing ones.

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

Talk Proposals

We want DCP to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on the workshop website.

We invite proposals for talks 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 database theory, ontology techniques, and linked data

* Impact of specific application areas (e.g. e-science, e-gov, sensors) on information-rich application design

* Data exploration and visualization

* Evaluation of data quality

* Plugins and IDEs for information-rich application development

* Cleaning and provenance of data, services, and processes

Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs at the address dcp.2014 at lambda-calcul.us<mailto:dcp.2014 at lambda-calcul.us> .

We solicit proposals for contributed talks. Proposals should be at most 2 pages, in either plain text or PDF format. We plan to allocate 30-minute talk slots; but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read.


Program Chairs

Jeremy Gibbons, University of Oxford, United Kingdom
Evelyne Viegas, Microsoft Research, United States

Program Committee (others to be confirmed)

Soren Auer, University of Bonn, Germany
Nate Foster, Cornell University, United States
Juliana Freire, Polytechnic Institute of New York University, United States
Erik Meijer, Applied Duality, United States
Steffen Staab, University of Koblenz, Germany
Don Syme, Microsoft Research Cambridge, United Kingdom
Hadley Wickham, Rice University, United States

Judith Bishop PhD
Director Computer Science<http://research.microsoft.com/en-us/people/jbishop/> | Microsoft Research Connections<http://research.microsoft.com/en-us/collaboration/default.aspx> | Phone: +1 425 706 2004

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20131119/7c04e975/attachment-0001.html

More information about the Agda mailing list