Department of Mathematics-
Kripke–Joyal semantics for type theory
April 18, 2022 - 3:30pm
-
"Kontsevich's graphs in the noncommutative star-products: how to draw them nicely in LaTeX, or: Why neural networks?"
April 18, 2022 - 2:00pm
-
The geometric points of a cohomology theory
April 14, 2022 - 5:15pm
-
TBA
April 14, 2022 - 3:30pm
-
Modeling Microbial Biofilms in Their Environments
April 12, 2022 - 4:00pm
-
Six-Vertex Model and the KPZ Universality Class
April 12, 2022 - 3:30pm
-
"Kontsevich's universal graph flows on the spaces of Nambu--Poisson brackets: their hidden symmetry" Part II
April 11, 2022 - 2:00pm
-
Hasse principles for quadratic forms over function fields
April 8, 2022 - 3:30pm
-
Solution Strategies for Stable and Robust Model Predictive Control and Dynamic Real-time Optimization
April 8, 2022 - 2:00pm
-
Cut-and-paste invariants of manifolds via algebraic K-theory
April 7, 2022 - 5:15pm