This is a list of upcoming ILDS events. For past events, click here.
- Łukasiewicz logic and neural networks, talk at the Neuro-symbolic AI Seminar (30 April 2026)
- A worked example in proof mining in uniformly convex Banach spaces, talk at the Logic Seminar (30 April 2026)
- Intmax2: A Secure Blockchain Protocol Enabled by Lattice-Ordered Abelian Groups, talk at the Logic Seminar (7 May 2026)
- Concept creation and abstraction, talk at the Neuro-symbolic AI Seminar (14 May 2026)