8:00
Breakfast
Mathematical Reasoning Workshop 2010
Session 1:
8:30
Joan Krone: Workshop welcome and overview
8:45
Jason Hallstrom: Introduction to formal specifications
9:15
Murali Sitaraman: Introduction to RESOLVE specifications
9:45
Break
Session 2:
10:00
Jason Hallstrom: Teaching specifications with a reasoning assistant
10:20
Jason Hallstrom: Collaborative reasoning (client end)
10:55
Murali Sitaraman: Collaborative reasoning (component end)
11:30
Lunch
Session 3:
1:00
Murali Sitaraman: Formal reasoning exercises through a web interface
1:30
Joan Krone: Reasoning concept inventory and discussion
2:00
Jason Hallstrom: Evaluation
2:15
Break
Session 4:
2:30
Amruth Kumar: Tutors
3:00
Joe Hollingsworth: Teaching invariants
3:30
Greg Kulczycki: Software engineering
4:00
Discussion and workshop conclusion
Links:
Additional information may be found at the RESOLVE website under the heading Education.
Page last updated June 11, 2010