Logic List Mailing Archive

CATS 2013: The Australasian Theory Symposium

29 Jan - 1 Feb 2013
Adelaide, Australia

CATS 2013 -- Computing: The Australasian Theory Symposium

Adelaide, South Australia
29 January - 1 February 2013

http://cis.unimelb.edu.au/cats/

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 : 13 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 (http://crpit.com/). 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 http://cis.unimelb.edu.au/cats/ or
contact Tony Wirth at cats2013@easychair.org