<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>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Call for Papers<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ===============</p>
<p class="owaPara">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 16th International Symposium on <br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Practical Aspects of Declarative Languages (PADL 2014)</p>
<p class="owaPara">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <a href="http://www.ist.unomaha.edu/padl2014">http://www.ist.unomaha.edu/padl2014</a></p>
<p class="owaPara">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; San Diego, California, USA, January 20-21, 2014<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Co-located with ACM POPL'14</p>
<p class="owaPara">&nbsp;</p>
<p class="owaPara">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Conference Description<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ======================</p>
<p class="owaPara">&nbsp;&nbsp; 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">&nbsp;&nbsp; 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">&nbsp;&nbsp; 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">&nbsp;&nbsp; * Innovative applications of declarative languages<br>
&nbsp;&nbsp; * Declarative domain-specific languages and applications<br>
&nbsp;&nbsp; * Practical applications of theoretical results<br>
&nbsp;&nbsp; * New language developments and their impact on applications<br>
&nbsp;&nbsp; * Declarative languages and Software Engineering<br>
&nbsp;&nbsp; * Evaluation of implementation techniques on practical applications<br>
&nbsp;&nbsp; * Practical experiences and industrial applications<br>
&nbsp;&nbsp; * Novel uses of declarative languages in the classroom<br>
&nbsp;&nbsp; * Practical extensions such as constraint-based, probabilistic, and reactive languages.</p>
<p class="owaPara">&nbsp;&nbsp; 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">&nbsp;</p>
<p class="owaPara">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Important Dates and Submission Guidelines<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; =========================================</p>
<p class="owaPara">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Abstract Submission:&nbsp;&nbsp;&nbsp; September&nbsp; 6, 2013<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Paper Submission:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; September 13, 2013<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Notification:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; October 21, 2013<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Camera-ready:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; November 10, 2013<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Symposium:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; January 20-21, 2014</p>
<p class="owaPara">&nbsp;&nbsp; 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">&nbsp;&nbsp; * Technical papers must describe original, previously unpublished<br>
&nbsp;&nbsp;&nbsp;&nbsp; research results. Technical papers must not exceed 16 pages in<br>
&nbsp;&nbsp;&nbsp;&nbsp; Springer LNCS format.<br>
&nbsp;&nbsp; * Application papers are a mechanism to present important practical<br>
&nbsp;&nbsp;&nbsp;&nbsp; applications of declarative languages that occur in industry or<br>
&nbsp;&nbsp;&nbsp;&nbsp; in areas of research other than Computer Science. Application<br>
&nbsp;&nbsp;&nbsp;&nbsp; papers will be published in the Springer-Verlag conference<br>
&nbsp;&nbsp;&nbsp;&nbsp; proceedings, and will be presented in a separate session.<br>
&nbsp;&nbsp;&nbsp;&nbsp; Application papers are expected to describe complex and/or<br>
&nbsp;&nbsp;&nbsp;&nbsp; real-world applications that rely on an innovative use of<br>
&nbsp;&nbsp;&nbsp;&nbsp; declarative languages. Application descriptions, engineering<br>
&nbsp;&nbsp;&nbsp;&nbsp; solutions and real-world experiences (both positive and negative)<br>
&nbsp;&nbsp;&nbsp;&nbsp; are solicited. The limit for application papers is 6 pages in<br>
&nbsp;&nbsp;&nbsp;&nbsp; Springer LNCS format.</p>
<p class="owaPara"><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Program Committee<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; =================</p>
<p class="owaPara">&nbsp;Matthew Flatt (co-chair), University of Utah, USA <br>
&nbsp;Ronald Garcia, University of British Columbia, Canada <br>
&nbsp;Hai-Feng Guo (co-chair), University of Nebraska at Omaha, USA<br>
&nbsp;Manuel Hermenegildo, Technical University of Madrid, Spain <br>
&nbsp;Joohyung Lee, Arizona State University, USA <br>
&nbsp;Yuliya Lierler, University of Nebraska at Omaha, USA <br>
&nbsp;Sam Lindley, University of Edinburgh, UK <br>
&nbsp;Leaf Petersen, Intel, USA <br>
&nbsp;Rinus Plasmeijer, Radboud University Nijmegen, Netherlands <br>
&nbsp;C.R. Ramakrishnan, Stony Brook University, USA <br>
&nbsp;Sukyoung Ryu, Advanced Institute of Science and Technology, Korea <br>
&nbsp;Manuel Serrano, INRIA Sophia-Antipolis, France <br>
&nbsp;Yi-Dong Shen, Chinese Academy of Sciences, China <br>
&nbsp;Tran Cao Son, New Mexico State University, USA <br>
&nbsp;Peter Stuckey, University of Melbourne, Australia <br>
&nbsp;Peter Thiemann, University of Freiburg, Germany <br>
&nbsp;Hans Tompits, Vienna University of Technology, Austria <br>
&nbsp;Aaron Turon, Max Plank Institute, Germany <br>
&nbsp;David Van Horn, Northeastern University, USA <br>
&nbsp;German Vidal, Technical University of Valencia, Spain </p>
<p class="owaPara">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Contacts<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ========</p>
<p class="owaPara">&nbsp;&nbsp; For additional information about papers and submissions, please<br>
contact the Program Chairs:</p>
<p class="owaPara">&nbsp;&nbsp;&nbsp; Matthew Flatt<br>
&nbsp;&nbsp;&nbsp; School of Computing, University of Utah <br>
&nbsp;&nbsp;&nbsp; Email: mflatt &lt;AT&gt; cs &lt;DOT&gt; utah &lt;DOT&gt; edu<br>
&nbsp;&nbsp;&nbsp; <br>
&nbsp;&nbsp;&nbsp; Hai-Feng Guo<br>
&nbsp;&nbsp;&nbsp; Department of Computer Science, University of Nebraska at Omaha<br>
&nbsp;&nbsp;&nbsp; Email: haifengguo &lt;AT&gt; unomaha &lt;DOT&gt; edu </p>
<p class="owaPara"><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; With the Cooperation of<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; =======================<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; The Association for Logic Programming (ALP)<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ACM SIGPLAN<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ===================================</p>
</div>
</body>
</html>