CFP
PROGIC 2025: The Twelfth Workshop on Combining Probability and Logic Carnegie Mellon University, Philosophy Department Pittsburgh, PA, United States, April 3-5, 2025 |
Conference website | https://www.cmu.edu/progic2025/ |
Submission link | https://easychair.org/conferences/?conf=progic2025 |
Abstract registration deadline | December 15, 2024 |
Submission deadline | December 15, 2024 |
Special focus: Theoretical Approaches to Learning and Learnability
Logic and probability provide two distinct frameworks for modeling how rational agents ought to draw inferences and learn from the available data in the face of uncertainty. The aim of this conference is to provide an interdisciplinary forum for bridging these two perspectives. In particular, we especially solicit submissions that combine insights and techniques from probability and logic to provide an analysis of rational learning and the conditions under which successful inductive learning can be achieved. These analyses may feature logic both in the strict sense—involving the study of formal systems and their semantics to investigate questions of expressivity, complexity, knowledge representation and inference—and in the broader sense of a systematic theory of correct reasoning and rational learning.
Topics of interest include, but are not limited to, logical and computability-theoretic aspects of probabilistic inference, logics for probabilistic and causal reasoning, inductive logic, statistical models of learning (including Bayesian approaches), formal learning theory, and topological approaches to learning and learnability.
Submissions
Submissions should consist of an extended abstract of at most 1000 words (to be submitted in PDF format).
Dates and Deadlines
Submission deadline: December 15, 2024 (AoE)
Notification of acceptance: January 15, 2025
Conference: April 3-April 5, 2025
Special Issue
There will be a special issue of the Journal of Logic and Computation devoted to the themes of the workshop. After the conference, we will solicit submissions to this volume.
The Progic Series
PROGIC 2025: The Twelfth Workshop on Combining Probability and Logic continues the Progic Conference Series, a biennial series of meetings that started in 2002. For information about previous iterations of the workshop, see https://jonwilliamson.uk/conferences/progic.html.
Contact
Acknowledgements
We acknowledge generous financial support from the Center for Formal Epistemology and the Institute for Complex Social Dynamics at Carnegie Mellon University.