The next two weeks are fairly busy this end of the world. Starting tomorrow is the ANU wing of StreetFest, so a bunch of category theorists will descend on Canberra to mark Ross Street's 60th birthday. I'll be going along to a few of the talks (those whose abtracts don't fly too far over my head!). Coinciding with Streetfest, the philosophers are putting on a workshop on philosophical methodology, which I will try to get to (well, at least to a bit of it!). Following hot on the heels of that is an instructional program and workshop on noncommutative geometry and index theory, which I will also be attending. I'll post details of any talks that are directly related to logic.