22-25 January 2008
Wollongong, Australia
CATS 2008 --- Computing: The Australasian Theory Symposium January 22-25, 2008 University of Wollongong, New South Wales, Australia http://uob-community.ballarat.edu.au/~pmanyem/cats-08/ The 14th Computing: The Australasian Theory Symposium (CATS) will be held at the University of Wollongong, New South Wales, Australia, during January 22-25, 2008. CATS is one of the two premier annual conferences in theoretical computer science in the Asia-Pacific. KEYNOTE SPEAKER --------------- Eric Allender, Rutgers, New Jersey SUBMISSION ---------- See submission details at: http://uob-community.ballarat.edu.au/~pmanyem/cats-08/submission.html The submission server is now open at: http://www.easychair.org/CATS2008/ Authors are invited to submit papers that present original and unpublished research on topics including (but not limited to) the following areas: Algorithms and Data Structures, Complexity Theory, Graph Theory, Graph Algorithms and Combinatorics, Semantics of Programming Languages, Algorithms on Strings, Optimisation, Formal Program Specification and Transformation, Computational Algebra and Geometry, Computational Biology, Logic and Type systems, and New Paradigms of Computation. PUBLICATION ----------- Submitted papers will be thoroughly refereed and accepted papers will appear in the electronic proceedings at http://crpit.com. For full details on the publication policy, go to http://crpit.com/Authors.html More information: http://uob-community.ballarat.edu.au/~pmanyem/cats-08/ Program Committee Co-Chairs: --------------------------- James Harland, RMIT University, Australia (firstName.familyName at rmit.edu.au), Prabhu Manyem, University of Ballarat, Australia (p.familyName at ballarat.edu.au)