CATS 2003: 1st Call for Papers

CATS'03 is a conference on theoretical computer science, and is
deliberatley quite a "broad church"; papers on any aspects of type
theory are certainly welcome and well within the scope of CATS. Hence
I hope this call for papers is of interest to readers of this list.

		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,


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
   * 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


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

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
   * 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

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