Computing: The Australasian Theory Symposium
Computing: The Australasian Theory Symposium (CATS) is the premier theoretical computer science conference in Australasia. It is held annually as part of Australasian Computer Science Week (ACSW) which comprises many other conferences and is overseen by the Computer Science Association.
CATS 2005 will be the eleventh time that CATS has been held. The symposium will consist of invited talks, formal paper presentations and informal presentations.
Call for papersPapers are invited on all aspects of Theoretical Computer Science. Some representative, but not exclusive, topics include the following:
In order to foster interaction amongst participants, CATS 2005 will also include informal papers. These are intended as a supplement to the formal papers, and could include descriptions of work in progress, new ideas in the process of development, or an overview of trends in a given area or of the work of a research group. Informal papers, if accepted, will result in a presentation being scheduled as part of CATS 2005 (as is the case for formal papers), but will not appear in the published proceedings. Informal papers can vary from merely an announcement to an abstract up to 10 pages in length. Informal papers should be submitted in Postcript or PDF format to the Programme Chair, to arrive no later than Friday 26th November, 2003. In the event that more informal papers are accepted than can be scheduled for presentation, some informal papers may be scheduled as posters rather than talks.