Coffee and Check-In
Welcome remarks from Simons and SLMath
Break
Lean Tutorial
Lunch (on your own)
Remarks by Patrick Shafto about a new DARPA program on AI & Math
Lean Tutorial/Exercises
Break
Lean Tutorial/Exercises
Coffee and Check-In
Break
Machine Learning Tutorial
Lunch (on your own)
Machine Learning/Exercises
Break
Machine Learning/Exercises
Coffee and Check-In
Break
SAT Tutorial
Lunch (on your own)
SAT Tutorial / Exercises
Break
SAT Tutorial / Exercises
Coffee and Check-In
Break
Lunch (on your own)
Tool Demos/Exploration
Break
Tool Demos/Exploration
Coffee and Check-In
Break
Tool Demos/Exploration
Lunch (on your own)
Discussion
Break
Tool Demos/Exploration