From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3342 Path: news.gmane.org!not-for-mail From: Barry Jay Newsgroups: gmane.science.mathematics.categories Subject: CATS call for papers Date: Wed, 28 Jun 2006 14:44:23 +1000 Message-ID: NNTP-Posting-Host: main.gmane.org Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019239 8317 80.91.229.2 (29 Apr 2009 15:33:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:33:59 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Jun 29 13:39:00 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 29 Jun 2006 13:39:00 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FvzMS-0004gE-0h for categories-list@mta.ca; Thu, 29 Jun 2006 13:27:24 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 8 Original-Lines: 91 Xref: news.gmane.org gmane.science.mathematics.categories:3342 Archived-At: The CATS call for papers is at www-staff.it.uts.edu.au/~cbj/cats07 Papers on applicaitons of categories in computing are most welcome. Regards, Barry Computing: The Australasian Theory Symposium /Computing: The Australasian Theory Symposium/ (CATS) in 2007 will be held in Ballarat in 2007. CATS is the premier theoretical computer science conference in Australasia. It is held annually as part of /Australasian Computer Science Week/ (ACSW) which comprises many other conferences and is overseen by the Computer Research and Education Association (CORE - previously CSA). 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 . Our invited speaker is Professor Jens Palsberg UCLA Call for papers 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 August 11 2006. Submissions must be original work, not published or submitted elsewhere. All submissions will be refereed. Accepted papers will appear in the published proceedings. 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 Program Chairs Barry Jay University of Technology, Sydney Email: |cbj@it.uts.edu.au| Joachim Gudmundsson National ICT Australia Email: |Joachim.Gudmundsson@nicta.com.au| -- Associate Professor C.Barry Jay, Phone: (61 2) 9514 1814 Faculty of IT www-staff.it.uts.edu.au/~cbj University of Technology, Sydney. CRICOS Provider 00099F CATS07 homepage: www-staff.it.uts.edu.au/~cbj/cats07 -- Associate Professor C.Barry Jay, Phone: (61 2) 9514 1814 Faculty of IT www-staff.it.uts.edu.au/~cbj University of Technology, Sydney. CRICOS Provider 00099F CATS07 homepage: www-staff.it.uts.edu.au/~cbj/cats07