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

Website cats.it.usyd.edu.au | Edit Freely

Category Computing

Deadline: August 16, 2010 | Date: January 17, 2011

Venue/Country: Perth, Australia

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

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.