-------- Forwarded Message -------- Subject: [WI] CAUSAL 2019 Call for Papers Date: Mon, 11 Feb 2019 16:25:23 -0500 From: Emily LeBlanc ecl.drexel@gmail.com Reply-To: Emily LeBlanc ecl.drexel@gmail.com To: complog@cs.nmsu.edu, comprox@doc.ic.ac.uk, concurrency@cwi.nl, conferences@computer.org, cphc-conf@jiscmail.ac.uk, cs@ics.forth.gr, distributed-ai@jiscmail.ac.uk, dl@dl.kr.org, dmanet@zpr.uni-koeln.de, elsnet-list@elsnet.org, erlang-questions@erlang.org, event@in.tu-clausthal.de, fg-arc@lists.uni-paderborn.de, fm-announcements@lists.nasa.gov, fmics@inrialpes.fr, formal-methods@cs.toronto.edu, formal-methods@cs.utoronto.ca, forman@acm.org, formis@dipmat.unipg.it, fp@cs.cmu.edu, gulp-all@yahoogroups.com, gri@informatik.uni-rostock.de, hol-info@lists.sourceforge.net, ifip@ifip.or.at, imdea@clip.dia.fi.upm.es, inductive@listserv.unb.ca, inductive-request@listserv.unb.ca, ki-inf@uni-koblenz.de, kr@kr.org, krlab.admin@gmail.com, lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com, linear@cs.stanford.edu, logic@cs.stanford.edu, logic@math.uni-bonn.de, logic-list@helsinki.fi, maude-users@cs.uiuc.edu, mizar-forum@mizar.uwb.edu.pl, nqthm-users@cs.utexas.edu, nvti-list@cwi.nl, nwpt-info@lists.ioc.ee, oegai@ifs.tuwien.ac.at, om-announce@openmath.org, ontology@buffalo.edu, planetkr@kr.org, podc-related@acm.org, prog-lang@diku.dk, project-calculemus@jacobs-university.de, relmics-l@mcmaster.ca, semanticweb@yahoogroups.com, sicstus-users@sics.se, sigarch-members@listserv.acm.org, sigparse-list@lists.andrew.cmu.edu, sigplan-announce@listserv.acm.org, sigsam-friends@listserv.acm.org, sigsam-members@listserv.acm.org, sml-list@cs.cmu.edu, staff@dbai.tuwien.ac.at, staff@forsyte.tuwien.ac.at, staff@kr.tuwien.ac.at, tag@cs.utexas.edu, theory-a@listserv.nodak.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu, users@mozart-oz.org, users-prolog@gnu.org, vki-list@dfki.de, webmaster@aisb.org.uk, webmaster@eatcs.org, wi@aifb.uni-karlsruhe.de, yap-users@lists.sourceforge.net, zforum@comlab.ox.ac.uk, logic-programming@lists.picat-lang.org, uai@ENGR.ORST.EDU, argumentationcompetition@inria.fr, comma@lists.dbai.tuwien.ac.at
[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]
CALL FOR PAPERS
*** CAUSAL 2019 ***
(June 3 or 4, 2019)
CAUSAL 2019 is a workshop co-located with LPNMR 2019 in Philadelphia, PA (USA).
https://sites.google.com/view/causal-2019/
CAUSAL 2019 IMPORTANT DATES ----------------------- * Paper submission: April 15th 2019 * Notification: May 2nd 2019 * Final Versions: May 26th 2019 * Workshop Date: June 3rd or 4th 2019
------------------------
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 and understanding causality enables us to identify how an outcome of interest came to be and gives us 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). An important expected outcome of this workshop is to collect first-hand feedback from the LPNMR 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 * 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/conferenc...
Please submit your paper via EasyChair: https://easychair.org/cfp/CAUSAL2019
At least one co-author of each accepted paper must register for and attend the workshop.
Please check the LPNMR 2019 website for registration procedure and fees. https://sites.sju.edu/plw/lpnmr-2019/
ORGANIZERS ---------- Emily LeBlanc, Drexel University, USA, ecl.drexel@gmail.com mailto:ecl.drexel@gmail.com
Joost Vennekens, KU Leuven, Belgium
Tran Cao Son, New Mexico State University, USA
Pedro Cabalar, Corunna University, Spain
Jorge Fandiño, Institut de Recherche en Informatique de Toulouse, France
Marcello Balduccini, Saint Joseph's University, USA
-- Mailing-Liste: wi@lists.kit.edu Administrator: wi-request@lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi