final CFP - Computing: The 4th Australiasian Theory Symposium (CATS98)

final CFP - Computing: The 4th Australiasian Theory Symposium (CATS98)

[categories]

Date: Tue, 29 Jul 1997 17:38:57 +0800
From: lxue@cs.uwa.edu.au

			    CALL FOR PAPERS	

	    CATS'98 - Computing: The Australasian Theory Symposium
		
		    University of Western Australia
		       Perth, Western Australia
			  2-3 February, 1998

CATS'98 will be held at the University of Western Australia as part of the
Australasian Computer Science Week (ACSW98) which also includes:
	.  the Australasian Computer Science Conference (ACSC'98)
	.  the Australasian Database Conference (ADC'98)
	.  the Australasian Computer Architecture Conference (ACAC'98)

Following on from CATS'94 in Sydney, CATS'96 in Melbourne, and CATS'97 in
Sydney, CATS'98 aims at providing a forum for researchers in theoretical 
computer science. Typical, but not exclusive, topics of interest include:

- Algorithms and data structure
- Category theory
- Complexity
- Computational algebra, biology, geometry, logic, and number theory
- Concurrency 
- Distributed and parallel computing
- Formal semantics, specification, synthesis, and verification

Original research papers are solicited. Submissions to CATS'98 this year will 
be again conducted electronically, and should be sent in standard Postscript
format to cats98@cs.uwa.edu.au by the submission deadline. Authors unable to
access e-mail may send 4 hard copies of their papers to the program committee
chair:

		Xuemin Lin -- CATS'98
 		Department of Computer Science
		University of Western Australia
		Crawley, Western Australia 6907
		Australia
		E-mail: cats98@cs.uwa.edu.au
		http://www.cs.uwa.edu.au:80/~lxue/CATS98/index.html

In both cases, confirmation of receipt will be given, in the case of a
postscript submission, once the file has been successfully printed.

Submissions should include an abstract, 3-6 key words, and the fax number 
and e-mail address of the corresponding author. The contribution of the paper
should be clearly explained in both general and technical terms, and authors
should make every effort to ensure the technical content of their papers is
understandable by a broad audience. The paper (an extended abstract or full
paper) should not exceed 15 A4 pages using 11 point or larger font. 
Submission of a paper should be regarded as an undertaking that, should the
paper be accepted, at least one of the authors will attend the conference to
present the work.

Papers will be judged on originality, significance, correctness, and clarity.
Accepted papers will be published in the proceedings of the Symposium, which
will appear in the DMTCS series of Springer-Verlag.

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

INVITED SPEAKERS: Ming Li (University of Waterloo, Canada)
		  Takeshi Tokuyama (IBM, Japan)

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

IMPORTANT DATES:

Submission Deadline: Friday 15 August 1997.
		     This is a hard deadline; submissions postmarked after
		     this date will be returned.

Author Notification: Friday 24 October 1997.
 
Final Version:       Friday 14 November 1997.

Acceptance of papers for the conference will be conditional upon the
registration of at least one of the authors by 21 November 1997. 

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

GENERAL CHAIR:			James Harland 		RMIT

PROGRAM COMMITTEE CHAIR:	Xuemin Lin		UWA

LOCAL CHAIR:			Chi-Ping Tsang 		UWA


STEERING COMMITTEE:

John Crossley			Monash University		
Peter Eades			University of Newcastle		
James Harland			RMIT		
Michael Johnson			Macquarie University	
John Staples			University of Queensland
Harald Sondergaard		University of Melbourne


PROGRAM COMMITTEE:

Cristian Calude		University of Auckland  
Hossam Elgindy		University of Newcastle
Matthew Hennessy	University of Sussex
Xuemin Lin 	 	University of Western Australia
Bruce Maggs 		Carnegie-Mellon University
Martin Odersky 		University of South Australia
Hong Shen 		Griffith University
Harald Sondergaard 	University of Melbourne
Antonios Symvonis 	University of Sydney
Tadao Takaoka 		University of Canterbury
Ron van der Meyden 	University of Technology, Sydney
Lusheng Wang 		City University of Hong Kong
Sue Whitesides 		McGill University 
David Wolfram 		Australian National University

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

ADDRESS FOR ALL PAPER SUBMISSION CORRESPONDENCE

Xuemin Lin -- CATS'98
Department of Computer Science
University of Western Australia
Crawley, Western Australia 6907
Australia

Telephone: +61 9 380 3449
Facsimile: +61 9 380 1089
E-mail: cats98@cs.uwa.edu.au

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

ADDRESS FOR CORRESPONDENCE, OTHER THAN PAPER SUBMISSION, RELATED TO ANY
CONFERENCE FORMING PART OF THE AUSTRALIAN COMPUTER SCIENCE WEEK

ACSW'98 Information
Department of Computer Science
The University of Western Australia
Crawley, Western Australia, 6907

Telephone:   +61 9 380 2533
Email:       acsw98info@cs.uwa.edu.au

ORGANISING COMMITTEE CHAIR
Chris McDonald
Department of Computer Science
The University of Western Australia
Crawley, Western Australia, 6907

Email:  chris@cs.uwa.edu.au

ACSW'98 Hosts:
        Department of Computer Science, The University of Western Australia
        Department of Computer Science, Curtin University of Technology
        Department of Computer Science, Edith Cowan University
        Computer Science Programme, Murdoch University