LPAR 2024: Volume InformationProceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning31 articles•502 pages•Published: May 26, 2024 PapersFrédéric Blanqui 118  Guilherme V. Toledo and Yoni Zohar 1935  Luís CruzFilipe and Peter SchneiderKamp 3650  Lachlan McGinness and Peter Baumgartner 5169  Robert Freiman, Carlos Olarte, Elaine Pimentel and Christian Fermüller 7087  Pamina Georgiou, Marton Hajdu and Laura Kovács 88105  Tanel Tammet 106115  Naïm Moussaoui Remil, Caterina Urban and Antoine Miné 116126  Aaron Hunter and Alberto Iglesias 127135  Joseph Tafese and Arie Gurfinkel 136146  Johannes Schoisswohl, Laura Kovács and Konstantin Korovin 147164  Mark Chimes, Radu Iosif and Florian Zuleger 165180  Pablo Barenbaum, Delia Kesner and Mariana Milicich 181197  Martin Bromberger, Simon Schwarz and Christoph Weidenbach 198221  Sophie Rain, Lea Salome Brugger, Anja Petković Komel, Laura Kovács and Michael Rawson 222231  Matthias Baaz and Anela Lolic 232245  Johann Rosain, Richard Bonichon, Julie Cailler and Olivier Hermant 246263  Jelle Piepenbrock, Mikolas Janota, Josef Urban and Jan Jakubův 264277  Marton Hajdu, Laura Kovács and Michael Rawson 278294  Alexander Leitsch and Anela Lolic 295310  Daniel Ranalter, Chad Brown and Cezary Kaliszyk 311320  Katalin Fazekas, Florian Pollitt, Mathias Fleury and Armin Biere 321340  Christian Fermüller, Robert Freiman and Timo Lang 341359  Kristina Aleksandrova, Jan Jakubuv and Cezary Kaliszyk 360369  Ozan Kahramanogullari 370389  Rolf Hennicker, Alexander Knapp and Martin Wirsing 390407  Bernardo Subercaseaux 408425  Matthias Lanzinger, Stefano Sferrazza, Przemysław Andrzej Wałęga and Georg Gottlob 426444  Mudathir Mahgoub Yahia Mohamed, Andrew Reynolds, Cesare Tinelli and Clark Barrett 445463  Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco and Lionel Vaux Auclair 464483  S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R Govind, Harshit Jitendra Motwani and Sai Teja Varanasi 484502 
Keyphrasesabstract interpretation, action model, arithmetic, automated inductive reasoning, automated reasoning^{3}, automated software verification, automated theorem proving^{5}, bags, belief change, blockchain protocols, Blockedclause Addition, bounded treewidth, btor2mlir, bv, callbyname, callbyvalue, certification^{2}, choice, CNF formulas, concept alignment, confluence, Constrained Horn Clauses, constraint solving, CTL, cut elimination, Datalog, decision lists, decision procedure, deep inference, dependent HOL, dependent type theory, eBPF, epistemic logic, epistemic process, epsilon calculus, evaluation strategies, firstorder logic, firstorder theorem proving, formal methods, FreeVariable Tableaux, Fuzzy Logic, game semantics, Gametheoretic security, Games semantics, graph grammars, Herbrand sequents, higherorder logic, Hilbert's epsilon formalism, hypergraphs, incentive compatibility, Incremental SAT, induction, Inductive proofs, intersection types, knowledge representation, lambda calculus, large language models, linear logic^{2}, LIRA, logic programming, logical frameworks, machine learning, MLL, modal logic, model checking, monadic secondorder logic, natural language, nonlinear integer arithmetic, nondeterminism, NPhardness, parallel reduction, Portfolio of Strategies, Preprocessing, program optimization, program verification^{2}, proof certificate, proof checking, proofnet, Proof Schema, proof search, ProofSearch Procedures, proof theory, proof transformation, proof translation^{2}, proofs, propositional dynamic logic, protocol verification, quantifier elimination, quantitative models, Reasoning, recursive programs, relations, Resolution Calculus, resource logic, reuse, rewriting^{2}, SAT solving, satisfiability, Satisfiability Modulo Theories, saturation, Saturationbased proving, Security, sequent calculus, sequent system, sets, simulation, Skolemization, SMT^{2}, sorting algorithms, sorting networks, SQL, static analysis^{2}, Steamroller Problems, strategy invention, Strategy Scheduling, superposition, superposition calculus, symbolic abstraction, symbolic execution, synthesis, system description, tables, theorem proving, theory combination, Theory Politeness, Trust, Tuplegenerating dependencies, verification, virtual substitution, weakest liberal precondition. 
