<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=us-ascii">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:\5B8B\4F53;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:\5B8B\4F53;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"\@\5B8B\4F53";
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* 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;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.25in 1.0in 1.25in;}
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" style="text-autospace:none"><span style="font-family:"Courier New"">(Apologies for cross postings)<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Call for Papers<o:p></o:p></p>
<p class="MsoNormal"> ===============<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> 16th International Symposium on <o:p></o:p></p>
<p class="MsoNormal"> Practical Aspects of Declarative Languages (PADL 2014)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> <a href="http://www.ist.unomaha.edu/padl2014">http://www.ist.unomaha.edu/padl2014</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> San Diego, California, USA, January 20-21, 2014<o:p></o:p></p>
<p class="MsoNormal"> Co-located with ACM POPL'14<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"> Conference Description<o:p></o:p></p>
<p class="MsoNormal"> ======================<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Declarative languages build on sound theoretical bases to provide
<o:p></o:p></p>
<p class="MsoNormal">attractive frameworks for application development. These languages
<o:p></o:p></p>
<p class="MsoNormal">have been successfully applied to many different real-world situations,
<o:p></o:p></p>
<p class="MsoNormal">ranging from data base management to active networks to software engineering
<o:p></o:p></p>
<p class="MsoNormal">to decision support systems.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> New developments in theory and implementation have opened up new
<o:p></o:p></p>
<p class="MsoNormal">application areas. At the same time, applications of declarative languages
<o:p></o:p></p>
<p class="MsoNormal">to novel problems raise numerous interesting research issues. Well-known
<o:p></o:p></p>
<p class="MsoNormal">questions include designing for scalability, language extensions for
<o:p></o:p></p>
<p class="MsoNormal">application deployment, and programming environments. Thus, applications
<o:p></o:p></p>
<p class="MsoNormal">drive the progress in the theory and implementation of declarative
<o:p></o:p></p>
<p class="MsoNormal">systems, and benefit from this progress as well.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> PADL is a forum for researchers and practitioners to present original
<o:p></o:p></p>
<p class="MsoNormal">work emphasizing novel applications and implementation techniques
<o:p></o:p></p>
<p class="MsoNormal">for all forms of declarative concepts, including, functional, logic,
<o:p></o:p></p>
<p class="MsoNormal">constraints, etc. Topics of interest include, but are not limited to:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Innovative applications of declarative languages<o:p></o:p></p>
<p class="MsoNormal"> * Declarative domain-specific languages and applications<o:p></o:p></p>
<p class="MsoNormal"> * Practical applications of theoretical results<o:p></o:p></p>
<p class="MsoNormal"> * New language developments and their impact on applications<o:p></o:p></p>
<p class="MsoNormal"> * Declarative languages and Software Engineering<o:p></o:p></p>
<p class="MsoNormal"> * Evaluation of implementation techniques on practical applications<o:p></o:p></p>
<p class="MsoNormal"> * Practical experiences and industrial applications<o:p></o:p></p>
<p class="MsoNormal"> * Novel uses of declarative languages in the classroom<o:p></o:p></p>
<p class="MsoNormal"> * Practical extensions such as constraint-based, probabilistic, and reactive languages.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> PADL'14 welcomes new ideas and approaches pertaining to applications
<o:p></o:p></p>
<p class="MsoNormal">and implementation of declarative languages. In this occasion
<o:p></o:p></p>
<p class="MsoNormal">PADL is co-located, as traditionally, with ACM POPL, which will be held
<o:p></o:p></p>
<p class="MsoNormal">immediately following PADL. The symposium will be held in San Diego,
<o:p></o:p></p>
<p class="MsoNormal">California, USA.<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"> Important Dates and Submission Guidelines<o:p></o:p></p>
<p class="MsoNormal"> =========================================<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Abstract Submission: September 6, 2013<o:p></o:p></p>
<p class="MsoNormal"> Paper Submission: September 13, 2013<o:p></o:p></p>
<p class="MsoNormal"> Notification: October 21, 2013<o:p></o:p></p>
<p class="MsoNormal"> Camera-ready: November 10, 2013<o:p></o:p></p>
<p class="MsoNormal"> Symposium: January 20-21, 2014<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Authors should submit an electronic copy of the full paper in PDF<o:p></o:p></p>
<p class="MsoNormal">using the Springer LNCS format. The submission will be done through<o:p></o:p></p>
<p class="MsoNormal">EasyChair conference system. If electronic submission is impossible,<o:p></o:p></p>
<p class="MsoNormal">please contact the program chairs for information on how to submit<o:p></o:p></p>
<p class="MsoNormal">hard copies. All submissions must be original work written in<o:p></o:p></p>
<p class="MsoNormal">English. Submissions must be unpublished and not submitted for<o:p></o:p></p>
<p class="MsoNormal">publication elsewhere. Work that already appeared in unpublished or<o:p></o:p></p>
<p class="MsoNormal">informally published workshops proceedings may be submitted. PADL'14<o:p></o:p></p>
<p class="MsoNormal">will accept both technical and application papers:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> * Technical papers must describe original, previously unpublished<o:p></o:p></p>
<p class="MsoNormal"> research results. Technical papers must not exceed 16 pages in<o:p></o:p></p>
<p class="MsoNormal"> Springer LNCS format.<o:p></o:p></p>
<p class="MsoNormal"> * Application papers are a mechanism to present important practical<o:p></o:p></p>
<p class="MsoNormal"> applications of declarative languages that occur in industry or<o:p></o:p></p>
<p class="MsoNormal"> in areas of research other than Computer Science. Application<o:p></o:p></p>
<p class="MsoNormal"> papers will be published in the Springer-Verlag conference<o:p></o:p></p>
<p class="MsoNormal"> proceedings, and will be presented in a separate session.<o:p></o:p></p>
<p class="MsoNormal"> Application papers are expected to describe complex and/or<o:p></o:p></p>
<p class="MsoNormal"> real-world applications that rely on an innovative use of<o:p></o:p></p>
<p class="MsoNormal"> declarative languages. Application descriptions, engineering<o:p></o:p></p>
<p class="MsoNormal"> solutions and real-world experiences (both positive and negative)<o:p></o:p></p>
<p class="MsoNormal"> are solicited. The limit for application papers is 6 pages in<o:p></o:p></p>
<p class="MsoNormal"> Springer LNCS format.<o:p></o:p></p>
<p class="MsoNormal"><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"> =================<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Matthew Flatt (co-chair), University of Utah, USA
<o:p></o:p></p>
<p class="MsoNormal"> Ronald Garcia, University of British Columbia, Canada
<o:p></o:p></p>
<p class="MsoNormal"> Hai-Feng Guo (co-chair), University of Nebraska at Omaha, USA<o:p></o:p></p>
<p class="MsoNormal"> Manuel Hermenegildo, Technical University of Madrid, Spain
<o:p></o:p></p>
<p class="MsoNormal"> Joohyung Lee, Arizona State University, USA <o:p>
</o:p></p>
<p class="MsoNormal"> Yuliya Lierler, University of Nebraska at Omaha, USA
<o:p></o:p></p>
<p class="MsoNormal"> Sam Lindley, University of Edinburgh, UK <o:p>
</o:p></p>
<p class="MsoNormal"> Leaf Petersen, Intel, USA <o:p></o:p></p>
<p class="MsoNormal"> Rinus Plasmeijer, Radboud University Nijmegen, Netherlands
<o:p></o:p></p>
<p class="MsoNormal"> C.R. Ramakrishnan, Stony Brook University, USA
<o:p></o:p></p>
<p class="MsoNormal"> Sukyoung Ryu, Advanced Institute of Science and Technology, Korea
<o:p></o:p></p>
<p class="MsoNormal"> Manuel Serrano, INRIA Sophia-Antipolis, France
<o:p></o:p></p>
<p class="MsoNormal"> Yi-Dong Shen, Chinese Academy of Sciences, China
<o:p></o:p></p>
<p class="MsoNormal"> Tran Cao Son, New Mexico State University, USA
<o:p></o:p></p>
<p class="MsoNormal"> Peter Stuckey, University of Melbourne, Australia
<o:p></o:p></p>
<p class="MsoNormal"> Peter Thiemann, University of Freiburg, Germany
<o:p></o:p></p>
<p class="MsoNormal"> Hans Tompits, Vienna University of Technology, Austria
<o:p></o:p></p>
<p class="MsoNormal"> Aaron Turon, Max Plank Institute, Germany <o:p>
</o:p></p>
<p class="MsoNormal"> David Van Horn, Northeastern University, USA
<o:p></o:p></p>
<p class="MsoNormal"> German Vidal, Technical University of Valencia, Spain
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Contacts<o:p></o:p></p>
<p class="MsoNormal"> ========<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> For additional information about papers and submissions, please<o:p></o:p></p>
<p class="MsoNormal">contact the Program Chairs:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> Matthew Flatt<o:p></o:p></p>
<p class="MsoNormal"> School of Computing, University of Utah <o:p></o:p></p>
<p class="MsoNormal"> Email: mflatt <AT> cs <DOT> utah <DOT> edu<o:p></o:p></p>
<p class="MsoNormal"> <o:p></o:p></p>
<p class="MsoNormal"> Hai-Feng Guo<o:p></o:p></p>
<p class="MsoNormal"> Department of Computer Science, University of Nebraska at Omaha<o:p></o:p></p>
<p class="MsoNormal"> Email: haifengguo <AT> unomaha <DOT> edu <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> With the Cooperation of<o:p></o:p></p>
<p class="MsoNormal"> =======================<o:p></o:p></p>
<p class="MsoNormal"> <o:p></o:p></p>
<p class="MsoNormal"> The Association for Logic Programming (ALP)<o:p></o:p></p>
<p class="MsoNormal"> ACM SIGPLAN<o:p></o:p></p>
<p class="MsoNormal"> ===================================<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>