LPAR 2023: Volume InformationProceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning27 articles•493 pages•Published: June 3, 2023 PapersMauricio AyalaRincón, Thaynara Arielly de Lima, Andréia B. Avelar and André Luiz Galdino 110  Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett 1122  Raven Beutner and Bernd Finkbeiner 2335  Ahmed Bhayat, Konstantin Korovin, Laura Kovacs and Johannes Schoisswohl 3647  Martin Bromberger, Simon Schwarz and Christoph Weidenbach 4872  Richard Bubel, Dilian Gurov, Reiner Hähnle and Marco Scaletta 7395  Filip Bártek and Martin Suda 96111  Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock and Josef Urban 112123  Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett and Guy Katz 124143  Luís CruzFilipe, Fabrizio Montesi and Robert R. Rasmussen 144163  Omar Ettarguy, Ahlame Begdouri, Salem Benferhat and Carole Delenne 164180  Bernd Finkbeiner and Julian Siber 181204  Oskar Fiuk and Emanuel Kieronski 205223  Thibault Gauthier, Chad Brown, Mikoláš Janota and Josef Urban 224237  Thomas Hader, Daniela Kaufmann and Laura Kovacs 238256  Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh 257269  Mohimenul Kabir and Kuldeep S Meel 270287  Yurii Kostyukov, Dmitry Mordvinov and Grigory Fedyukovich 288305  Albert Oliveras, Enric Rodríguez Carbonell and Rui Zhao 306316  Julian Parsert, Chad Brown, Mikolas Janota and Cezary Kaliszyk 317328  Alexander Pluska and Florian Zuleger 329349  Rodrigo Raya, Jad Hamza and Viktor Kuncak 350368  Alexander Steen, Geoff Sutcliffe, Pascal Fontaine and Jack McKeown 369385  Bernardo Subercaseaux and Marijn Heule 386404  Jan Tušil, Traian Serbanuta and Jan Obdrzalek 405456  Suwei Yang, Victor Liang and Kuldeep S. Meel 457472  Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt, Robert Stewart and Kathrin Stark 473493 
Keyphrasesabduction, abstraction refinement, algebraic data types, Answer Set Programming, arithmetic^{2}, Automatabased, automated reasoning^{2}, automated theorem provers, automated theorem proving^{2}, benchmark, causality, CEGAR^{2}, Certified implementation, Choreographic Programming, Clause Evaluation, Clause selection, Collaborative Inference, computational complexity, conditioning, conflict analysis, Constrained Horn Clauses, constraints, contractbased reasoning, Coq, counterfactuals, cvc5, decidability, decision diagrams, declarative semantics, deductive verification, Differentiable Logic, distributed protocols, Euclidean Algorithms, Euclidean Domains, experimental evaluation, finite fields, finite satisfiability problem, firstorder model building, firstorder reasoning, formal verification, Formalization of Algebraic Structures, Fuzzy Logic, Graph Neural Network, Graph Neural Networks, hypercubes, Hyperproperties^{2}, HyperQPTL, induction, inductive invariants, inductive theorem provers, infinite model, interpretations, intuitionistic logic, ksafety, knowledge compilation, Languageparametric, Linear Integer Arithmetic, logic, machine learning^{3}, modal logic, model checking, model theory, mucalculus, network reliability, neural networks, nonlinear arithmetic, nonlinear integer arithmetic, nonlinear real arithmetic, nonredundant learning, OEIS, polynomial arithmetic, possibility theory, probabilistic logic, Promptness, proof theory, PVS, QPTL, Quaternions, radio colorings, Routing, sampling, SAT^{2}, Satisfiability Modulo Theories, satisfiability problem, saturationbased theorem proving, SCL, smart contracts, SMT, SMT solving^{2}, SMTCoq, SyGuS, symbolic execution, temporal logic, theorem proving^{2}, threevariable logic, TPTP, trace contracts, Triangular Sets, twovariable logic, types, unification, Unification with Abstraction, uniform onedimensional fragment, verification^{3}, weighted knowledge bases, Weighted Model Counting. 
