Logic List Mailing Archive

Computing: The Australasian Theory Symposium (CATS 2008)

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)