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 Call for formal papers Formal paper submissions to CATS 2003 should be prepared according to the formatting requirements below and sent to the Programme Chair, to arrive no later than Friday, 6th September, 2002. Submissions must be original work, not published or submitted elsewhere. All formal submissions will be refereed and will in appear in the published proceedings. Call for informal papers In order to foster interaction amongst participants, CATS 2003 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 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. Proceedings The proceedings of CATS 2003 will be published by Elsevier Science in their series Electronic Notes in Theoretical Computer Science. ENTCS is an electronic series associated with the journal Theoretical Computer Science, and published by Elsevier Science B. V. (Institutions subscribing to TCS can access full papers in ENTCS on-line.) ENTCS offers rapid, worldwide dissemination of research results, an absence of page limits, and long-term accessibility through the electronic archives that Elsevier maintains. The proceedings of CATS2000, CATS2001 and CATS2002 have all appeared in ENTCS as ENTCS Volume 31, ENTCS Volume 42 and ENTCS Volume 61 respectively. A hardcopy preliminary proceedings and copies of accepted informal papers will be provided to conference attendees. Formatting requirements To ensure a uniform format for papers, all formal submissions to CATS 2003 must be prepared in LaTeX using the ENTCS macros. Papers in other formats cannot be accepted. Further information is available via the ENTCS home page: http://www.elsevier.nl/locate/entcs/. (Follow the links for "Instructions for Submissions" and "Technical Requirements".) Complete papers should be e-mailed as PostScript files, preferably as MIME attachments. Although there is no strict page limit on submissions to CATS 2003, authors are strongly encouraged to be as concise as possible. Papers between 10 and 15 pages are considered ideal. If necessary, definitions and proofs not essential to understanding the paper should be relegated to appendices to appear only in the electronic version. Important dates * Friday 6th September, 2002: Deadline for formal submissions * Friday 18th October, 2002: Notification of acceptance for formal submissions * 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 10-Jul-2002 15:48:23 -0300,1734;000000000001-00000016