From owner-theorynt@LISTSERV.NODAK.EDU Thu Apr 3 14:13:52 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id OAA12281 for ; Thu, 3 Apr 1997 14:13:52 -0800 (PST) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id OAA07272; Thu, 3 Apr 1997 14:02:50 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.93180860@listserv.nodak.edu>; Thu, 3 Apr 1997 16:03:30 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 154249 for THEORYNT@LISTSERV.NODAK.EDU; Thu, 3 Apr 1997 16:03:26 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.8F762980@listserv.nodak.edu>; Thu, 3 Apr 1997 16:03:25 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 154226 for THEORY-A@LISTSERV.NODAK.EDU; Thu, 3 Apr 1997 16:03:23 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.8E0BC410@listserv.nodak.edu>; Thu, 3 Apr 1997 16:03:22 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id OAA22872 for theory-a@listserv.nodak.edu; Thu, 3 Apr 1997 14:03:21 -0800 (PST) X-Mailer: exmh version 1.6.7 5/3/96 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199704010528.PAA04059@orion.anu.edu.au> Date: Thu, 3 Apr 1997 14:03:20 PST Reply-To: Theory-A - TheoryNet World-Wide Events , David A Wolfram Sender: TheoryNet List Comments: cc: daw@orion.anu.edu.au From: David A Wolfram Subject: [Theory-A] CFP Computing: the Australasian Theory Symposium (CATS '98) Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 0001 Content-Length: 5725 CALL FOR PAPERS CATS'98 - Computing: The Australasian Theory Symposium University of Western Australia Perth, Western Australia 2-3 February, 1998 CATS'98 will be held at the University of Western Australia as part of the Australasian Computer Science Week (ACSW98) which also includes: . the Australasian Computer Science Conference (ACSC'98) . the Australasian Database Conference (ADC'98) . the Australasian Computer Architecture Conference (ACAC'98) Following on from CATS'94 in Sydney, CATS'96 in Melbourne, and CATS'97 in Sydney, CATS'98 aims at providing a forum for researchers in theoretical computer science. Typical, but not exclusive, topics of interest include: - - Algorithms and data structure - - Category theory - - Complexity - - Computational algebra, biology, geometry, logic, and number theory - - Concurrency - - Distributed and parallel computing - - Formal semantics, specification, synthesis, and verification Original research papers are solicited. Submissions to CATS'98 this year will be again conducted electronically, and should be sent in standard Postscript format to cats98@cs.uwa.edu.au by the submission deadline. Authors unable to access e-mail may send 4 hard copies of their papers to Xuemin Lin -- CATS'98 Department of Computer Science University of Western Australia Crawley, Western Australia 6907 Australia E-mail: cats98@cs.uwa.edu.au http://www.cs.uwa.edu.au:80/~lxue/CATS98/index.html In both cases, confirmation of receipt will be given, in the case of a postscript submission, once the file has been successfully printed. Submissions should include an abstract, 3-6 key words, and the fax number and e-mail address of the corresponding author. The contribution of the paper should be clearly explained in both general and technical terms, and authors should make every effort to ensure the technical content of their papers is understandable by a broad audience. The paper (an extended abstract or full paper) should not exceed 15 A4 pages using 11 point or larger font. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the conference to present the work. Papers will be judged on originality, significance, correctness, and clarity. Accepted papers will be published in the proceedings of the Symposium, which will appear in the DMTCS series of Springer-Verlag. ========================================= INVITED SPEAKERS: Ming Li (University of Waterloo, Canada) Takeshi Tokuyama (IBM, Japan) ========================================= IMPORTANT DATES: Submission Deadline: Friday 15 August 1997. This is a hard deadline; submissions postmarked after this date will be returned. Author Notification: Friday 24 October 1997. Final Version: Friday 14 November 1997. Acceptance of papers for the conference will be conditional upon the registration of at least one of the authors by 21 November 1997. ========================================= GENERAL CHAIR: James Harland RMIT PROGRAM COMMITTEE CHAIR: Xuemin Lin UWA LOCAL CHAIR: Chi-Ping Tsang UWA STEERING COMMITTEE: John Crossley Monash University Peter Eades University of Newcastle James Harland RMIT Michael Johnson Macquarie University John Staples University of Queensland Harald Sondergaard University of Melbourne PROGRAM COMITTEE: Cristian Calude University of Auckland Hossam Elgindy University of Newcastle Matthew Hennessy University of Sussex Xuemin Lin University of Western Australia Bruce Maggs Carnegie-Mellon University Martin Odersky University of South Australia Hong Shen Griffith University Harald Sondergaard University of Melbourne Antonios Symvonis University of Sydney Tadao Takaoka University of Canterbury Ron van der Meyden University of Technology, Sydney Lusheng Wang City University of Hong Kong Sue Whitesides McGill University David Wolfram Australian National University ===================================== ADDRESS FOR ALL PAPER SUBMISSION CORRESPONDENCE Xuemin Lin -- CATS'98 Department of Computer Science University of Western Australia Crawley, Western Australia 6907 Australia Telephone: +61 9 380 3449 Facsimile: +61 9 380 1089 E-mail: cats98@cs.uwa.edu.au ===================================== ADDRESS FOR CORRESPONDENCE, OTHER THAN PAPER SUBMISSION, RELATED TO ANY CONFERENCE FORMING PART OF THE AUSTRALIAN COMPUTER SCIENCE WEEK ACSW'98 Information Department of Computer Science The University of Western Australia Crawley, Western Australia, 6907 Telephone: +61 9 380 2533 Email: acsw98info@cs.uwa.edu.au ORGANISING COMMITTEE CHAIR Chris McDonald Department of Computer Science The University of Western Australia Crawley, Western Australia, 6907 Email: chris@cs.uwa.edu.au ACSW'98 Hosts: Department of Computer Science, The University of Western Australia Department of Computer Science, Curtin University of Technology Department of Computer Science, Edith Cowan University Computer Science Programme, Murdoch University