Interactive theorem proving, automated reasoning, and mathematical computation
Jeremy Avigad
Carnegie Mellon University
December 14, 2012
Making Computations and Publications Reproducible with VisTrails
Juliana Freire
New York University
December 13, 2012
IPython- tools for the lifecycle of research computing
Fernando Perez
University of California, Berkeley
December 12, 2012
What's happening with the World Digital Mathematics Library
Peter Olver
University of Minnesota
December 11, 2012
Recent strategies and challenges for reproducibility in global climate modeling
Kate Evans
ORNL
December 11, 2012
Reproducibility issues important to applications
James Glimm
Stony Brook University
December 10, 2012
Exploratory Experimentation in Mathematics
Jonathan Borwein
The University of Newcastle
December 10, 2012