lectures on the Woods Hole trace formula