2nd 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.

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

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 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.