Talks recently updated

• Lists
• Venues
• Talks
• Users
• Dates

• A
• B
• C
• D
• E
• F
• G
• H
• I
• J
• K
• L
• M
• N
• O
• P
• Q
• R
• S
• T
• U
• V
• W
• X
• Y
• Z
• New
• Updated

• tba
• Small Proofs
• Homotopy Type Theory in Lean
• Logic in univalent type theory
• Impredicative encodings in HoTT
• Topological defects in mesoscopic and complex crystals
• Workshop: 'The development and facilitation of an emotion and memory group programme for the treatment of complex PTSD'
• Scalable statistical inference with INLA
• Model based system configuration and tasteful hardware
• Kinetic energy choice in Hamiltonian/hybrid Monte Carlo
• The Discrete Bouncy Particle Sampler
• tba
• Two two categories of algebras and corresponding categories of coalgebras and their relationship with measuring coalgebras and comodules.
• How to Deal with a Rising China: a Japanese Perspective
• Big Proof and Education (coordinated by Jeremy Avigad)
• Social Proof Seminar (coordinated by Fenner Tanswell)
• Proof Automation (coordinated by N. Shankar)
• Epigenetic and genome architecture dynamics from ES cells to terminal cardiac and neuronal differentiation
• Text and Data Mining Symposium
• The Million Veteran Program: A Modern Mega-Cohort Within a Large Healthcare System – Progress, Challenges and Future Directions
• An Upsilon-like invariant from Khovanov-Rozansky homology
• The social machine of mathematics
• Proof Assistants: From Symbolic Logic To Real Mathematics?
• tba
• Big Conjectures
• Langevin MCMC: theory and methods
• Univalent type theory and modular formalisation of mathematics
• Pulse and Surge Generation by the GnRH Neuronal Network for Fertility
• Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximation
• Genetic prediction of cardiovascular disease