Computability, Analysis, and Geometry

Videos from BIRS Workshop 15w5005

, University of Oxford
- 09:53
The complexity of knots
Watch video | Download video: 201503090904-Lackenby.mp4 (161M)
, University of Illinois (Urbana-Champaign)
- 10:40
Computational complexity of problems in 3-dimensional topology
Watch video | Download video: 201503091001-Dunfield.mp4 (161M)
, Vanderbilt University
- 11:50
Groups and machines
Watch video | Download video: 201503091059-Sapir.mp4 (196M)
, Purdue University
- 15:03
A complexity theory of constructible functions and sheaves
Watch video | Download video: 201503091417-Basu.mp4 (125M)
, University of California Los Angeles
- 16:27
Words in linear groups, random walks, automata and P-recursiveness
Watch video | Download video: 201503091531-Pak.mp4 (227M)
, University of Chicago
- 09:51
Five and a Half Approaches to Algorithmic Randomness
Watch video | Download video: 201503100903-Hirschfeldt.mp4 (157M)
, Universidad Nacional Andres Bello
- 10:39
Algorithmic ergodic theory and randomness
Watch video | Download video: 201503100959-Rojas.mp4 (107M)
, Carnegie Mellon University
- 11:36
Computability and uniformity in ergodic theory
Watch video | Download video: 201503101051-Avigad.mp4 (124M)
, University of Washington
- 09:49
How to draw trees
Watch video | Download video: 201503110902-Rohde.mp4 (175M)
, University of Toronto
- 10:39
Computability properties of conformal maps
Watch video | Download video: 201503110957-Binder.mp4 (139M)
, Stony Brook University
- 11:35
Combinatorial equivalence of Thurston maps
Watch video | Download video: 201503111055-Selinger.mp4 (107M)
, University of Toronto
- 09:54
Finite presentations of Z and the trivial group and applications to four-dimensional geometry
Watch video | Download video: 201503120902-Nabutovsky.mp4 (227M)
, Texas A & M University
- 10:54
Topological conjugacy of expanding maps
Watch video | Download video: 201503121006-Nekrashevych.mp4 (223M)
, Microsoft Research
- 11:40
Information complexity and communication complexity
Watch video | Download video: 201503121105-Garg.mp4 (105M)