ARW'01: Call For Papers
Australiasian Refinement Workshop 2001
Monday 10 [- Tuesday 11] December, 2001
The University of Queensland
The Australiasian Refinement Workshop 2001 (ARW'01) will provide a forum
for discussion of current research on mathematically-based techniques for
the design and development of computer systems. The workshop
will be held on Monday 10 December with an extension to Tuesday 11 December
given sufficient interest. More information is available from the workshop
web site:
http://itee.uq.edu.au/~arw
Topic
The program committee welcomes submissions relating to all aspects of mathematically-based
techniques for the design and development of computer systems. This includes,
but is not limited to reports on
|
|
|
-
prover support
-
industrial use
|
-
novel applications
-
technology transfer
|
| of mathematical approaches to |
|
|
|
|
|
| in realms such as |
-
parallel and sequential programming
-
functional and logic programming
-
communication and security protocols
|
-
object-oriented systems
-
real-time, reactive and hybrid systems
-
hardware products and components
|
Submission
Initial submissions of abstracts should take the form of a one page abstract
which will be judged for relevance to the workshop. The submission
of papers is optional to allow for attendees who wish to provide only a
presentation. Papers should be at most 15 pages. Abstracts
and papers can be submitted by e-mailing them to
arw@itee.uq.edu.au.
Postgraduate students are especially encouraged to submit.
Important Dates
| Deadline for abstract submissions: |
9 November 2001 |
| Deadline for paper submissions: |
30 November 2001 |
| Workshop: |
10[-11] December 2001 |
Invited Speakers
The initial list of invited speakers for the workshop is
Proceedings
Given the limited timeframe and the cutting edge nature of the workshop,
the proceedings will not be published. The papers will, however,
be distributed at the workshop.
Workshop Organisation
The ARW'01 workshop organisers are Jamie Shield, Ian Hayes and David Carrington
of
UQ. They may be contacted
at
arw@itee.uq.edu.au
Comments and Feedback: arw@itee.uq.edu.au
Author: ARW'01 Organising Committee
Created: 15 October 2001
URL: http://itee.uq.edu.au/~arw/cfp.html
