Videos

Start date cannot be after end date.
Type Classes for Mathematical Formalizations in Coq Thumbnail

Type Classes for Mathematical Formalizations in Coq

Presenter
  • Matthieu Sozeau
October 3, 2012
IAS
Inernal Languages for Higher Toposes Thumbnail

Inernal Languages for Higher Toposes

Presenter
  • Michael Shulman
October 3, 2012
IAS
Development and Application of Charge Optimized Many-Body (COMB) Potentials to Surface Chemistry and Heterogeneous Material Interfacial Interactions Thumbnail

Development and Application of Charge Optimized Many-Body (COMB) Potentials to Surface Chemistry and Heterogeneous Material Interfacial Interactions

Presenter
  • Susan Sinnott
October 3, 2012
IPAM
The Relative Fukaya Category, Symplectic and Quantum Cohomology Thumbnail

The Relative Fukaya Category, Symplectic and Quantum Cohomology

Presenter
  • Nicolas Sheridan
October 3, 2012
IAS
Random Band Matrices: Local Regime Thumbnail

Random Band Matrices: Local Regime

Presenter
  • Tetiana Shcherbyna
October 3, 2012
IAS
Counting $GL_2(\mathbb{Z})$ orbits on binary quartic forms and applications Thumbnail

Counting $GL_2(\mathbb{Z})$ orbits on binary quartic forms and applications

Presenter
  • Arul Shankar
October 3, 2012
IAS
Electronic Structure Calculations at Macroscopic Scales Thumbnail

Electronic Structure Calculations at Macroscopic Scales

Presenter
  • Vikram Gavini
October 3, 2012
IPAM
DFT Calculations of Stability and Mobility of Point Defects in Metals Thumbnail

DFT Calculations of Stability and Mobility of Point Defects in Metals

Presenter
  • Nick Kioussis
October 3, 2012
IPAM
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
October 3, 2012
IAS
Theory of Magnetic Impurities in Insulating and Semiconducting Oxides. Problems (and Solutions?) Thumbnail

Theory of Magnetic Impurities in Insulating and Semiconducting Oxides. Problems (and Solutions?)

Presenter
  • Gianfranco Pacchioni
October 3, 2012
IPAM

Detecting the many roles of inhibition in shaping sensory processing

Presenter
  • Daniel Butts
October 3, 2012
MBI
Control of Nanocrystal Morphology and Assembly and Quantum Monte Carlo Method for Solvation Thumbnail

Control of Nanocrystal Morphology and Assembly and Quantum Monte Carlo Method for Solvation

Presenter
  • Richard Hennig
October 3, 2012
IPAM