Homework: There will be no weekly homework.

   Students in consultation with me will pick a topic to study in depth.
   They will write a research paper on the topic and may give a 15 to 20 minute talk about it to the class if they so desire.

Exams: There will be no exams, but students will be expected to participate in class discussions.


There will be guest lectures the CS Dept researchers in applied logic and type theory.