The syllabus is available here.

Home work assignments can be found here.

Undergrads: You can find your part of the "reason to believe" Church's Thesis in the assignment here. There are two sample programs, one for 01*, the other for 0^n 1^n 0^n.

Grads: The paper assignment is here.