CATS 2011 call for papers (the australian theory conference)

CATS 2011 -- Computing: The Australasian Theory Symposium
Perth, Australia, January 17-20, 2011
http://cats.it.usyd.edu.au/

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

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, and computability.

Deadlines and other dates:
Paper submission deadline:Monday August 16, 2010
Acceptance notification:Monday October 4, 2010
Final version of accepted papers due:Monday November 5, 2010
Early registration: Monday December 6, 2010
Conference dates: January 17-20, 2011

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 2011 is part of the Australasian Computer Science Week (ACSW), an international annual conference event, supported by the Computing Research and Education Association (CORE) in Australia. ACSW 2011 is hosted by Curtin University in Perth, Australia.

For more information please visit http://cats.it.usyd.edu.au/
Contact: taso viglas (aviglas+cats2011@gmail.com)