Videos

Start date cannot be after end date.
Panel -Enabling Cooperation with Mathematical Scientists Thumbnail

Panel -Enabling Cooperation with Mathematical Scientists

Presenters
  • Robert Bryant
  • Daryl Chrzan
  • Robert Grossman
  • Richard Karp
  • Stuart Russell
  • Horst Simon
  • Katherine Yelick
October 12, 2007
SLMath
Scientific Data Management Thumbnail

Scientific Data Management

Presenter
  • Arie Shoshani
October 12, 2007
SLMath
NSF Panel Thumbnail

NSF Panel

Presenters
  • Peter March
  • Eduardo Misawa
October 12, 2007
SLMath
Citizen Cyber-Science Thumbnail

Citizen Cyber-Science

Presenter
  • David Anderson
October 12, 2007
SLMath

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
Building a Science Data Server Thumbnail

Building a Science Data Server

Presenter
  • Deb Agarwal
October 12, 2007
SLMath

Analysis, prediction, and design of viral RNA secondary structures

Presenter
  • Christine Heitsch
April 25, 2011
MBI
Analysis, Prediction, and Design of Viral RNA Secondary Structures Thumbnail

Analysis, Prediction, and Design of Viral RNA Secondary Structures

Presenter
  • Christine Heitsch
October 30, 2007
IMA
Lecture 1: Implications of the exascale roadmap for algorithms Thumbnail

Lecture 1: Implications of the exascale roadmap for algorithms

Presenter
  • David Keyes
January 9, 2011
IMA