Logic List Mailing Archive

Discussion Track at the "Australasian Theory Symposium"

20-23 Jan 2009
Wellington, New Zealand

The 15th Computing: The Australasian Theory Symposium (CATS) will be held 
in Wellington, New Zealand, during January 20-23, 2009.  CATS is one of 
the two premier annual conferences in theoretical computer science in the 
Asia-Pacific.  For more details about the CATS conference, please see 
http://velorum.ballarat.edu.au/~pmanyem/CATS09/index.html.

An innovation introduced for CATS 2009 is a Discussion Track, which is 
intended as a form for discussing (some of) the accepted papers for CATS 
in the few months before the conference (in this case, from November, 2008 
to January 19, 2009).  Authors of accepted papers were given the choice 
whether or not to include their paper in this track.  At present, there 
are 12 papers included (from a total of 19 accepted papers).

Discussion is invited from anyone who is interested in the papers and is 
willing to contribute.  The Discussion Track website is 
http://www.cs.rmit.edu.au/~jah/cats09

As this is a new and experimental development, there are many unanswered 
questions here.  It is our hope that having online discussions like this 
will enhance the interactions possible at the CATS meeting, as the papers 
are not introduced for the first time at the conference itself. 
Naturally we are most interested to hear feedback, and particularly on 
ways in which this could be improved.

Please do visit the Discussion Track site, comment on papers of interest 
to you and send us feedback on any aspect of the Discussion Track.

James Harland
Discussion Track Coordinator, CATS 2009
Web: goanna.cs.rmit.edu.au/~jah/