AbstractComputing: the Australasian Theory Symposium (CATS) is the premier theoretical computer science conference in Australasia, and originated as a meeting organised by Barry Jay in December, 1994 in Sydney. Since then, it has become an integral part of the series of meetings that comprise the Australasian Computer Science Week (ACSW), and hence previous CATS meetings have been held in Melbourne (1996), Sydney (1997), Perth (1998), Auckland (1999), Canberra (2000), the Gold Coast (2001) and Melbourne (2002).Following the pattern set at the 2000 meeting in Canberra, it is very pleasing to see the proceedings of this conference published as volume78 of Electronic Notes in Theoretical Computer Science. This ensures rapid dissemination of re...