session02.md

Session 2 (Thursday February 16)

1. Present chapter IndProp of Software Foundations (Victor) http://www.cis.upenn.edu/~bcpierce/sf/current/IndProp.html

2. Discuss exercises from Session 1: Exercises from parts 1, 2 and 3 of the material.

3. Discuss syllabus (Marco, everyone)

   • Schedule topic proposals so far.
   • Choose what to present next time, and someone to present it.

For next time

• Do exercises.
• Read Imp chapter from Software Foundations.