<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Workshop on Causal Reasoning and Explanation in Logic Programming</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class=""> CALL FOR PAPERS</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class=""> *** CAUSAL 2020 ***</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class=""> (September 17 or 18, 2020)</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class=""> Workshop on Causal Reasoning and Explanation in Logic Programming</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class=""> CAUSAL 2020 is a workshop co-located with ICLP 2020</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; background-color: rgb(255, 255, 255);" class=""><span style="font-kerning: none" class=""> in University of Calabria, Rende, Italy.</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; background-color: rgb(255, 255, 255); min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">CAUSAL 2020 IMPORTANT DATES</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">-----------------------</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Paper submission: July 15th 2020</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Notification: July 30th 2020</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Final Versions: August 15th 2020</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Workshop Date: September 17th or 18th 2020</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">------------------------</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Sophisticated causal reasoning has long been prevalent in human society and</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">continues to have an undeniable impact on the advancement of science,</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">technology, medicine, and other significant fields. From the development of</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">ancient tools to modern roots of causal analysis in business and industry,</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; background-color: rgb(255, 255, 255);" class=""><span style="font-kerning: none" class="">reasoning about causality and having the ability to explain causal mechanisms </span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">enables us to identify how an</span><span style="font-kerning: none" class=""> </span><span style="font-kerning: none; background-color: #ffffff" class="">outcome of interest came to be and gives </span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">insight into how to bring about,</span><span style="font-kerning: none" class=""> </span><span style="font-kerning: none; background-color: #ffffff" class="">or even prevent, similar outcomes in future </span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">scenarios.</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">This workshop aims to bring together researchers and practitioners of</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">logic programming with a dedicated focus on methods and trends emerging from</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">the study of causality and explanation. We welcome the submission of papers on</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">systems, tools, and applications of logic programming methods for causal</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">reasoning and explanation. In particular, we encourage submissions presenting</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">recent developments, including works in progress. The workshop will present</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">the latest research and application developments in these areas and provide</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">opportunities to discuss current and future research directions and</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; background-color: rgb(255, 255, 255);" class=""><span style="font-kerning: none" class="">relationships to other fields (e.g. Machine Learning, Explainable AI, Diagnosis,</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class=""> Natural</span><span style="font-kerning: none" class=""> </span><span style="font-kerning: none; background-color: #ffffff" class="">Language Processing and Understanding, Philosophy of Science). An important </span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">expected outcome of this</span><span style="font-kerning: none" class=""> </span><span style="font-kerning: none; background-color: #ffffff" class="">workshop is to collect first-hand feedback from the ICLP </span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">community about the</span><span style="font-kerning: none" class=""> </span><span style="font-kerning: none; background-color: #ffffff" class="">role and placement of causal reasoning and explanation in </span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">the landscape of</span><span style="font-kerning: none" class=""> </span><span style="font-kerning: none; background-color: #ffffff" class="">modern computer theory as well as in the software industry.</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">TOPICS</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">------</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Topics of interests include (but are not limited to):</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Modeling causal theories in logic programming</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Formalization of types of causes: sufficient, necessary, actual, etc</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Causality, temporal reasoning and action theories</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Causality and counterfactual reasoning</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Causality, learning and experimental design</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Causality and probability</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; background-color: rgb(255, 255, 255);" class=""><span style="font-kerning: none" class="">* Causality and equivalence</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Causality and ontology</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Relating LP based causality and Causal Networks</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Challenging problems and benchmark examples</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Justifications and argumentation</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Explanations for diagnosis and debugging</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">* Tools, systems and applications</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Submissions must describe original research and be prepared using the Springer</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">LNAI/LNCS format and should be no longer than 13 pages.</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(9, 80, 208);" class=""><span style="text-decoration: underline ; font-kerning: none; background-color: #ffffff" class=""><a href="https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines" class="">https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines<span style="-webkit-font-kerning: none;" class=""></span></a></span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Please submit your paper via EasyChair:</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(0, 0, 233);" class=""><span style="text-decoration: underline ; font-kerning: none" class=""><a href="https://easychair.org/my/conference?conf=causal2020" class="">https://easychair.org/my/conference?conf=causal2020<span style="-webkit-font-kerning: none; color: rgb(0, 0, 233);" class=""></span></a></span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">At least one co-author of each accepted paper must register for and</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">attend the workshop.</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Please check the ICLP 2020 website for registration procedure and fees.</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(0, 0, 233);" class=""><span style="text-decoration: underline ; font-kerning: none" class=""><a href="https://iclp2020.unical.it/" class="">https://iclp2020.unical.it/<span style="-webkit-font-kerning: none; color: rgb(0, 0, 233);" class=""></span></a></span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">ORGANIZERS</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">----------</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Emily LeBlanc, US Naval Research Lab, USA, <a href="mailto:emily.leblanc@nrl.navy.mil" class="">emily.leblanc@nrl.navy.mil</a></span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Joost Vennekens, KU Leuven, Belgium</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Tran Cao Son, New Mexico State University, USA</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Pedro Cabalar, Corunna University, Spain</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo;" class=""><span style="font-kerning: none; background-color: #ffffff" class="">Jorge Fandiño, University of Potsdam, Germany</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; background-color: rgb(255, 255, 255);" class=""><span style="font-kerning: none" class="">Marcello Balduccini, Saint Joseph's University, USA</span></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; background-color: rgb(255, 255, 255); min-height: 13px;" class=""><span style="font-kerning: none" class=""></span><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; background-color: rgb(255, 255, 255);" class=""><span style="font-kerning: none" class="">Yuliya Lierler, University of Nebraska at Omaha, USA</span></div></body></html>