2020 2021 Presentation Order and Topics

Schedule

Fall

Date	Person
Sep 23	Daniel
Sep 30	Jeff
Oct 7	Divya
Oct 14	Ameya
Oct 21	Claire
Oct 28	Jack B.
Nov 04	Kai
Nov 11	(Veterans Day)
Nov 18	Prashant
Nov 25	Alex
Dec 2	Jack P.

Winter

Date	Person
Jan 8	Ben
Jan 15	Alex
Jan 22	None (POPL!)
Jan 29	Jack B.
Feb 5	Divya
Feb 12	Prashant
Feb 19	Daniel
Feb 26	Jeff
Mar 5	Jack P.
Mar 12	Iain?

Topics

The topics at the moment are not strictly defined; you are encouraged to suggest a paper that you're interested in. Here are some ideas for topics generated from our first meeting:

* Abstraction + language representation
* Type and effect systems
* Gradual typing
* Formal methods
* Type theory and systems
* MiniCanran purely functional logic language + modal logic
* Compilers | 
* Dynamic typing
* Functional programming
* Linear logic |
* Language papers: present calculi, DSLs, theoretical languages
* Provability logics
* Program verification | 
* Automated theorem proving |
* Program synthesis
* Read more on modal / temporal / etc logic ||
    * Epistemic logic

Specific ideas:
* Datalog paper
* Defunctionalization (compilers sub-topic) - Olivier Danvy