Events This is a list of upcoming ILDS events. For past events, click here. 𝕂 definitions as Matching Logic theories, talk at the Logic Seminar (20 November 2025)
