IWIL-2026: Volume Information

Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)

Papers

Keyphrases

automated theorem proving⁴, base-extension semantics, BCH codes, Benchmarking, bitwise operations, concurrency, conjecturing, E prover, education tool, ELIXIR, epsilon calculus, error correction, finite automata, first-order logic, goal-directed search, Herbrand disjunctions, hereditary Harrop formulae, higher-order logic, incomplete proofs, incorrect proofs, Inferentialism, integer Presburger arithmetic, intuitionistic logic, large language models, lemma introduction, logic programming, machine learning, Mizar, model building, Parallelization, proof-theoretic semantics, proof theory, proof verification, saturation, SCL(FOL), search heuristics, secure computing, shared terms, SPASS(SCL), tableaux², TPTP, unification, Uniform Proofs, Vampire, weakest preconditions.