Call for Papers


  DMTCS'99, Discrete Mathematics and Theoretical Computer Science
 
			     and

      CATS'99, Computing: The Australasian Theory Symposium



      University of Auckland and CDMTCS, Auckland, New Zealand

			18-21 January 1999

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

  
DMTCS'99 and CATS'99  will be part of the Australasian Computer Science
Week (ACSW'99).

Original papers are solicited in all areas of discrete mathematics and 
theoretical computer science.  Typical, but not exclusive, topics of 
interest include: 
(a) abstract data types and specifications,
(b) algorithms and data structures,
(c) automata and formal languages,
(d) computability and  complexity,
(e) computational algebra, biology, geometry, logic and number theory,
(f) concurrency, distributed systems and parallel computing,
(g) constructive mathematics,
(h) discrete mathematics, combinatorial computing and category theory,
(i) formal semantics, specification, synthesis and verification,
(j) hybrid systems and nonmonotonic logic.

Authors are invited to submit papers either in hard copy by post, or
electronically by email, to the address below. Electronic submissions
should be in  PostScript format, printable in a standard Unix environment.
\LaTeX{} source of final versions of accepted papers will be required.
Submissions should not exceed 15 pages and include an e-mail address of
the corresponding author.

Joint submissions to other conferences are not permitted.  At least one 
author of each accepted paper is expected to register by Nov. 6th and 
present their work at the conference.  The proceedings will be published 
by Springer-Verlag, Singapore in the DMTCS Series, and will be made 
available during the conference.

Invited Speakers:

    R. Downey (U. Victoria, NZ)
    J. Goguen (UCSD, USA)
    A. Nerode (Cornell U., USA)
    J. Pach (Hungarian Academy of Sciences) 
    A. Restivo (U. Palermo, Italy)
    G. Walsh (U. Ottawa, Canada)
  

Address For Submissions:

    DMTCS'99+CATS'99 
    (Attn: Michael Dinneen), 
    Department of Computer Science, 
    University of Auckland, 
    Private Bag 92019, Auckland, New Zealand,  
    Email: mjd@cs.auckland.ac.nz


Cost of Participation: 

The registration fee is NZ$500 (which includes the dinner, excursion
and proceedings), or NZ$150 for students (including only the proceedings).
ACS discount NZ$20 and early discount NZ$40 (excluding students).


For More Information:

See the home-page of the conference http://www.tcs.auckland.ac.nz/~acsw99/, 
or contact the local chair Bakh Khoussainov at bmk@cs.auckland.ac.nz.

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

Conference Committee:

    C.P. Bonnington 
    C.S. Calude (general chair)
    E. Calude
    R. Coles, 
    P.B. Gibbons
    U. Guenther
    B. Khoussainov (local chair)

ACSW'99 Contact Members:

    R.W. Doran (general chair) 
    P. Fenwick 

Programme Committee:

    R.J. Back, TUCS, Finland
    M. Conder, U. Auckland, NZ
    B. Cooper, U. Leeds, UK
    M.J. Dinneen, U. Auckland, NZ (chair)
    R. Goldblatt, Victoria U., NZ
    S. Goncharov, Novosibirsk U., Russia
    J. Harland, RMIT,  Australia
    R.E. Hiromoto, UTSA, USA
    H. Ishihara, JAIST, Japan
    M. Ito, Kyoto S.U., Japan
    M. Li, U. Waterloo, Canada
    X. Lin, UNSW, Australia
    R. Shore, Cornell U., USA
    T. Tokuyama, IBM, Japan
    D. Wolfram, ANU, Australia

Proceedings Editors: C.S. Calude and M.J. Dinneen

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

Important Dates:

Submissions Due: 	31 July 1998
Notification Date: 	09 Oct. 1998
Final Copies Due:	30 Oct. 1998
Registration Date
(for authors): 		06 Nov. 1998
(for others):	        January 1999

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