rose@uqcspe.cs.uq.oz.au (Gordon Rose) (04/26/89)
Second Seminar/Workshop on Formal Description Techniques
OTC, Sydney, July 10th and 11th 1989
The First Seminar/Workshop on FDTs was held in July 1987 at
OTC Sydney. Some fifty attendees from telecommunications
organisations, academia, research divisions, software
houses, and other interested parties participated in sem-
inars, the workshop and in discussion groups both formal and
informal. Participants gained valuable insight into the FDT
area and the activity then current in Australia.
The Second Seminar/Workshop on FDTs will also be sponsored
by OTC. It will be held on July 10th and 11th at OTC Sydney
- two years after the First. Many events in FDTs have hap-
pened in those two years - the advocacy for formal methods
has strengthened internationally as evidenced by new sympo-
sia (e.g. FORTE, a Formal Techniques symposium), new jour-
nals (e.g. Formal Aspects of Computing), forthcoming special
issues (e.g. IEEE Software - Applications of Formal
Methods). Also, Object- Orientation is appearing increas-
ingly in software engineering and more recently, in formal
methods. Increased formality is becoming a professional
obligation and major contracts (e.g. the US Federal Aviation
Authority's new air navigation control project) are includ-
ing specific formality requirements.
The Second Seminar/Workshop will provide the opportunity to
review FDT activities in the interim and to anticipate
future developments.
Professor Ken Turner, Centre for Software Engineering Tech-
nology, University of Stirling, Scotland will deliver the
Keynote Address on international developments and will also
present a more specialised paper. He chaired FORTE `88 and
is very active in international communication standards
(ISO's working group on FDTs, particularly with respect to
LOTOS).
There will be no registration fee, and refreshments and
light lunches will be provided. OTC will consider applica-
tions for financial assistance to attend. The venue will be
OTC, 231 Elizabeth Street, Sydney.
UQ will be responsible for organising the technical pro-
gramme. To facilitate this, Gordon Rose invites expressions
of interest for attendance, for presentation of a tutorial,
for presentation of a technical paper and/or for participa-
tion in a panel. Topics are not restricted, but it is
expected that there will be special interest in:
Experience with ISO or CCITT standard FDTs
Emerging FDTs, including Object Oriented techniques
Medium to Large Scale Application of FDTs - scaleability
Tools, Aids, and related development procedures
Intending attendees will be advised progressively as pro-
gramme details become available.
Kindly complete the following advice and send (email pre-
ferred) to:
Prof Gordon Rose
Key Centre for Software Technology,
University of Queensland, St Lucia Qld 4067
Telephone: (07) 377 2766
Fax: (07) 371 0783 E-mail: rose @ uqcspe.cs.uq.oz
------------------------------------------------------------------
Name: ...
Affiliation: ...
Address: ...
Telephone: ...
Fax: ...
E-mail: ...
I wish to attend the Second Seminar/Workshop on FDT. In addition,
I would like to
Present a Tutorial on:
Present a Paper on:
Participate in a Panel on:
(It is expected that tutorials and papers will be limited to 30 minutes)
Further suggestions, comments, etc.
----------------------------------------------------------------------