Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

22-25 January 2008, Computing: The Australasian Theory Symposium (CATS 2008), University of Wollongong, New South Wales, Australia

Date: 22-25 January 2008
Location: University of Wollongong, New South Wales, Australia
Deadline: 15 August 2007

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.

For more information, see http://uob-community.ballarat.edu.au/~pmanyem/cats-08/

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.

The deadline for submission of papers will be sometime in August 2007. Submissions should be made electronically via http://www.easychair.org/CATS2008/ . Submitted papers will be thoroughly refereed and accepted papers will appear in the electronic proceedings at http://crpit.com.

Please note that this newsitem has been archived, and may contain outdated information or links.