From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/836 Path: news.gmane.org!not-for-mail From: Paul Bonnington Newsgroups: gmane.science.mathematics.categories Subject: DMTCS99+CATS99 final call Date: Mon, 20 Jul 1998 13:27:15 +1200 (NZST) Message-ID: <199807200127.NAA06960@aitken.scitec.auckland.ac.nz> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241017221 27720 80.91.229.2 (29 Apr 2009 15:00:21 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:00:21 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Mon Jul 20 15:14:39 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id OAA30459 for categories-list; Mon, 20 Jul 1998 14:13:03 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 315 Xref: news.gmane.org gmane.science.mathematics.categories:836 Archived-At: FINAL CALL FOR PAPERS (Please Circulate) 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 Australsian 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 (UVW, NZ) J. Goguen (UCSD, USA) A. Nerode (Cornell, USA) J. Pach (Hungarian Academy of Sciences) A. Restivo (U. Palermo, Italy) G. Walsh (U. Ottawa) 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 A $400 (which includes the dinner, excursion and proceedings), or A $100 for students (including only the proceedings). 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 --------------------------------------------------------------------------- %%% DMTCS'99+CATS'99 Call for Papers %%% %%% Disclaimer: The following is very hacked LaTeX. %%% \documentstyle[11pt]{article} \pagestyle{empty} \oddsidemargin=-18.5truept \textwidth=7in %\topmargin=0.12in \topmargin=-0.4in \textheight=9.7in \newcommand{\mylistlabel}{\hspace\labelsep } \newenvironment{mylist}{\begin{list}{\hbox{}}% {\leftmargin 18pt \labelwidth 0pt \itemindent-\leftmargin \itemsep -1pt \let\makelabel\mylistlabel}}% {\end{list}} \newcommand{\fillin}{\typeout{*** Fill in! ***}??} \newcommand{\recheck}[1]{\typeout{*** Recheck This! ***}#1} \begin{document} %%% %%% CDMTCS Logo %%% % % \hbox{}\vspace*{-0.8in}\hfill\makebox[5pt]{\epsffile{ieee-cs.eps}} % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \vspace*{-1.2in} \begin{center} % \makebox[5pt]{\epsffile{ieee-cs.eps}} \\[3ex] \LARGE\bf Call for Papers\\[2ex] \Large\bf \mbox{DMTCS'99---Discrete Mathematics and Theoretical Computer Science}\\[0pt] \Large and\\[0pt] \Large\bf CATS'99---Computing: The Australasian Theory Symposium\\[3ex] {\large University of Auckland and CDMTCS, Auckland, New Zealand \\[2ex] \large\bf 18-21 January 1999} \end{center} \vspace*{4ex} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% %%% Sidebar %%% \begin{minipage}[t]{2.0in}\footnotesize \medskip %\noindent{\bf University of Auckland}\\ \noindent{\bf Conference Committee} \begin{mylist}\raggedright \item C.P. Bonnington % (information) \item C.S. Calude (general chair) \item E. Calude % (venue) \item R. Coles % (records) \item P.B. Gibbons % (accomodation) \item U. Guenther % (registration) \item B. Khoussainov (local chair) \end{mylist} \medskip \noindent{\bf ACSW'99 Contact Members} \begin{mylist}\raggedright \item R.W. Doran (general chair) \item P. Fenwick \end{mylist} \medskip \noindent{\bf Programme Committee} \begin{mylist}\raggedright \item R.J. Back, TUCS, Finland \item M. Conder, U. Auckland, NZ \item B. Cooper, U. Leeds, UK \item M.J. Dinneen, U. Auckland, NZ (chair) \item R. Goldblatt, Victoria U., NZ \item S. Goncharov, Novosibirsk U., Russia \item J. Harland, RMIT, Australia \item R.E. Hiromoto, UTSA, USA \item H. Ishihara, JAIST, Japan \item M. Ito, Kyoto S.U., Japan \item M. Li, U. Waterloo, Canada \item X. Lin, UNSW, Australia \item R. Shore, Cornell U., USA \item T. Tokuyama, IBM, Japan \item D. Wolfram, ANU, Australia \end{mylist} \medskip \noindent{\bf Proceedings Editors} \begin{mylist}\raggedright \item C.S. Calude \item M.J. Dinneen \end{mylist} \medskip\noindent{\bf Important Dates} \begin{mylist}\raggedright\frenchspacing \item \makebox[1.1in][l]{Submissions Due:} \makebox[0.26in][l]{31 July 1998} \item \makebox[1.1in][l]{Notification Date:} \makebox[0.26in][l]{9 Oct. 1998} \item \makebox[1.1in][l]{Final Copies Due:} \makebox[0.26in][l]{30 Oct. 1998} \item \makebox[1.1in][l]{Registration Date} \item \makebox[1.1in][l]{for Authors:} \makebox[0.26in][l]{6 Nov. 1998} \end{mylist} \end{minipage} %%% %%% Vertical Line %%% \hspace*{4.75pt}\rule[-7.7in]{0.5pt}{7.9in}\hspace*{4.75pt} %%% %%% Main Column %%% \begin{minipage}[t]{4.25in} \parskip\smallskipamount DMTCS'99 and CATS'99 will be part of the Australsian Computer Science Week (ACSW'99). Original papers are solicited in {\sl 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 {\sl 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. \medskip {\bf Invited Speakers:} R.~Downey (UVW, NZ), J.~Goguen (UCSD, USA), A.~Nerode (Cornell, USA), J.~Pach (Hungarian Academy of Sciences) and A.~Restivo (U. Palermo, Italy). \medskip {\bf Address For Submissions:} DMTCS'99+CATS'99 (Attn: Michael Dinneen), Department of Computer Science, University of Auckland, Private Bag 92019, Auckland, New Zealand, {\tt mjd@cs.auckland.ac.nz}. \medskip {\bf Cost of Participation:} The registration fee is A\$400 (which includes the dinner, excursion and proceedings), or A\$100 for students (including only the proceedings). \medskip {\bf For More Information:} See the home-page of the conference \verb|http://www.tcs.auckland.ac.nz/~acsw99/|, or contact the local chair Bakh Khoussainov at {\tt bmk@cs.auckland.ac.nz}. \end{minipage} \end{document}