252-4202-00L  Seminar in Theoretical Computer Science