CATS 2010

Call for Papers
CATS 2010 -- Computing: The Australasian Theory Symposium
Brisbane, Australia, January 2010
http://cats.it.usyd.edu.au/

CATS (Computing: The Australasian Theory Symposium) is an annual conference dedicated to theoretical computer science. In 2010, the 16th Computing: The Australasian Theory Symposium will be held in Brisbane, Australia, January 18-21, 2010.

Authors are invited to submit papers that present original and unpublished research on topics including (but not limited to) the following areas: algorithms and data structures, complexity theory, graph theory, graph algorithms and combinatorics, semantics of programming languages, approximation and randomized algorithms, combinatorial optimization, formal program specification and transformation, computational geometry, algorithmic game theory, computational biology, logic and type systems, computability and new paradigms of computation.

Deadlines and other dates:
Paper submission deadline: Monday August 17, 2009
Acceptance notification: Monday October 5, 2009
Final version of accepted papers due: Monday November 2, 2009
Early registration: Monday December 7, 2009
Conference dates: January 18-21, 2010

The proceedings of this event will be published by the Australian Computer Society (ACS) in the CRPIT Series (http://crpit.com/), and will also appear in the ACM digital library.

CATS 2010 is part of the Australasian Computer Society Week (ACSW), an international annual conference event, supported by the Computing Research and Education Association (CORE) in Australia. ACSW 2010 is hosted by the School of Information Technology at the Queensland University of Technology (QUT) in Brisbane, Australia, in January 2010.

For more information about CATS please visit http://cats.it.usyd.edu.au/
Contact: cats2010@easychair.org