Progic 2025: The 12th Workshop on Combining Probability and Logic: Carnegie Mellon University, Pittsburgh, PA — April 3–5, 2025. The Reasoner, v. 19, n. 3, 26 Jul.2025.