Logic seminar (an archive page). Student logic seminar. Past and current students. A note for prospective students . Courses. Fall Schools. Special semester in Logic &Complexity 2011. Proof complexity mailing list.