Original papers are solicited in all areas of discrete mathematics
and theoretical computer science. Typical, but not exclusive, topics of
interest include:
- abstract data types and specifications,
- algorithms and data structures,
- automata and formal languages,
- computability, complexity and constructive mathematics,
- computational algebra, biology, geometry and number theory,
- concurrency, distributed systems and parallel computing,
- discrete mathematics, combinatorial computing and category theory,
- formal semantics, specification, synthesis and verification,
- logic, nonmonotonic logic and hybrid systems.
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 or PDF format, printable in a standard
Unix environment. The 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. Authors
of accepted papers are expected to present their work at the conference.
The proceedings will be published by Springer-Verlag, London, in the
DMTCS Series, and will be made available during the conference.
Address For Submissions:
All submissions and other concerns about the submission procedures should
be sent to the secretary Michael Dinneen at mjd@cs.auckland.ac.nz.
Submissions by post may be sent to: Michael Dinneen, Department of Computer Science, The University of Auckland, Private Bag 92019, Auckland, New Zealand.
Important Dates
|
Submissions due:
|
1 Feb 2001
|
|
Notification:
|
15 April 2001
|
|
Final copies due:
|
1 May 2001
|
|
format)