<div dir="ltr">                  Call for Contributions<br><br>           Workshop on Trends, Extensions, Applications and<br>            Semantics of Logic Programming (TEASE-LP 2020)<br>                  Dublin, Ireland, 25 April 2020<br>                   (co-located with ETAPS 2020)<br>                      <a href="http://www.coalg.org/tease-lp">www.coalg.org/tease-lp</a><br><br>Logic programming is a framework for expressing programs, propositions<br>and relations as Horn clause theories, with the purpose of performing<br>automatic inference in these theories. Horn clause theories are famous<br>for their well-understood declarative semantics, in which models of<br>logic programs are given inductively or coinductively. At the same time,<br>Horn clauses give rise to efficient inference procedures, usually involving<br>resolution. Logic programming found applications in type inference,<br>verification, and AI. While logic programming was originally conceived<br>for describing simple facts, it was extended to account for much more<br>complex theories. This includes higher-order theories, inductive and<br>coinductive data, and stochastic/probabilistic theories.<br><br>The aim of this workshop is to bring together researchers that work on<br>extensions of logic programming and inference methods, and to foster an<br>exchange of methods and applications that have emerged in different<br>communities.<br><br>Topics<br>---------------------------<br>The central idea of this workshop is to discuss the theory of logic<br>programming and associated topics that have as well the goal to<br>automatically infer knowledge and proofs. Our intention is to bring<br>together researchers that work on the numerous topics that contribute to<br>automatic proof inference and foster an exchange that may lead to  advances<br>in the theory of logic programming.<br><br>Topics of interest include, but are not limited to, the following:<br><br>    * Proof theory (e.g. focalised and uniform proofs), <br>    * Logic programming beyond the classical Horn clause theories<br>      (e.g. coinduction, higher-order Horn clauses, probabilities,<br>      categorical logic, inductive LP), <br>    * Extensions of logic programming (e.g. DataLog, description logic,<br>      relational programming), <br>    * Advanced implementations (e.g. λProlog, ELPI, miniKanren), <br>    * Type theory (e.g. polarised λ-calculus, proofs-as-programs,<br>       types for logic programming), <br>    * Semantics (e.g. classical, categorical, algebraic, coalgebraic) , and<br>    * Applications.<br><br>Venue and Event<br>---------------------------<br>TEASE-LP 2020 will be held in Dublin, Ireland, co-located with<br>ETAPS 2020 on 25 April 2020.<br><br>Important Dates<br>---------------------------<br>Abstract submission    Wednesday, 26 February 2020 AoE<br>Notification           Wednesday, 25 March 2020 AoE<br>Camera-ready copy      Wednesday, 1 April 2020 AoE<br>Workshop               Saturday, 25 April 2020<br><br>Programme Committee<br>---------------------------<br>Henning Basold (chair), Leiden University, NLD<br>William Byrd, University of Alabama at Birmingham, USA<br>Gopal Gupta, The University of Texas at Dallas, USA<br>Ekaterina Komendantskaya (chair), Heriot-Watt University, GBR<br>Dale Miller, INRIA and LIX/Ecole Polytechnique, FRA<br>Gopalan Nadathur, University of Minnesota, USA<br>Frank Pfenning, Carnegie Mellon University, USA<br>Hiroshi Unno, University of Tsukuba, JPN<br>Noam Zeilberger, University of Birmingham, GBR<br><br>Submission Instructions<br>---------------------------<br>Since the aim of the workshop is to foster exchange and discussions<br>on trends, extensions, applications and semantics of logic programming,<br>we invite presentations of possibly already published as well as ongoing<br>work. Submissions should be abstracts of at most two pages in<br>EPTCS style (<a href="http://style.eptcs.org/">http://style.eptcs.org/</a>) and will be only be published in<br>the informal pre-proceedings and on the website of the workshop.<br>Post-proceedings volume may be solicited by the PC, based on the quality<br>of contributions. Contributions should be submitted via the Easychair system:<br><br>  <a href="https://easychair.org/my/conference?conf=teaselp2020">https://easychair.org/my/conference?conf=teaselp2020</a><br><br>All contributions will be refereed by the programme committee and it is<br>expected that at least one of the authors will be present during the<br>workshop.<br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><div><span style="letter-spacing:0.2px">                                                                                     </span><br></div><div><br></div><div><br></div><div><br></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>