Logic Down Under

The deadline is fast approaching for submissions to this year's Australasian Association for Logic Conference. Paper abstracts need to be in by July 24, with the conference being held September 24 -- 25 in Perth (my home town!). The early deadline is partly because the conference is sponsored by the ASL, with abstracts appearling in the Bulletin of Symbolic Logic. This also means that I need to decide what I want to speak on pretty soon!

This conference immediately precedes the Australian Mathematical Society Annual Conference. Among the special sessions this year are three of interest to the logically minded: Logic, Algebra and Mathematics of Computation. Abstract deadlines for the AustMS meeting are not available yet, but will most likely be late August.

It is a pity that this year's Victorian Algebra Conference has been scheduled to coincide with the AAL conference, so I won't be able to attend both. Monday of this conference does not clash with the AAL though and has the theme of groups and combinatorics, which was lots of fun last year.

However, with the coupling of the AAL and AustMS meetings, it means that the organisers have been able to pursuade some international speakers to come along, including Heinrich Wansing, Michael Zakharyaschev, Andreas Weiermann and Angus MacIntyre.