The Coq mailing list

[Víctor Pérez <victor.perez AT software.imdea.org>]

[Apologies if you receive multiple copies of this email. Please distribute to 
interested parties.]


Fourth Workshop on Causal Reasoning and Explanation in Logic Programming


                    CALL FOR PAPERS 
                  *** CAUSAL 2022 ***


                     July 31 2022


Fourth Workshop on Causal Reasoning and Explanation in Logic Programming


CAUSAL 2022 is a workshop of ICLP 2022 to be held in Haifa, Israel.


CAUSAL 2022 IMPORTANT DATES
-----------------------
* Paper submission: May 22nd 2022
* Notification: June 5th 2022
* Final Versions: June 20th 2022
* Workshop Date: July 31 2022
------------------------


Sophisticated causal reasoning has long been prevalent in human society and
continues to have an undeniable impact on the advancement of science,
technology, medicine, and other significant fields. From the development of
ancient tools to modern roots of causal analysis in business and industry,
reasoning about causality and having the ability to explain causal mechanisms 
enables us to identify how an outcome of interest came to be and gives 
insight into how to bring about, or even prevent, similar outcomes in future 
scenarios.


This workshop aims to bring together researchers and practitioners of
logic programming with a dedicated focus on methods and trends emerging from
the study of causality and explanation. We welcome the submission of papers on
systems, tools, and applications of logic programming methods for causal
reasoning and explanation. In particular, we encourage submissions presenting
recent developments, including works in progress. The workshop will present
the latest research and application developments in these areas and provide
opportunities to discuss current and future research directions and
relationships to other fields (e.g. Machine Learning, Diagnosis, Natural
Language Processing and Understanding, Philosophy of Science). An important 
expected outcome of this workshop is to collect first-hand feedback from the 
ICLP 
community about the role and placement of causal reasoning and explanation in 
the landscape of modern computer theory as well as in the software industry.








TOPICS
------
Topics of interests include (but are not limited to):


* Modeling causal theories in logic programming
* Formalization of types of causes: sufficient, necessary, actual, etc
* Causality, temporal reasoning and action theories
* Causality and counterfactual reasoning
* Causality, learning and experimental design
* Causality and probability
* Causality and equivalence
* Causality and ontology
* Relating LP based causality and Causal Networks
* Challenging problems and benchmark examples
* Justifications and argumentation
* Explanations for diagnosis and debugging
* Tools, systems and applications


Submissions must describe original research and be prepared using the Springer
LNAI/LNCS format and should be no longer than 13 pages.
https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines


Please submit your paper via EasyChair:


https://easychair.org/conferences/?conf=causal2022 


At least one co-author of each accepted paper must register for and
attend the workshop.


Please check the ICLP 2022 website for registration procedure and fees.

https://software.imdea.org/Conferences/ICLP2022/index.html


ORGANIZERS
----------
Emily LeBlanc, USA, ecl.drexel AT gmail.com


Joost Vennekens, KU Leuven, Belgium


Tran Cao Son, New Mexico State University, USA


Pedro Cabalar, Corunna University, Spain


Jorge Fandiño, University of Potsdam, Germany


Marcello Balduccini, Saint Joseph's University, USA


Yuliya Lierler, University of Nebraska at Omaha, USA