Announcement_7

The IWIL 2026 proceedings are out: our paper Building Blocks for Reasoning on the BEAM is published in Kalpa Publications in Computing, vol. 23 (doi:10.29007/z6j1). I presented the work at IWIL in Spetses on October 25; the slides and the demo notebook are available.