Mathematics/Psychology : 106 ·
Title: The Hamilton-Jacobi Formulation of Optimal Path Planning for Autonomous Vehicles Speaker: Christian Parkinson (University of Arizona) Abstract: We present a...

## Upcoming Events

Feb 3

12 PM

Mathematics/Psychology : 106 ·
Title: Extending mathematical frameworks to investigate stochastic fluctuations in diverse cell types Speaker: Gregory Handy (University of Chicago) Abstract: Stochastic fluctuations drive...

Feb 6

12 PM

Mathematics/Psychology : 106 ·
Title: Negative resistance in small-noise dynamics and obstructions to stabilization Speaker: Matthew Kvalheim (University of Michigan) Abstract: In this two-part talk I will first discuss...

Feb 8

12 PM

Mathematics/Psychology : 106 ·
Title: A PDE Interpretation of Prediction with Expert Advice Speaker: Nadejda Drenska (Johns Hopkins University) Abstract: We study the problem of prediction of binary sequences with expert...

Feb 10

12 PM

Mathematics/Psychology : 106 ·
Title: On the Computational Complexity of Semidefinite and Polynomial Optimization: A real Algebraic Geometry Approach Speaker: Ali Mohammad Nezhad (Carnegie Mellon University) Abstract:...

Feb 24

11 AM

Lean Theorem Prover

Mathematics/Psychology : 106 ·
Title: Formalizing Theorems in Mathematics and Theories in Science and Engineering Abstract: Lean is an interactive theorem prover for writing and verifying mathematical proofs with...

Apr 21

2 PM

University of Maryland, College Park

Mathematics/Psychology : 101 ·
Title: TBA Abstract: TBA