Announcement_7

Der Tagungsband von IWIL 2026 ist erschienen: Unser Paper Building Blocks for Reasoning on the BEAM ist in Kalpa Publications in Computing, Bd. 23, veröffentlicht (doi:10.29007/z6j1). Ich habe die Arbeit am 25. Oktober bei IWIL auf Spetses vorgestellt; die Folien und das Demo-Notebook sind verfügbar.