The special focus of PROGIC 2025 is Theoretical Approaches to Learning and Learnability.
\nLogic 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&mdash\;involving the study of formal systems and their semantics to investigate questions of expressivity\, complexity\, knowledge representation and inference&mdash\;and in the broader sense of a systematic theory of correct reasoning and rational learning.
\nTopics 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.
\nInvited Speakers TBA
\nSubmissions
\nSubmissions 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.
\nDates and Deadlines
\nSubmission deadline: December 15\, 2024 (AoE)
\nNotification of acceptance: January 15\, 2025
\nConference: April 3-April 5\, 2025
\nSpecial Issue
\nThere 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.
\nThe Series
\nPROGIC 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.
\nOrganizing Committee
\nKevin Kelly (Carnegie Mellon University)
\nKrzysztof Mierzewski (Carnegie Mellon University)
\nFrancesca Zaffora Blando (Carnegie Mellon University)
\nProgic Steering Committee
\nNiki Pfeifer (University of Regensburg)
\nJan-Willem Romeijn (University of Groningen)
\nMarta Sznajder (University of Vienna)
\nGregory Wheeler (Frankfurt School of Finance &\; Management)
\nJon Williamson (University of Kent)
\nFrancesca Zaffora Blando (Carnegie Mellon University)
\nVenue
\nThe conference will be held at Carnegie Mellon University\, in Pittsburgh\, Pennsylvania\, USA
\nAcknowledgements
\nWe acknowledge generous financial support from the Center for Formal Epistemology and the Institute for Complex Social Dynamics at Carnegie Mellon University.
\n