Computing: the Australian Theory Seminar (CATS) Sydney 17th-19th December, 1994 Sponsord by The Key Centre for Advanced Computing Sciences University of Technology, Sydney FIRST ANNOUNCEMENT CATS will be open to all aspects of the theory of computer science. It will provide an opportunity for the scattered community of computing theorists in Australia and New Zealand to meet and exchange views in an informal setting. The following international visitors will be coming. Robin Cockett (Calgary) Eugenio Moggi (Genoa) Maurice Nivat (France) Phil Wadler (Glasgow) Printed proceedings will be provided. Following the meeting, authors will be invited to submit revised papers for a special issue of Theoretical Computer Science on Australian research. PROGRAM COMMITTEE John Crossley Barry Jay (Chair) John Staples SUBMISSIONS should be no more than twelve pages, include the author's name(s) and e-mail addresses, and be received by Friday, 4th November. Electronic submission in postscript format is preferred. Send them to cats@socs.uts.edu.au. Hard copy should be sent to Dr C.B. Jay, School of Computing Sciences, University of Technology, Sydney, PO Box 123 Broadway, 2007. NOTIFICATION of acceptance will be sent out by Friday, 2nd December. Pre-conference drinks on Friday evening, and a conference dinner on Sunday will be included in the registration costs. REGISTRATION Before 15/11/94 $85 After 15/11/94 $120 Students (before 15/11) $45 ACCOMMODATION A limited number of rooms in new university appartments with shared facilities are available for $40 per night. These will be allocated in order of request. ENQUIRIES Send enquiries to cats@socs.uts.edu.au (not the sender of this message). Please distribute this announcement widely. Barry Jay ------------------------------------------------------ -------------- REGISTRATION FORM --------------------- ------------------------------------------------------ FAMILY NAME___________________________________________ GIVEN NAMES __________________________________________ STUDENT YES/NO ACCOMMODATION REQUIRED 16/12 17/12 18/12 19/12 (circle dates) REGISTRATION FEE _____________________________________ (Make checks payable to C.A.T.S.) Please post your registration form to: CATS c/o Dr C.B. Jay School of Computing Sciences University of Technology, Sydney P.O. Box 123 Broadway Australia. 2007