Logic List Mailing Archive

Computing: Australasian Theory Symposium (CATS 2008), 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.  Wollongong is about an hour south of Sydney by
train.  CATS is one of the two premier annual conferences in theoretical
computer science in the Asia-Pacific.

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.


++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Any early indication of interest to attend would help us in planning the
workshop and would be very much appreciated by the Organising Committee.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


SUBMISSION

The deadline for submission of papers will be sometime in August 2007.
Submissions should be made electronically via
http://www.easychair.org/CATS2008/  (abstracts first, then the full paper).


PUBLICATION

Submitted papers will be thoroughly refereed and accepted papers will
appear in the electronic proceedings at http://crpit.com.  Papers that
are presented at CATS will appear in the ACM Digital Library.  Full
details about the publication policy is available at the CRPIT website
(http://crpit.com/Authors.html).  Proceedings from the last three CATS
symposia are available online at:   http://crpit.com/Vol65.html (2007),
http://crpit.com/Vol51.html (2006), and http://crpit.com/Vol41.html
(2005).

For further information, see
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)