Main Page
Contact, Hours, etc.
Reports
Syllabus
Schedule
http://aml.cs.byu.edu/~kseppi/677/halting.html Halting
http://aml.cs.byu.edu/~kseppi/beta-new/beta.html Beta