Eep!

The conference schedule has turned out to be rather full, so I haven't had time to blog details (as you may have noticed). I've decided to make some posts at the end of the conference covering mainly the stuff that I understood the best. This will probably be some time next week. There have been some nice talks on algebra, proof theory and nonclassical logic so far, with more to come. One rather curious question was raised: Does anybody in Australia do classical logic? I couldn't think of anybody...