Tuesday
Wednesday
Thursday
Friday
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.