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