This is a list of upcoming ILDS events. For past events, click here.
- Proof mining and applications to optimization and nonlinear analysis, talk at the Logic Seminar (17 October 2024)
- Arithmetic Terms III, talk at the Logic Seminar (24 October 2024)
This is a list of upcoming ILDS events. For past events, click here.