CFP: PROGIC 2025: The Twelfth Workshop on Combining Probability and Logic

The special focus of PROGIC 2025 is 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.

Invited Speakers TBA

Submissions

Submissions should consist of an extended abstract of at most 1000 words (to be submitted in PDF format). The submission web page is https://easychair.org/conferences/?conf=progic2025.

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 paper submissions to this volume.

The 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.

Organizing Committee

Kevin Kelly (Carnegie Mellon University)

Krzysztof Mierzewski (Carnegie Mellon University)

Francesca Zaffora Blando (Carnegie Mellon University)

Progic Steering Committee


Niki Pfeifer (University of Regensburg)

Jan-Willem Romeijn (University of Groningen)

Marta Sznajder (University of Vienna)

Gregory Wheeler (Frankfurt School of Finance & Management)

Jon Williamson (University of Kent)

Francesca Zaffora Blando (Carnegie Mellon University)

Venue

The conference will be held at Carnegie Mellon University, in Pittsburgh, Pennsylvania, USA

Acknowledgements

We acknowledge generous financial support from the Center for Formal Epistemology and the Institute for Complex Social Dynamics at Carnegie Mellon University.