Computing: The Australasian Theory Symposium CATS 2003 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), under the auspices of the Computer Science Association. CATS 2003 will be the ninth in the series. The symposium will consist of invited talks, formal paper presentations and informal presentations. Date and location CATS 2003 will be held during the Australasian Computer Science Week. ACSW 2003 will take place in Adelaide, South Australia, from 4-7th February, 2003. Scope CATS covers all aspects of theoretical computer science. Some representative, but not exclusive, topics include the following: * logic, reasoning and verification * formal specification techniques and program semantics * formal development methods, program refinement, synthesis and transformation * concurrent, parallel and distributed system theory * algorithm design and data structures * streaming data computation, * computational biology, geometry, and number theory. * complexity and computability * automata, number and category theory * tools for automated reasoning, and program analysis and development The formal papers accepted for CATS'03 are listed on the main CATS'03 web site at http://www.cs.rmit.edu.au/cats03. Call for informal papers In order to foster interaction amongst participants, CATS 2003 will 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 2003 (as is the case for formal papers), but will not appear in the published proceedings. Informal papers can vary from merely an 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 6th December, 2002. 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. A hardcopy preliminary proceedings and copies of accepted informal papers will be provided to conference attendees. Important dates * Friday 6th December, 2002: Deadline for informal submissions * Friday 13th December, 2002: o Final versions of accepted formal papers due o Deadline for author registrations o Notification of acceptance for informal submissions * Tuesday 4th to Friday 7th February, 2003: Australasian Computer Science Week, incorporating CATS 2003 Email List CATS is setting up an email list of people interested in hearing about CATS and discussing related issues. If you would like to be added to this list, please contact the Programme Chair. Programme committee * Michael Atkinson, Otago University, Dunedin, New Zealand. * John Crossley, Monash University, Melbourne, Australia. * XiaoTie Deng, City University of Hong Kong. * Mike Fellows Newcastle University, Australia. * Colin Fidge, University of Queensland, Brisbane, Australia. * James Harland (Chair), RMIT University, Melbourne, Australia. * Matthew Hennessy, University of Sussex, Brighton, UK * Barry Jay, University of Technology, Sydney, Australia. * Mike Johnson, Macquarie University, Sydney, Australia. * Xuemin Lin, University of New South Wales, Sydney, Australia. * David Wolfram . ACSW General Chair John Roddick, Flinders University, Adelaide Previous CATS symposia * CATS 2002, Monash * CATS 2001, Gold Coast * CATS 2000, Canberra * CATS '99, Auckland (joint meeting with DMTCS '99) * CATS '98, Perth * CATS '97, Sydney * CATS '96, Melbourne * CATS '94, Sydney Updates and news Up to date information about the CATS 2003 conference can be found at http://www.cs.rmit.edu.au/cats03/ Enquiries and submissions James Harland (CATS 2003 Programme Chair) School of Computer Science and Information Technology Royal Melbourne Institute of Technology (RMIT) Melbourne, 3001, Australia Phone: +61 3 9925 2348 Fax: +61 3 9662 1617 Email: jah@cs.rmit.edu.au 19-Nov-2002 21:03:47 -0400,1247;000000000001-00000000