LPAR 2024C: Volume InformationLPAR 2024 Complementary Volume13 articles•178 pages•Published: May 26, 2024 PapersKeyphrasesadmissibility, AndrewsCurtis conjecture, arrays, automated reasoning^{2}, automated theorem proving, base conversion, Bubble Sort, certification, combinatorial group theory, Coq, Description Logics, Fusion, guarded commands, Inductive proofs, Inferentialism, intuitionistic logic, involutory quandles, knowledge representation, logic^{2}, logic programming, lookahead, Metamodeling, Naturalstyle Proving, nondeterminism, numeric bases, Ontologies, operational semantics, partial correctness, primitive recursive arithmetic, Prolog, Proof Schema, prooftheoretic semantics, proof theory, propositional logic, quantum verification, Satisfiability Modulo Theories, sequences, sequent calculus, set theory, SMT, sorting, symbolic automaton, tangles, temporal logic, term rewriting, termination, Theorema^{2}, Unit Propagation, verification. 
