Schedule for Course CSI-5174 - Fall 2015 (preliminary plan)

Note: The courses are on Wednesdays

• Week 1 - Sept 9
  • intrododuction (except protocol architecture)
• Week 2 - Sept 16
  • rest of introduction
  • LTS modeling (except temporal logic)
• Week 3 - Sept 23
  • temporal logic
  • comparing specifications (except model checking)
• Week 4 - Sept 30
• Week 5 -Oct 7
• Week 6 - Oct 14
• Week 7 - Oct 21
• Week 8 - Oct 28
  • Study Break
• Week 9 - Nov 4
  • absence at Nanjing
• Week 10 - Nov 11
  • additional COURSE on Nov. 10
• Week 11 - Nov 18
  • additional COURSE on Nov. 17
  • student presentations
  • student presentations
• Week12 - Nov 25
  • absence at Dubai
• Week 13 -Dec 2
  • student presentations
• Week 14 - Dec 9 (Monday schedule - no course)

Revised: Sept. 22, 2015