CFP: CATS 2006

[Joachim Gudmundsson]

CALL FOR PAPERS


CATS 2006
Computing: The Australasian Theory Symposium,
January 16-19, 2006, Hobart, Australia.
http://www-staff.it.uts.edu.au/~cbj/cats06


CATS is the premier theoretical computer science conference
in Australasia. It is held annually as part of Australasian
Computer Science Week (ASCW) which comprises many other
conferences and is overseen by the Computer Research and
Education Association (CORE).

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.

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 of August, 2005. Submissions must
be original work, not published or submitted elsewhere. All
submissions will be refereed. Accepted papers will appear in
the published proceedings.

Program Committee
   Tetsuo Asano, JAIST, Japan.
   Mike Atkinson, University of Otago, New Zealand.
   Ljiljana Brankovic, University of Newcastle, Australia
   Prosenjit Bose, Carleton University, Canada
   Rod Downey, University of Wellington, New Zealand
   Joachim Gudmundsson (Co-chair), NICTA, Australia
   James Harland, RMIT, Australia
   Barry Jay (Co-chair), UTS, Australia
   Mike Johnson, Macquarie University, Australia
   Paul Kelly, Imperial College, U.K.
   Delia Kesner, Universite de Paris 7, France
   Ling Li, Curtin University, Australia
   Eugenio Moggi, Univ. di Genova, Italy
   Jens Palsberg, UCLA, U.S.A.
   Andrew Solomon, UTS, Australia
   Gerhard Woeginger, TU Eindhoven, The Netherlands

Important Dates
  Submission of abstracts August 3, 2005
  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


--------------------------------------------------------------------------
This email and any attachments may be confidential. They may contain legally
privileged information or copyright material. You should not read, copy,
use or disclose them without authorisation. If you are not an intended
recipient, please contact us at once by return email and then delete both
messages. We do not accept liability in connection with computer virus,
data corruption, delay, interruption, unauthorised access or unauthorised
amendment. This notice should not be removed.

-------------
The compgeom mailing lists: see
http://netlib.bell-labs.com/netlib/compgeom/readme.html
or send mail to compgeom-request at research.bell-labs.com with the line:
send readme
Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html.