From: rwt@kurango.cit.gu.edu.au (Rodney Topor)
Subject: Sixteenth Australian Computer Science Conference
Summary: ACSC-16 is coming, February 3 to 5, register now.
Keywords: ACSC-16 Call for Attendance
Organization: Griffith University.
Date: Tue, 5 Jan 1993 01:52:32 GMT


=============================================================================

                    AUSTRALIAN COMPUTER SCIENCE CONFERENCE

                                   ACSC-16

                           3rd - 5th February 1993

                    at Griffith University (Nathan Campus)
                                   Brisbane

                              Griffith University
                     Queensland University of Technology



ACSC-16
-------

The Australian Computer Science Conference is the annual research conference 
of the Computer Science Association of Australia. ACSC aims to stimulate the 
interchange of ideas and information among computer scientists, particularly 
those working in academic and other institutions in Australasia.

The 16th Australian Computer Science Conference, ACSC-16, is jointly hosted by 
Griffith University and the Queensland University of Technology, and will be 
held at the Nathan campus of Griffith University in Brisbane, from Wednesday 
3rd February to Friday 5th February 1993. 

ACSC-16 will consist of presentations of research papers on all areas of 
computer science. In addition to the general sessions, ACSC-16 will 
incorporate the following specialised streams:-

- Foundations
- Algorithms and data structures
- Distributed and parallel processing
- Computer security

A Workshop on Computer Architecture will be held on Tuesday 2nd February.
Contact John Morris (morris@utas.oz.au) for details.

INVITED SPEAKERS
----------------

RICK RASHID is Professor of Computer Science at Carnegie-Mellon University 
and director of a basic research group at Microsoft Corporation. He was 
previously at the IBM Palo Alto Scientific Centre and the University of 
Rochester. He is well known for his work on CMU's Project MACH, the operating 
system which has become the standard for DoD in the USA and the basis of the 
NeXT operating system. With the release of Microsoft's NT operating system 
imminent, Prof Rashid will talk on "Operating Systems Past, Present and 
Future: From the Alto to the Gigahertz Nintendo".

KEITH VAN RIJSBERGEN is Professor and Head of Department of Computer Science 
at Glasgow University. He followed degrees in mathematics and computer science 
with posts at Monash University, Cambridge Computer Laboratory, University 
College Dublin, and Glasgow University. His research is in theoretical and 
experimental aspects of information retrieval. He will speak on "Information 
Retrieval and Informative Reasoning.".

ROSS QUINLAN is Professor of Computer Science at the University of Sydney. He 
has held appointments at Carnegie-Mellon Unversity, The Rand Corporation, 
NSWIT, MIT, Stanford University and Sydney University. His research concerns 
algorithms for learning and plausible reasoning. He will speak on "A Case 
Study in Machine Learning". 


VENUE
-----

The Nathan campus of Griffith University is located 11 kilometres south of 
Central Brisbane in an attractive natural bush forest. It is close to the 
South-east Freeway to central Brisbane or the Gold Coast, on several bus 
routes and close to many good restaurants. Conference sessions will be held in 
the Northern Lecture theatres. Adequate parking is available at the adjacent 
Eastern Carpark, for $2 per day. 

The weather in Brisbane in early February is sunny, warm (29 degrees) and 
humid (bring light clothes.) There can be sudden thunderstorms (bring an 
umbrella).


PROGRAMME
---------

Tuesday 2 February

 4:30pm  Early registration and accommodation book-in, at The Hub
 7:00pm  Informal welcoming reception, at The Hub

Wednesday 3 February

 8:00am  Registration, at The Reading Pit
 9:00am  Conference sessions
 1:00pm  Lunch
 2:00pm  Conference sessions
 5:30pm  Close of sessions
 6:30pm  Reception at Queensland University of Technology, Gardens Point 
         campus, Brisbane city
 8:00pm  Free time in Brisbane city

Thursday 4 February

 8:30am  Conference sessions
12:30pm  Lunch
 1:30pm  Conference sessions
 5:30pm  Close of sessions
 7:30pm  Conference dinner at Sirocco Mediterranean Restaurant, South Bank,
         Brisbane city

Friday 5 February

 8:30am  Conference sessions
12:30pm  Lunch
 1:30pm  Conference sessions
 2:30pm  Annual Meeting of the Computer Science Association
 4:00pm  Workshops: Security & Foundations
 5:00pm  Conference close


ACCREDITATION
-------------

The Australian Computer Society has accredited ACSC-16 with 18 Practising 
Computer Professional (PCP) points.

ACSC-16 sessions may be used as part of an eligible training programme under 
the Training Guarantee Act.


SOCIAL PROGRAMME
----------------

(included in full registration fee)

A reception will be held at the Gardens Point campus of the Queensland 
University of Technology on the evening of Wednesday 3rd February, from 6:30pm 
to approximately 8:00pm; light refreshments will be included. Following the 
reception, attendees will be free to spend the evening at the restaurants of 
the South Bank (a short ferry ride), at the adjacent Performing Arts Centre, 
or at city restaurants, theatres and nightspots.

The conference dinner will be held at the Sirocco Mediterranean Restaurant, 
South Bank, city, on Thursday 4th February, commencing at 7:30pm.

Transport from the Nathan campus to the city will be provided on both 
evenings.


ACCOMMODATION
-------------

Griffith University Residences.

The Bellenden Ker residences are within 5 minutes walk of the conference 
theatres.
        Serviced room only      $30 per person per night
        Bed & breakfast         $42 per person per night


Robertson Gardens Motel, Kessels Road, Nathan

Robertson Gardens is immediately adjacent to the Nathan campus, 10 minutes 
walk from the campus. 
        Bed only                $68 per person or couple per night
        Breakfast               $9 to $14


Parkroyal, Alice Street, Brisbane

The Parkroyal is located opposite the City Botanical Gardens adjacent to QUT. 
It provides luxury accommodation with 24 hour room service, pool and 
restaurant.
        Room:                   $65 per night


Olims Hotel Brisbane, 355 Main Street, Kangaroo Point

All rooms include kitchenette.
        Room:                   $60 per night
        Full hot breakfast:     $10 per head


Quality River Plaza Hotel, Dock Street, South Brisbane.

This hotel is adjacent to South Bank with regular ferry service to the city. 
All rooms have views up the Brisbane River and the city. Separate lounge and 
bedroom. Fully equipped kitchen.
        $75 per suite per night.


For any further information on accommodation or travel please contact 
Conventions Queensland.


SPONSORS
--------

We wish to gratefully acknowledge the support of:

CITEC
Centre for Information Technology and Communications (Business Unit - 
Administrative Services Department), Queensland Government

ACS
Australian Computer Society

CIDS
Co-operative Research Centre for Intelligent Decision Systems

DSTC
Co-operative Research Centre for Distributed System Technology

MICROSOFT PTY LTD


REGISTRATION
------------

To register please complete the attached registration form and forward to the 
address below.


CONVENTION SECRETARIAT
----------------------  

For registration and other administrative arrangements, and accommodation and 
travel enquiries, contact:

        Conventions Queensland
        GPO Box 1988
        Brisbane Qld 4001
        Australia

        Phone: (07)8708831 (Australia)   +61 7 8708831 (International)
           A/H (07)3714218               +61 7 3714218
        Fax:   (07)2292511               +61 7 2292511

For other enquiries:

        Email: acsc16@qut.edu.au


=============================================================================

                              REGISTRATION FORM
                    Australian Computer Science Conference
   3rd - 5th February 1993 at Griffith University (Nathan Campus) Brisbane

TO: ACSC-16
    Conventions Queensland
    GPO Box 1988
    Brisbane 4001    Qld
    Australia

Surname: ______________________________________ Title: _______________________

Given Names: _________________________________________________________________

Position: ____________________________________________________________________

Organisation: ________________________________________________________________

Address: _____________________________________________________________________

______________________________________________________________________________

Telephone: ____________ Fax: __________ Email: _______________________________

Details of flight arrival:

Airline: _________________________ Flight no: _______________ Date: ___/___/93

I will be attending the ACSC-16 and enclose payment for:

        Registration before 24 December 1992 at $220    $
        Registration after  24 December 1992 at $245    $

The above registration fee includes all sessions, morning and afternoon teas, 
lunches, a copy of the conference proceedings, receptions and conference 
dinner, and temporary membership of the Griffith University Club.

        Daily registration at $80 per day *             $
        Student registration at $85 **                  $
        Extra tickets for QUT reception at $25          $
        Extra tickets for conference dinner at $40      $
        Accommodation payment or deposit (see below)    $

                                                        ---------
                                               Total    $

Please make your cheque or bank draft payable to:     ACSC-16

* DAILY REGISTRATION includes attendance at all sessions on one day of the 
conference, and morning and afternoon teas only.

** STUDENT REGISTRATION includes attendance at all sessions on three days, a 
copy of the conference proceedings, and morning and afternoon teas only. This 
rate is available only to bona fide students who complete the details below:

        Current degree ______________________________________________

        Institution _________________________________________________

        Certified by ______________________________ (institution staff member)


ACCOMMODATION BOOKING

Full payment in advance is required for the Bellenden Ker Residences, and one
night's deposit for Robertson Gardens, Parkroyal, Olims and River Plaza.

Type of accommodation required:

        Single [ ]      Twin [ ]        Double [ ]

        One bedroom apartment [ ]       Two bedroom apartment [ ]

Number of children __________

I wish to share with ________________________________________________

Day in: ___/___/93      Day Out: ___/___/93

Please indicate 1st, 2nd and 3rd preferences:

        Griffith University residence   [ ]
        Robertson Gardens Motel         [ ]
        Park Royal                      [ ]
        Quality Inn River Plaza         [ ]
        Olims Hotel Brisbane            [ ]

Please send me information on:

        Pre and post conference tours   [ ]
        Hire car                        [ ]
        Other                           [ ]

=============================================================================

                    Australian Computer Science Conference
                                   ACSC-16
                             3 - 5 February 1993
                             Provisional Program


Sponsored by:

Centre for Information Technology & Communications (CITEC), Qld Government
Australian Computer Society (ACS)
Cooperative Research Centres (CRC) - Intelligent Decisions Systems
Cooperative Research Centres (CRC) - Distributed Systems Technology
Microsoft Pty Ltd

Hosted by:  Griffith University and Queensland University of Technology

Venue:  Griffith University

------------------------------------------------------------------------------

Tuesday 2 February
------------------

1630 Early registration and accommodation book-in, at The Hub
1900 Informal welcoming reception, at The Hub

------------------------------------------------------------------------------

Wednesday 3 February
--------------------

0800 Registration, at the Reading Pit (map ref 4)

0900 Plenary Session:
     
     Official Opening:  Wayne Goss, Premier of Queensland 
     
     Invited Speaker: Professor Rick Rashid, Microsoft Corporation and 
     Carnegie Mellon University, Operating Systems Past, Present and Future: 
     from the Alto to the Gigahertz Nintendo 

1030 Morning Tea

1100 Stream A   Distributed & parallel processing       Chair:
     
     Polynomial Matrix Inversion in the Connection Machine Using Data Parallel 
     Evaluation-Interpolation. E V Krishnamurthy, Pin Chen 

     Parallel Solution of Partial Differential Equations Using a Locally One-
     Dimensional Method. Chen Lujuan, Iain Macleod, E V Krishnamurthy 
     
     Parallel Implementation of Eigenvalue Problems on Memory Distributed 
     Machines. B B Zhou, R P Brent 
     
     Improving Granularity and Locality of Data Structures in Multiprocessor 
     Execution of Functional Programs. Piyush Maheshwarien 

1100 Stream B   General                                 Chair:

     Using Soliton Circuits to Form Molecular Memories. Michael P Groves, 
     Christopher F Carvalho, Christopher D Marlin, Rolf H Prager 

     Self Organisation based scheduling and binding algorithm for High Level 
     Synthesis of digital circuits. Adam Postula, Ahmed Hemani,
     Suresh Hungenahally 

     A Self-Contained Dynamically Reconfigurable Processor Architecture.
     Michael Saleeba 

     AKAROA: a package for Automating Generation and Process Control of 
     Parallel Stochastic Simulations. Victor Yau, Krzysztof Pawlikowski 

1100 Stream C   General                                 Chair:
     
     Integrating Reflection, Strong Typing and Static Checking. D Stemple,
     R Morrison, G N C Kirby, R C H Connor 

     Modelling Object Identity. Roger Duke, Gordon Rose

     Type Extension and Efficient AST Manipulation. K John Gough, Diane Corney 

     A Formal Definition of the Dynamic Semantics of the Eiffel Language. 
     Isabelle Attali, Denis Caromel, Michael Oudshoorn 

1300 Lunch

1400 Stream A   Distributed & parallel processing       Chair:
     
     Constant Time Sorting on a Reconfigurable Mesh. Ashish Kapoor,
     Heiko Schroder, Bryan Beresford-Smith 

     On the utilisation of data duplication to accelerate the SORT operation 
     on mesh architectures. Hossam ElGindy 

     A Parallel Transitive Closure Algorithm for SIMD Meshes. X Zhou, Y Zhang, 
     M E Orlowska 

1400 Stream B   Security                                Chair:

     Automated Cryptanalysis of Substitution Ciphers. William Forsyth, 
     Reihaneh Safavi-Naini 

     Permutations Based on Single Pseudorandom Functions. Josef Pieprzyk, 
     Babak Sedeghiyan, Yuliang Zheng 

     Audit-by-Receiver Paradigms For Verification of Authorization at Source 
     of Electronic Documents. Selwyn Russell 

1400 Stream C   General                                 Chair:

     Coroutining and the construction of terminating logic programs. Lee Naish 

     Applying the Andorra principle. Lee Naish
     
     An application of logic programming in pure mathematics. Richard 
     Buckland, Michael Johnson 


1530 Afternoon Tea

1600 Stream A   Distributed & parallel processing       Chair:

     Virtual Full Interconnection for Multicomputers with Optical 
     Communication. A B Ruighaver 

     Heuristic Methods for Permutation Routing on Meshes and Tori.
     Wo Tommy Chan, Fillia Makedon, Antonios Symvonis 

     A Cost Comparison of Ordered and Unordered Multicasts. Kim Shearer 

1600 Stream B   Security                                Chair:

     Prevention of Relative Compromise in Statistical Databases using Audit 
     Expert. Mirka Miller, Ian Roberts, Jamie Simpson 

     On Implementing Security Extensions to the TCP Transport Layer.
     Lawrie Brown 

     CASS - Computer Architecture for Secure Systems. G Mohay, W Caelli,
     K J Gough, J Holford, G Low 

1600 Stream C   General                                 Chair:

     Discrete-event Simulation in Functional Languages. A J Field, R L While 

     Bags:  A Parallel ADT for Functional Languages. Paul Roe 

     Declarative debugging of lazy functional programs. Lee Naish 

1730 Close of Sessions

1830 Reception at Queensland University of Technology, Gardens Point Campus, 
     Brisbane City 

2000 Free time in Brisbane City

------------------------------------------------------------------------------

Thursday 4 February
-------------------

0830 Stream A   Distributed & parallel processing       Chair:

     On the Mapping of Affine Recurrence Equations. Patrick M Lenders,
     Heiko Schroder, Neil Dunstan 

     How Much Consistency is a Good Thing. A N Pears, R S Francis 

     Safe and Optimal Odd-Even Load Balancing on the Ring Task System.
     H Schroder, M Kunde, B Beresford-Smith, G Turner 

0830 Stream B   General                                 Chair:

     Definiteness Analysis for CLP (R). Naomi Baker, Harald Sondergaard 

     btC:  an Extension of C with Backtracking. Yaowei Liu, John Staples 

     An Object-oriented Approach to Extensible Parsing. Anthony Bloesch,
     Terry Halpin 

0830 Stream C   General                                 Chair:

     A Class Library for Teaching 3D Computer Graphics. R J Lobb, A J Willmott 

     On Teaching a Unix Window Interface in First Year. Trevor Vickers, 
     Bradley Broom 

     Safe-C for Undergraduate Introductory Programming. Trevor I Dix,
     Tam T Lien 

1000 Morning Tea

     Plenary Session:  
1030 Cooperative Research Centres

1130 Invited Speaker: Professor Keith van Rijsbergen, Glasgow University.
     Information Retrieval and Informative Reasoning 

1230 Lunch

1330 Stream A   Distributed & parallel processing       Chair: 

     A Concurrent Logic Progamming Encoding of Petri Nets. Andrew Davison 

     An Extension of ML for Distributed Memory Multicomputers. Peter Bailey, 
     Malcolm Newey 

     Automatic Analysis of CSP Programs Using Petri Nets. Jacek Olszewski 

     A distributed implementation of C-with-Ease. Tim MacKenzie, Trevor I Dix 

1330 Stream B   General                                 Chair:

     A Foundation for Knowledge Modelling. John Debenham 

     A Network Formalism for Commonsense Reasoning. Boon Toh Low, Norman Foo 

     Thagard's Postulates for Coherence and Explanation. Norman Y Foo,
     Maurice Pagnucco 

     A Finite Base Belief Revision System. Simon Dixon 

1330 Stream C   General                                 Chair:
     
     A Model for Defect Insertion and Detection in Software Development.
     T P Rout, D E Abel 

     A Model for Enhancing Software Product Quality. R G Dromey, C Bailes,
     Li Xiaoge 

     Software performance engineering - a case study for interactive software. 
     Yun Yang, Jim Welsh 

     Graph-based Module Testing. Daniel Hoffman, Paul Strooper 

1530 Afternoon Tea

1600 Stream A   Distributed & parallel processing       Chair:

     Remote Thread Execution. James Pinakis

     A Synchronous File Server for Distributed File Systems. Bradley M Broom 

     Implementing Asynchronous Remote Procedure Calls. Paul Dale, Brian Hicks 

1600 Stream B   General                                 Chair:

     Deriving Sorting Algorithms using Data Refinement. Lindsay Groves 

     Complete Line Segment Description using HoughTransform. M Atiquzzaman,
     M W Akhtar 

     Edge Detection in Natural Scenes. Cesar Bertino

1600 Stream C   General                                 Chair:

     An Implementation of Plan-Based Theory of Indirect Speech Acts. 
     Alpha K Luk, Wayne Wobcke 

     Relational Semantics and Logical Reasoning with Natural Language.
     Alpha K Luk 

     Building Interactive Graph ModellingApplications. Peter Eades, Wei Lai 

1730 Close of Sessions

1930 Conference Dinne

------------------------------------------------------------------------------

Friday 5 February
-----------------

0830 Stream A   Algorithms                              Chair:

     Application of substring searching methods to group presentations.
     George Havas, Mark Ollila 

     Splaysort:  Fast, Versatile, Practical. Alistair Moffat, Gary Eddy,
     Ola Petersson 

     Balancing a onestep multiway merge on multiprocessors. R S Francis,
     I D Mathieson, L J H Pannan 

0830 Stream B   Foundations                             Chair:

     Refining a Module with Opaque Types. Peter Bancroft, Ian Hayes 

     A model for inheritance and overriding in deductive object-oriented 
     systems. Gillian Dobbie, Rodney Topor 

     A Canonical Data Model for Federated and Distributed Systems. C A Ewald, 
     M E Orlowska 

0830 Stream C   General                                 Chair:

     Managing Software Engineering Documents. Ping Wah Chan, Alan Kent,
     Ross Wilkinson 

     Transforming Geographic Data Between Different Concrete Representations. 
     Richard T Pascoe, John P Penny 

     'Fact' Based Replacement Anomalies and Normal Forms in Relational 
     Database Design. M W Vincent, B Srinivasan 

1000 Morning Tea

1030 Stream A   Algorithms                              Chair:

     Unoriented theta-maxima in the plane:  Complexity and algorithms. D Avis, 
     B Beresford-Smith, L Devroye, H ElGindy, E Guvremont, F Hurtado, B Zhu 

     Computing Downwards Accumulations on Trees Quickly. Jeremy Gibbons 

1030 Stream B   Foundations                             Chair:

     Pre-orders for Fault-Tolerant Systems. Padmanabhan Krishnan 
     
     Relevance and Strictness. Clem Baker-Finch
                         
1030 Stream C   General                                 Chair:

     Optimal Indexes for Range Queries Using Multi-attribute Hashing.
     Evan P Harris, Kotagiri Ramamohanarao 

     First-Order On-Line Computation of Transitive Closure Queries.
     Guozhu Dong, Jianwen Su 

1130 Plenary Session:
     Invited Speaker: Professor Ross Quinlan, University of Sydney. A Case 
     Study in Machine Learning 
 
1230 Lunch

1330 Stream A   General (algorithms)                    Chair:

     On the Construction of Networks with Minimum Diameter. Edy Tri Baskoro, 
     Mirka Miller 

     Near Field Path Planning for NOE Flight in an Environment with Dense 
     Obstacles. Huade Li, Francis Suraweera 

1330 Stream B   General (theory)                        Chair:

     The Modelling and the Verification of a Fault-tolerant Functional System. 
     Yingfeng Ye 

     Applying Invariant Analysis to Modular Petri Nets. C A Lakos, C D Keen 

1330 Stream C   General (networking)                    Chair:

     Generic protocols for group idea generation and their description using 
     OSI protocol description methodology. Mary De La Cruz, Rein Vesilo 

     The Performance of Fault Stealing Algorithms on the Single Connection 
     Network versus the Double Rail Network. Teresa McDonald 

1430 Plenary Session:  
     Annual General Meeting of the Computer Science Association
    
1530 Afternoon Tea

1600 Workshops: Computer Security, Foundations

1700 Conference Close

=============================================================================