<html>
  <head>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-15">
  </head>
  <body>
    <p style="color: rgb(34, 34, 34); font-size: small; font-style:
      normal; font-variant-ligatures: normal; font-variant-caps: normal;
      font-weight: 400; letter-spacing: normal; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); text-decoration-style:
      initial; text-decoration-color: initial;"><font size="+1"><tt>[Apologies
          if you receive multiple copies of this email. Please
          distribute to interested parties.]</tt><tt><br>
        </tt><tt><br>
        </tt><tt>Workshop on Causal Reasoning and Explanation in Logic
          Programming</tt><tt><br>
        </tt><tt><br>
        </tt><tt>                              CALL FOR PAPERS</tt><tt><br>
        </tt><tt><br>
        </tt><tt>                           *** CAUSAL 2020 ***</tt><tt><br>
        </tt><tt><br>
        </tt><tt>                          (September 17 or 18, 2020)</tt><tt><br>
        </tt><tt><br>
        </tt><tt>     Workshop on Causal Reasoning and Explanation in
          Logic Programming</tt><tt><br>
        </tt><tt><br>
        </tt><tt>          CAUSAL 2020 is a workshop co-located with</tt><tt><span> </span></tt><tt><span
            class="il">ICLP</span></tt><tt><span> </span></tt><tt>2020</tt><tt><br>
        </tt><tt>                 in University of Calabria, Rende,
          Italy.</tt></font></p>
    <font size="+1"><tt><font style="color: rgb(34, 34, 34); font-size:
          small; font-style: normal; font-variant-ligatures: normal;
          font-variant-caps: normal; font-weight: 400; letter-spacing:
          normal; orphans: 2; text-align: start; text-indent: 0px;
          text-transform: none; white-space: normal; widows: 2;
          word-spacing: 0px; -webkit-text-stroke-width: 0px;
          background-color: rgb(255, 255, 255); text-decoration-style:
          initial; text-decoration-color: initial;"><br>
        </font></tt><tt><span style="color: rgb(34, 34, 34); font-size:
          small; font-style: normal; font-variant-ligatures: normal;
          font-variant-caps: normal; font-weight: 400; letter-spacing:
          normal; text-align: start; text-indent: 0px; text-transform:
          none; white-space: normal; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 255); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;"></span></tt></font>
    <pre style="white-space: pre-wrap; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; background-color: rgb(255, 255, 255); margin-top: 0px; margin-bottom: 0px; color: rgb(0, 0, 0); font-size: 14px;"><font size="+1">*NOTE ABOUT COVID-19: We will follow advice from the ICLP2020 organizers on the
situation, and we will revise our workshop timeline and other procedures accordingly 
if needed.*
</font></pre>
    <font size="+1"><tt><font style="color: rgb(34, 34, 34); font-size:
          small; font-style: normal; font-variant-ligatures: normal;
          font-variant-caps: normal; font-weight: 400; letter-spacing:
          normal; orphans: 2; text-align: start; text-indent: 0px;
          text-transform: none; white-space: normal; widows: 2;
          word-spacing: 0px; -webkit-text-stroke-width: 0px;
          background-color: rgb(255, 255, 255); text-decoration-style:
          initial; text-decoration-color: initial;"><br>
        </font></tt><tt><span style="color: rgb(34, 34, 34); font-size:
          small; font-style: normal; font-variant-ligatures: normal;
          font-variant-caps: normal; font-weight: 400; letter-spacing:
          normal; text-align: start; text-indent: 0px; text-transform:
          none; white-space: normal; word-spacing: 0px;
          -webkit-text-stroke-width: 0px; background-color: rgb(255,
          255, 255); text-decoration-style: initial;
          text-decoration-color: initial; display: inline !important;
          float: none;"></span></tt></font>
    <p style="color: rgb(34, 34, 34); font-size: small; font-style:
      normal; font-variant-ligatures: normal; font-variant-caps: normal;
      font-weight: 400; letter-spacing: normal; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); text-decoration-style:
      initial; text-decoration-color: initial;"><font size="+1"><tt>CAUSAL
          2020 IMPORTANT DATES</tt><tt><br>
        </tt><tt>-------------------------</tt><tt><br>
        </tt><tt>* Paper submission: July 15th 2020</tt><tt><br>
        </tt><tt>* Notification: July 30th 2020</tt><tt><br>
        </tt><tt>* Final Versions: August 15th 2020</tt><tt><br>
        </tt><tt>* Workshop Date: September 17th or 18th 2020</tt><tt><br>
        </tt><tt><br>
        </tt><tt>------------------------</tt><tt><br>
        </tt><tt>Sophisticated causal reasoning has long been prevalent
          in human society and</tt><tt><br>
        </tt><tt>continues to have an undeniable impact on the
          advancement of science,</tt><tt><br>
        </tt><tt>technology, medicine, and other significant fields.
          From the development of</tt><tt><br>
        </tt><tt>ancient tools to modern roots of causal analysis in
          business and industry,</tt><tt><br>
        </tt><tt>reasoning about causality and having the ability to
          explain causal mechanisms</tt><tt><br>
        </tt><tt>enables us to identify how an outcome of interest came
          to be and gives</tt><tt><br>
        </tt><tt>insight into how to bring about, or even prevent,
          similar outcomes in future</tt><tt><br>
        </tt><tt>scenarios.</tt><tt><br>
        </tt><tt><br>
        </tt><tt>This workshop aims to bring together researchers and
          practitioners of</tt><tt><br>
        </tt><tt>logic programming with a dedicated focus on methods and
          trends emerging from</tt><tt><br>
        </tt><tt>the study of causality and explanation. We welcome the
          submission of papers on</tt><tt><br>
        </tt><tt>systems, tools, and applications of logic programming
          methods for causal</tt><tt><br>
        </tt><tt>reasoning and explanation. In particular, we encourage
          submissions presenting</tt><tt><br>
        </tt><tt>recent developments, including works in progress. The
          workshop will present</tt><tt><br>
        </tt><tt>the latest research and application developments in
          these areas and provide</tt><tt><br>
        </tt><tt>opportunities to discuss current and future research
          directions and</tt><tt><br>
        </tt><tt>relationships to other fields (e.g. Machine Learning,
          Explainable AI, Diagnosis,</tt><tt><br>
        </tt><tt> Natural Language Processing and Understanding,
          Philosophy of Science). An important</tt><tt><br>
        </tt><tt>expected outcome of this workshop is to collect
          first-hand feedback from the</tt><tt><span> </span></tt><tt><span
            class="il">ICLP</span></tt><tt><br>
        </tt><tt>community about the role and placement of causal
          reasoning and explanation in</tt><tt><br>
        </tt><tt>the landscape of modern computer theory as well as in
          the software industry.</tt><tt><br>
        </tt><tt><br>
        </tt><tt>TOPICS</tt><tt><br>
        </tt><tt>------</tt><tt><br>
        </tt><tt>Topics of interests include (but are not limited to):</tt><tt><br>
        </tt><tt><br>
        </tt><tt>* Modeling causal theories in logic programming</tt><tt><br>
        </tt><tt>* Formalization of types of causes: sufficient,
          necessary, actual, etc</tt><tt><br>
        </tt><tt>* Causality, temporal reasoning and action theories</tt><tt><br>
        </tt><tt>* Causality and counterfactual reasoning</tt><tt><br>
        </tt><tt>* Causality, learning and experimental design</tt><tt><br>
        </tt><tt>* Causality and probability</tt><tt><br>
        </tt><tt>* Causality and equivalence</tt><tt><br>
        </tt><tt>* Causality and ontology</tt><tt><br>
        </tt><tt>* Relating LP based causality and Causal Networks</tt><tt><br>
        </tt><tt>* Challenging problems and benchmark examples</tt><tt><br>
        </tt><tt>* Justifications and argumentation</tt><tt><br>
        </tt><tt>* Explanations for diagnosis and debugging</tt><tt><br>
        </tt><tt>* Tools, systems and applications</tt><tt><br>
        </tt><tt><br>
        </tt><tt>Submissions must describe original research and be
          prepared using the Springer</tt><tt><br>
        </tt><tt>LNAI/LNCS format and should be no longer than 13 pages.</tt><tt><br>
        </tt><tt><a
href="https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines"
            target="_blank"
data-saferedirecturl="https://www.google.com/url?q=https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines&source=gmail&ust=1593096898668000&usg=AFQjCNFlQOkjeHLx4SjPmh2vpjSmgPlMRA"
            style="color: rgb(17, 85, 204);">https://www.springer.com/gp/<wbr>authors-editors/conference-<wbr>proceedings/conference-<wbr>proceedings-guidelines</a></tt><tt><br>
        </tt><tt><br>
        </tt><tt>Please submit your paper via EasyChair:</tt><tt><br>
        </tt><tt><br>
        </tt><tt><a
            href="https://easychair.org/conferences/?conf=causal2020"
            target="_blank"
data-saferedirecturl="https://www.google.com/url?q=https://easychair.org/conferences/?conf%3Dcausal2020&source=gmail&ust=1593096898668000&usg=AFQjCNEA7JybpzMBUkrZxwKj2SIcQVpSAg"
            style="color: rgb(17, 85, 204);">https://easychair.org/<wbr>conferences/?conf=causal2020</a></tt><tt><br>
        </tt><tt><br>
        </tt><tt>At least one co-author of each accepted paper must
          register for and</tt><tt><br>
        </tt><tt>attend the workshop.</tt><tt><br>
        </tt><tt><br>
        </tt><tt>Please check the</tt><tt><span> </span></tt><tt><span
            class="il">ICLP</span></tt><tt><span> </span></tt><tt>2020
          website for registration procedure and fees.</tt><tt><br>
        </tt><tt><a href="https://iclp2020.unical.it/" target="_blank"
data-saferedirecturl="https://www.google.com/url?q=https://iclp2020.unical.it/&source=gmail&ust=1593096898668000&usg=AFQjCNGm0ggmCCll602GKMnKll-FisJTZg"
            style="color: rgb(17, 85, 204);">https://iclp2020.unical.it/</a></tt><tt><br>
        </tt><tt><br>
        </tt><tt>ORGANIZERS</tt><tt><br>
        </tt><tt>----------</tt><tt><br>
        </tt><tt>Emily LeBlanc, US Naval Research Lab, USA,</tt><tt><span> </span></tt><tt><a
            href="mailto:emily.leblanc@nrl.navy.mil" target="_blank"
            style="color: rgb(17, 85, 204);">emily.leblanc@nrl.navy.mil</a></tt><tt><br>
        </tt><tt>Joost Vennekens, KU Leuven, Belgium</tt><tt><br>
        </tt><tt>Tran Cao Son, New Mexico State University, USA</tt><tt><br>
        </tt><tt>Pedro Cabalar, Corunna University, Spain</tt><tt><br>
        </tt><tt>Jorge Fandiņo, University of Potsdam, Germany</tt><tt><br>
        </tt><tt>Marcello Balduccini, Saint Joseph's University, USA</tt><tt><br>
        </tt><tt>Yuliya Lierler, University of Nebraska at Omaha, USA</tt></font></p>
  </body>
</html>

<br>
<div><span style="background-color:white;color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px"><br>--</span></div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white"><b>Dona il  5x1000</b> all'Universitā degli Studi di Sassari</span><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white">codice fiscale: 00196350904</span></div>