LPAR 2024 Complementary Volume

admissibility, Andrews-Curtis conjecture, arrays, automated reasoning², 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², logic programming, lookahead, Metamodeling, Natural-style Proving, nondeterminism, numeric bases, Ontologies, operational semantics, partial correctness, primitive recursive arithmetic, Prolog, Proof Schema, proof theory, proof-theoretic semantics, propositional logic, quantum verification, Satisfiability Modulo Theories, sequences, sequent calculus, set theory, SMT, sorting, symbolic automaton, tangles, temporal logic, term rewriting, termination, Theorema², Unit Propagation, verification