Spring 2020 Presentation Order and Topics

Schedule

Date	Person
Apr 10	Divya
Apr 17	Jack
Apr 24	Alex
May 01	Prashant
May 08	Fariba
May 15	Daniel
May 22	Kai
May 29	Parisa
Jun 05	???

Topics

Type Systems Tutorial

• Paper
  • Type Systems by Luca Cardelli
• People
  • Divya
  • Jack
  • Alex

Other Topics:

1. Functional Programming
2. Interesting papers from own research
3. Linear Logic
4. Static Analysis

• People
  • Prashant
  • Fariba
  • Daniel
  • Kai
  • Parisa