04.12.2025 16:15 Anton Freund (Würzburg): The reverse mathematics of real analysis - a new picture
The talk begins with a short introduction to reverse mathematics, a now classical framework that allows to compare the logical strength of results from various mathematical fields. It then discusses the emerging programme of strict reverse mathematics as promoted by Harvey Friedman. This is followed by a case study (work in progress with Nicholas Pischke and Patrick Uftring) that is inspired by though not entirely faithful to this new programme: By re-interpreting the real numbers, we obtain a new picture of analysis in reverse mathematics, which suggests that some theorems may not need the strong logical axioms that are classically associated with them.
Quelle
08.12.2025 15:00 Tobias Wöhrer: Tracking Lyapunov Exponents in Neural ODEs
We investigate finite-time Lyapunov exponents (FTLEs), a measure for exponential separation of input perturbations, of deep neural networks. Within the framework of neural ODEs, we demonstrate that FTLEs serve as a powerful organizer for input-to-output mappings, allowing the comparison of distinct model architectures. We establish a direct connection between Lyapunov exponents and adversarial vulnerability, and propose a novel training algorithm that improves robustness by FTLE regularization.
Quelle
08.12.2025 16:15 Marta Mucci: Coevolutionary Games on Adaptive Networks: Modeling Strategic Interactions with Memory, Heterogeneity, and Dynamic Rewiring
This thesis studies coevolutionary games on adaptive networks in which agents are equipped with bounded memory and the ability to rewire. We examine the emergence of cooperation, the evolution of network topology, and the reward disparities that arise across the different experimental scenarios. We depart from the classical well-mixed and memoryless populations used in Classical Game Theory by considering finite populations of heterogeneous agents whose behavior depends on their randomly assigned strategy type. The model is implemented as an agent-based simulation on three representative network topologies: Watts–Strogatz, Barabási–Albert, and Erdős–Rényi. Across all scenarios, the results consistently show that network adaptivity and rewiring promote cooperation and increase the rewards of cooperative agents relative to those who tend to defect, primarily by facilitating the formation of cooperative clusters. The findings highlight the joint importance of memory and adaptive network structure in sustaining cooperation and suggest extensions for future research, including heterogeneous memory capacities and endogenous strategy change.
Quelle
17.12.2025 16:30 Tobias Ried (Georgia Tech): TBA
TBA
______________________________
Invited by Prof. Phan Thành Nam
Quelle
22.12.2025 16:30 Chiara Sabina Bariletto: TBA
TBA
Quelle