2nd CFP: CATS 2006
Joachim.Gudmundsson at nicta.com.au
Mon Aug 8 16:05:25 PDT 2005
CALL FOR PAPERS
Computing: The Australasian Theory Symposium, January 16-19, 2006,
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
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).
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
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
or send mail to compgeom-request at research.bell-labs.com with the line:
Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html.
More information about the Compgeom-announce