Mathematical Biosciences Institute

8:00am-8:30am	Breakfast
8:30am-9:30am	NSF presentation by Mary Anne Horn
9:30am-9:55am	John Guckenheimer: Dynamic Models in Biology The Role of Computational Thinking
9:55am-10:20am	Jun Liu: Monte Carlo Algorithms for Protein Sequence and Structure Analyses
10:20am-10:45am	Hana El-Samad: Formal Tools for Model-Based Biology
10:45am-11:10am	Aaron Fogelson: Computational Modeling of Blood Clotting
11:10am-11:35am	Coffee break
11:35am-12:00pm	Suncica Canic: Understanding Complexity of Fluid-Structure Interaction in Blood Flow Using Model, Analysis, Scientific Computing and Experimental Validation
12:00pm-12:20pm	Michael Paulaitis: The Potential Distribution Theorem and Models of Biomolecular Recognition
12:20pm-12:40pm	Tom Santner: The Role of Computational Experimentation in Enhancing Scientific and Engineering Research
12:40pm-1:00pm	Joel Saltz: Systems Software and Middleware Challenges in Cyber-enabled Discovery and Innovation Applications
1:00pm-2:30pm	Lunch (boxes) and informal discussion
2:30pm-4:00pm	Panel discussion led by some speakers, some participants, and NSF