posted by user: tasoviglas || 3453 views || tracked by 8 users: [display]

CATS 2013 : Computing: the Australasian Theory Symposium


Conference Series : Computing: The Australasian Theory Symposium
When Jan 29, 2013 - Feb 1, 2013
Where Adelaide, Australia
Submission Deadline Aug 27, 2012
Notification Due Oct 8, 2012
Final Version Due Oct 29, 2012
Categories    algorithms   theoretical computer science   complexity

Call For Papers

CATS 2013 -- Computing: The Australasian Theory Symposium

Adelaide, South Australia
29 January - 1 February 2013

The 19th CATS symposium (Computing: the Australasian Theory Symposium) will be held in Adelaide, South Australia, in summer 2012/3. 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 (updated): 27 August 2012
Notification : 8 October 2012
Camera-ready copy submission : 29 October 2012
Author registration ends : 5 November 2012
Early bird registration ends : 3 December 2012
Conference dates : 29 January - 1 February 2013

The proceedings of this event will be published by the Australian Computer Society (ACS) in the CRPIT Series ( They will also appear in the ACM digital library. CATS 2013 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 2013 is hosted by the University of South Australia at its City West Campus.

For more information please visit or
contact Tony Wirth at

Related Resources

AusDM 2018   Australasian Data Mining Conference
CGDEIJ 2018   Computer Game Development and Education
ACISP 2018   23rd Australasian Conference on Information Security and Privacy
CONCUR 2018   29th International Conference on Concurrency Theory
IJESA 2018   International Journal of Embedded Systems and Applications
ICONIP 2018   25th International Conference on Neural Information Processing
Signal 2018   5th International Conference on Signal and Image Processing - UGC Listed Proceedings
ICTIR 2018   ACM SIGIR International Conference on the Theory of Information Retrieval
NCO 2018   4th International Conference on Networks and Communications - UGC Listed Proceedings
ICSTCC 2018   22nd International Conference on System Theory, Control and Computing