CSCI 385 — SPECIAL TOPICS IN COMPUTER SCIENCE THEORY