Computing: The Australasian Theory Symposium January 2008

Jeremy Dawson Jeremy.Dawson at rsise.anu.edu.au
Do Apr 5 00:48:59 CEST 2007


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)



Mehr Informationen über die Mailingliste IFI-CI-Event