Call for papers CATS 2012

I am a PC member for the first time.

Call for Papers

CATS 2012 — Computing: The Australasian Theory Symposium
Melbourne, Australia, January 30-February 2, 2012
http://cats.it.usyd.edu.au/

The 18th Computing: The Australasian Theory Symposium (CATS) will be
held in Melbourne, Australia, in January/February 2012. 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 related to theoretical aspects of
computer science, including (but not limited to):
– algorithms and data structures
– algorithmic game theory
– combinatorial optimization
– computability
– computational complexity theory
– computational geometry
– graph theory and combinatorics
– parallel and distributed algorithms
– logic and type systems
– program derivation, analysis, and verification
– theory of programming languages

Important dates:
– Paper submission deadline: Monday 15 August, 2011
– Acceptance notification: Monday 10 October, 2011
– Final version due: Monday 7 November, 2011
– Conference dates: Monday 30 January – Thursday 2 February, 2012

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 2012 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 2012 is hosted by RMIT
University in Melbourne, Australia.

For more information please visit http://cats.it.usyd.edu.au/
Contact: Julian Mestre <cats2012@easychair.org>