Announcement_4

Created on September 03, 2026

2026

Our paper Building Blocks for Reasoning on the BEAM has been accepted at IWIL 2026, co-located with LPAR-26 in Spetses, Greece.