Logic course/seminar at FAU this fall

This post is being cross-posted on both my teaching and research blogs, since it lies somewhere in between. Katie Brodhead and I will be teaching a logic course/seminar this semester at FAU. The seminar will be meeting Mondays, Wednesdays, and Thursdays from 3-4PM in the math lounge, room SE 215, beginning on Wednesday, September 4. I will generally be presenting on Mondays and Wednesdays, teaching an introductory course on large cardinals. The suggested prerequisite for my course is a graduate course or an advanced undergraduate course on logic. Katie will generally be presenting on Thursdays, teaching an introductory course on algorithmic randomness. The two courses are independent in terms of the content, but the participants will heavily overlap. Everybody reading this blog is welcome to attend my course. I would assume that Katie would say the same for hers, although you could contact her to be certain.