(none)
James Harland
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: j...@cs.rmit.edu.au