Information diffusion on random graphs

April 16, 2020 2:00pm UTC

April 16, 2020 7:00am UTC -07 (Host local time)

Speaker: Remco van der Hofstadt (Eindhoven) - Hosted by Mannheim

Abstract:
Since the outbreak of the coronavirus pandemic, the entire world has been forced to slow down. The scientific community has been no exception with cancellations of conferences, seminars and research visits. We are all forced to build up new communication channels, the One World Probability Seminar is an attempt to keep our community together. (...)

A constructive model of directed univalence in bicubical sets

April 16, 2020 3:30pm UTC

April 16, 2020 11:30am UTC -04 (Host local time)

Speaker: Matthew Weaver (Princeton University) - Hosted by Western University, Ontario

Abstract:
Directed type theory is an analogue of homotopy type theory where types represent ∞-categories, generalizing groupoids. A bisimplicial approach to directed type theory, developed by Riehl and Shulman, is based on equipping each type with both a notion of path and a separate notion of directed morphism. (...)

A friendly Introduction to matroids

April 16, 2020 3:40pm UTC

April 16, 2020 8:40am UTC -07 (Host local time)

Speaker: Tara Fife (Louisiana State University) - Hosted by Max Planck Institute

Abstract:
Matroids were introduced by Whitney in 1935 to provide an abstract generalization of the notion of linear independence. Whitney noted that matroids arise naturally from graphs and from matrices. More recently, people have discovered ties to matroid theory and algebraic geometry. In this talk, I will first introduce matroid theory, along with some key examples, and central questions. (...)