This is a list of upcoming ILDS events. For past events, click here.
- Adaptive virtual organisms: A compositional model for complex hardware-software binding, talk at the Neuro-symbolic AI Seminar (19 March 2026)
- Open Problems in Quantum Multi-valued Algebras, talk at the Logic Seminar (26 March 2026)
- Cybersecurity of Industrial Control Systems, talk at the Logic Seminar (2 April 2026)
- Rates of convergence for a stochastic proximal point algorithm in metric spaces of nonpositive curvature, talk at the Proof Mining Seminar (8 April 2026)