Papers awarded at IJCAR 2024
- Best paper award: H. Férée, I. van der Giessen, S. van Gool, I. Shillito. Mechanised uniform interpolation for modal logics K, GL and ISL.
- Best paper honourable mention: F. Frohn, J. Giesl. Satisfiability Modulo Exponential Integer Arithmetic.
- Best paper honourable mention: S. Ghilardi, L.M. Poldomani. Model Completeness for Rational Trees.
- Best student paper award: J. Niederhauser, C.E. Brown, C. Kaliszyk. Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic.
- Best student paper honourable mention: N. Lommen, E. Meyer, J. Giesl. Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT.