Logical analysis of proofs in non-smooth optimization using set-valued monotone operators
Ulrich Kohlenbach (TU Darmstadt)
Aug 26. 2025, 09:30 — 10:15
- 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)