Computing: The Australasian Theory Symposium

Computing: The Australasian Theory Symposium (CATS) in 2006 will be held at the Wrest Point Casino in Hobart from 16th-19th January 2006. CATS is the premier theoretical computer science conference in Australasia. It is held annually as part of Australasian Computer Science Week (ACSW) which comprises many other conferences and is overseen by the Computer Research and Education Association (CORE - previously CSA).

CATS 2006 will be the twelfth time that CATS has been held. The symposium will consist of invited talks and formal paper presentations. All papers will be fully refereed with proceedings published by CRPIT .

Expanded versions of selected papers will be invited to submit to a special issue of International Journal of Foundations of Computer Science (IJFCS) .

NEW!!

The invited speaker and accepted papers are listed in the programmed page

Invited Speaker

Professor Tesuo Asano

Japan Advanced Institute of Science and Technology

Computational Geometric and Combinatorial Approaches to Digital Halftoning

Abstract

Digital halftoning is a technique to convert a continuous-tone image into a binary image consisting of black and white dots. It is an important technique for printing machines and printers to output an image with few intensity levels or colors which looks similar to an input image. In this talk I will explain how computational geometry and combinatorial optimization can contribute to digital halftoning or what geometric and combinatorial problems are related to digital halftoning.

Extended abstract

Call for papers

Papers are invited on all aspects of Theoretical Computer Science. Some representative, but not exclusive, topics include the following:

logic and type systems
semantics of programming languages
formal program specification and transformation
concurrent, parallel and distributed systems
algorithms and data structures
automata theory and formal languages
computational complexity
applications of discrete mathematics and optimisation

Full papers for CATS 2006 should be submitted electronically no later than Friday, 19th August 2005. Submissions must be original work, not publishedor submitted elsewhere. All submissions will be refereed. Accepted papers will appear in the published proceedings.

Important Dates

Submission of full papers August 19, 2005
Notification of authors October 3, 2005
Final version due October 28, 2005
Author registration October 28, 2005
Conference January 16-January 19, 2006

Program Chairs

Barry Jay
University of Technology, Sydney
Email: cbj@it.uts.edu.au

Joachim Gudmundsson
National ICT Australia
Email: Joachim.Gudmundsson@nicta.com.au