Travel Time

I'm off to Sydney tomorrow to visit the Centre of Australian Category Theory. I'll be speaking in The Australian Category Seminar about categorical and algebraic logic as well as giving a department seminar. I'm looking forward to finding out a bit more about their research activities, since they have a very impressive number of experts!

After that, I'll be going to Melbourne for the weekend, home of logic blogger Greg Restall. I suspect that he may not be there. Over the weekend is a rather intense philosophical logic workshop, with very many interesting looking talks. My little talk will be on proof equivalence (what else?). While there, I'll also see a bit about dialetheism, relations between Kant's a priori and logical pluralism, relations between relevant and classical deduction and much much more. Should be fun.

Oh yes, thanks to Kenny for telling me about the Melbourne workshop and putting me in contact with Graham Priest.

I'm not sure if I'll have any internet access while I am away. I'll take lots of notes though and post details of the workshop when I get back.