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