If you have a question about this talk, please contact Alexander Gurney.
We will be deciding on topics and speakers for the remainder of this term. Talks should generally have some connection to logic, semantics, and other areas of theory relating to computer science, programming languages, and so on.