Logic List Mailing Archive

CATS 2007: Computing -- The Australasian Theory Symposium, Jan/Feb 2007, Ballarat (Australia)

CALL FOR PAPERS
                                                                           
          
CATS 2007 Computing: The Australasian Theory Symposium,
January 29 - February 2, 2007, Ballarat, Australia.
www-staff.it.uts.edu.au/~cbj/cats07
                                                                           
          
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 2007 will be the thirteenth 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 2007 should be submitted electronically no
later than Friday, 11th of August, 2006. 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.
   Otfried Cheong, KAIST, Korea
   David Clarke, CWI, Amsterdam
   Joachim Gudmundsson (Co-chair), NICTA, Australia
   Barry Jay (Co-chair), UTS, Australia
   Mike Johnson, Macquarie University, Australia
   Bruce Litow, James Cook University, Australia
   John Lloyd, Australian National University, Australia
   Prabhu Manyem, University of Ballarat, Australia
   Brendan McKay Australian National University, Australia
   David Pearce, Victoria University of Wellington, New Zealand
   Kunihiko Sadakane, Kyushu University, Japan
   Tasos Viglas, University of Sydney, Australia
   Rowan Davies, University of Western Australia
                                                                           
          
Important Dates
   Submission of abstracts Thursday July 27 2006
   Submission of full papers Friday August 11 2006
   Notification of authors Tuesday September 26 2006
   Final version due Friday October 20 2006
   Author registration Friday October 20 2006