CATS 2011 - The 17th CATS symposium (Computing: the Australasian Theory Symposium)

The 17th CATS symposium (Computing: the Australasian Theory Symposium) will be held in Perth, Australia, in January 2011. CATS is an annual conference held in the Australia-New Zealand region, dedicated to theoretical computer science.

Important dates
Submission deadline: Monday August 16, 2010
Acceptance notification: Monday October 4, 2010
Final version due: Friday November 5, 2010

Early registration: Monday December 6, 2010
Conference dates: January 17-20, 2011
Call for papers
Authors are invited to submit papers that present original, unpublished research in all areas of theoretical computer science. Typical but not exclusive areas of interest include:

algorithms and data structures
algorithmic game theory
combinatorial optimization
computability
computational complexity theory
computational geometry
foundational calculi
graph theory and combinatorics
logic and type systems
program derivation, analysis, transformation
program verification and safety
semantics of programming languages
theory of programming
Papers related to other theoretical aspects of computer science will also be considered.
Paper submission guidelines and procedures
The usual guidelines apply for paper submissions to CATS, as with most other fully refereed theory conferences: Work submitted in this conference must be original, not previously published in any conference with referreed proceedings or journal, and must not be simultaneously submitted to other conferences with refereed proceedings.

The proceedings of this event will be published by the ACS in the CRPIT Series. All information about formatting of the accepted papers, and related resources for authors are available on the CRPIT author resources page.

All papers must be submitted in pdf format and should be no more than 10 pages in length, following the instructions of the CRPIT Series.

CATS is part of the Australasian Computer Society Week (ACSW), an international annual multi-conference event supported by the Australian Computing Research and Education Association.