Logic List Mailing Archive

CATS08: Computing: The Australasian Theory Symposium, Wollongong (Australia), 22-25 Jan 2008

Preliminary Announcement

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.  Wollongong is an
hour south of Sydney by train.

See submission details at:
http://uob-community.ballarat.edu.au/~pmanyem/cats-08/submission.html

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)