Logical analysis of proofs in non-smooth optimization using set-valued monotone operators
Ulrich Kohlenbach (TU Darmstadt)
Aug 26. 2025, 10:00 — 11:00
- Venue:
-
ESI Schrödinger and Boltzmann Lecture Hall
- Associated Event:
- Reverse Mathematics (Thematic Programme)
- Organizer(s):
-
Juan Aguilera (TU Vienna)
Linda Brown Westrick (Penn State U)
Noam Greenberg (Victoria U of Wellington)
Denis Hirschfeldt (U of Chicago)