computational.science June 2021

computational.science@lists.iccsa.org

9 participants
13 discussions

CFP - Workshop on Probabilistic Logic Programming (PLP 2021)
by Miguel Areias 07 Jun '21

07 Jun '21

========================================================================= CALL FOR PAPERS PLP 2021: The Eighth Workshop on Probabilistic Logic Programming http://stoics.org.uk/plp/plp2021 ========================================================================= A workshop of 37th International Conference on Logic Programming September 20-27, 2021 (the event will be virtual) ========================================================================= ** Deadline for submissions: August 1st 2021 Overview ******** Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus breaking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software This list is by no means exhaustive. Purpose ******** After seven successful editions of this workshop, the eighth edition of PLP will be held at the ICLP virtual conference organised by the University of Porto. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ICLP. Submissions *********** Submissions will be managed via EasyChair (to be announced). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results; work in progress; and technical summaries of recent substantial contributions. Papers presenting new results should be 6-15 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication *********** Informal proceedings will be made available electronically to attendees and submitted to CEUR Workshop Proceedings repository (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ********* Papers due: August 1st, 2021 Notification to authors: September 1st, 2021 Camera ready version due: September 10th, 2021 Workshop date: September 20-27, 2021 (all dates are AoE) Invited Speaker(s) ****************** TBA Programme Committee Chairs ************************** Rafael Penaloza (University of Milano-Bicocca, Italy) Felix Weitkämper (LMU München, Germany) Programme Committee ******************* TBA =========================================================================

1 0

The IEEE Technical Committee on Cloud Computing (TCCLD) Webinar, June 15, 2021 at 12pm CET (Online Free Event)
by Bahman Javadi 04 Jun '21

04 Jun '21

The IEEE Technical Committee on Cloud Computing (TCCLD) is organising a webinar on June 15th, 2021 at 12pm CET. The aim of the webinar is to support researchers and students with an interest in the areas of Cloud/Edge/Fog for fostering discussions with experts. Given the current limitations to organise face-to-face conferences, we plan to keep the research community connected and engaged with emerging research topics. The first seminar for 2021 will focus on “Future Directions in Cloud/Edge/Fog Computing”. Webpage: https://tc.computer.org/tccld/ieee-tccld_webinar-2121/ Date and time: 15 June, 2021, 12pm CET Academic Presenter: Prof. Schahram Dustdar, TU Wien, Austria Industry Presenter: Dr Paul Harvey, Rakuten Mobile, Japan Moderators/Contributors: A/Prof. Bahman Javadi, Western Sydney University, Australia Dr. Blesson Varghese, Queen's University Belfast, UK Agenda: Academic Presentation (20 min) Questions/Answers (10 min) Industry Presentation (20 min) Questions/Answers (10 min) Open Discussions (50 min) Wrap-up (10 min) Registration: https://docs.google.com/forms/d/1mjZ_DNWltJxWYfj1xVeWsLojJNrB6MdRXdxnntT5CT…

1 0

CFP - Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2021)
by Miguel Areias 03 Jun '21

03 Jun '21

========================================================================= CALL FOR PAPERS CAUSAL 2021: Workshop on Causal Reasoning and Explanation in Logic Programming https://sites.google.com/view/causal2021/ ========================================================================= A workshop of 37th International Conference on Logic Programming September 20-27, 2021 (the event will be virtual) ========================================================================= Important Dates *************** * Paper submission: July 17th 2021 * Notification: July 31st 2021 * Final Versions: August 15th 2021 * Workshop Date: TBA (in September 20-27, 2021) Overview ******** 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 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 * Learning causal relations and information * Novel causal benchmarks * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explainable AI * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format, available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… The workshop invites submissions of two types: * Full papers not exceeding 13 pages (excluding references) * Extended abstracts not exceeding 3 pages (excluding references) Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2021 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2021 website (https://iclp2021.dcc.fc.up.pt/) for registration procedure and fees. We are planning to publish a special issue with selected workshop papers. Organizers ********** * Emily LeBlanc, US Naval Research Lab, USA (emily.leblanc(a)nrl.navy.mil) * Joost Vennekens, KU Leuven, Belgium * Tran Cao Son, New Mexico State University, USA * Pedro Cabalar, Corunna University, Spain * Jorge Fandiño, University of Nebraska at Omaha, USA * Marcello Balduccini, Saint Joseph's University, USA * Yuliya Lierler, University of Nebraska at Omaha, USA =========================================================================

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science June 2021