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

CATS is part of the Australasian Computer Society Week (ACSW). This year the ACSW is organized by the RMIT University in Melbourne, Australia.

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
  • graph theory and combinatorics
  • parallel and distributed algorithms
  • logic and type systems
  • program derivation, analysis, and verification
  • theory of programming languages

Papers related to other theoretical aspects of computer science will also be considered.


CATS workshop on Multivariate Analysis - Parameterized Complexity

This CATS tutorial will offer parameterized complexity theory and techniques to deal with intractable (NP-hard) problems. Fine-grained complexity analysis and algorithm design has an almost universal mission, much of it unexplored. There will be examples across many fields; such as, massive parallel processing of huge data sets, computational biology, computational vision, AI, computational social choice (ranking problems and voting theory), approximation, kernelization - very multidisciplinary. It is a tutorial with the basics presented, although some of the latest results and applications will be described. The parameterized complexity research community is strongly interdisciplinary, with great promise for further interdisciplinary opportunities.

For more information, please visit the workshop's webpage.

Important dates

  • Submission deadline: Monday 15 August, 2011 Monday 29 August, 2011 (Anywhere on Earth)
  • Acceptance notification: Monday 10 October, 2011
  • Final version due: Monday 7 November 2011
  • Author registration: Monday 14 November 2011
  • Early bird registration: Monday 5 December 2011
  • Conference dates: Monday 30 January - Thursday 2 February of 2012