Volume
@proceedings{IWIL-2026,
title = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
year = {2026}}
Papers
@inproceedings{IWIL-2026:Cycle_Detection_Affine_Integer,
author = {Mishel Carelli and Bernd Finkbeiner},
title = {Cycle Detection for Affine Integer Linear Loops},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/1RZb},
doi = {10.29007/js2s},
pages = {1-9},
year = {2026}}
@inproceedings{IWIL-2026:Neural_Conjecturing_Saturation_Theorem,
author = {Karel Chvalovský and Martin Suda and Josef Urban},
title = {Neural Conjecturing for Saturation Theorem Provers},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/HcmX},
doi = {10.29007/zwkw},
pages = {10-20},
year = {2026}}
@inproceedings{IWIL-2026:Towards_Proof_Theoretic_Analysis,
author = {Matthias Baaz and Mariami Gamsakhurdia},
title = {Towards a Proof-Theoretic Analysis of Incorrect/Incomplete Proofs},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/qG4PL},
doi = {10.29007/xx7q},
pages = {21-29},
year = {2026}}
@inproceedings{IWIL-2026:Towards_Operational_Proof_theoretic,
author = {Alexander Victor Gheorghiu},
title = {Towards an Operational Proof-theoretic Semantics},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/GMR3},
doi = {10.29007/92sz},
pages = {30-43},
year = {2026}}
@inproceedings{IWIL-2026:Vibe_Coded_Tuned_State,
author = {Mikoláš Janota and Jan Jakubův},
title = {Vibe-Coded and Tuned: A State-of-the-Art SMT Solver for QF-LRA},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/rPZ9},
doi = {10.29007/rn52},
pages = {44-56},
year = {2026}}
@inproceedings{IWIL-2026:Formalized_Neurodynamic_Solver_N,
author = {Michail Karatarakis},
title = {A Formalized Neurodynamic Solver for N-Queens Completion},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/39bJ},
doi = {10.29007/tf5z},
pages = {57-71},
year = {2026}}
@inproceedings{IWIL-2026:Algebraic_Indexing_Parallelize_Atom,
author = {Theodore Kim and Adam Pease},
title = {Algebraic Indexing to Parallelize Atom Comparison in the ATP Saturation Loop},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/wxnd},
doi = {10.29007/5n67},
pages = {72-89},
year = {2026}}
@inproceedings{IWIL-2026:Some_Experiments_with_Twee,
author = {Stephan Schulz},
title = {Some Experiments with Twee-Style Goal-Directedness},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/sKrz},
doi = {10.29007/trm4},
pages = {90-97},
year = {2026}}
@inproceedings{IWIL-2026:Building_Blocks_Reasoning_BEAM,
author = {Johannes Schuster and Christoph Benzmüller},
title = {Building Blocks for Reasoning on the BEAM},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/SDCR},
doi = {10.29007/z6j1},
pages = {98-111},
year = {2026}}
@inproceedings{IWIL-2026:Efficient_Linear_Model_Building,
author = {Simon Schwarz and Christoph Weidenbach and Fabian Wobito},
title = {Efficient Linear Model Building and Clause Evaluation},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/vxhC},
doi = {10.29007/nv5x},
pages = {112-128},
year = {2026}}
@inproceedings{IWIL-2026:Benchmarking_LLMs_Against_TPTP,
author = {Andrija Urošević and Gordan Đurić and Sana Stojanović-Đurđević},
title = {Benchmarking LLMs Against TPTP: A Vision for the Near Future},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/PMbN},
doi = {10.29007/fsmp},
pages = {129-132},
year = {2026}}
@inproceedings{IWIL-2026:Implementation_Integer_Presburger_Arithmetic,
author = {Antti Valmari and Mika Hirvensalo},
title = {An Implementation of Integer Presburger Arithmetic in a Math Education Tool},
booktitle = {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)},
editor = {Stephan Schulz and Konstantin Korovin and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {23},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/pzvK},
doi = {10.29007/jlmh},
pages = {133-150},
year = {2026}}
