From - Mon Jan 12 23:34:01 1998 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.7) with ESMTP id BAA18349 for ; Tue, 16 Dec 1997 01:51:55 -0800 (PST) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.8/8.8.8) with ESMTP id BAA28600; Tue, 16 Dec 1997 01:52:43 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.7416FEB0@listserv.nodak.edu>; Tue, 16 Dec 1997 3:48:23 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 531747 for THEORYNT@LISTSERV.NODAK.EDU; Tue, 16 Dec 1997 03:48:19 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.71CA0170@listserv.nodak.edu>; Tue, 16 Dec 1997 3:48:17 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 531731 for THEORY-A@LISTSERV.NODAK.EDU; Tue, 16 Dec 1997 03:48:16 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.70C16B10@listserv.nodak.edu>; Tue, 16 Dec 1997 3:48:16 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.8/8.8.8/usc) id BAA00150 for theory-a@listserv.nodak.edu; Tue, 16 Dec 1997 01:48:12 -0800 (PST) X-Url: http://cs.anu.edu.au/irw/ Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199712100732.SAA10288@beid.anu.edu.au> Date: Tue, 16 Dec 1997 01:48:12 PST Reply-To: "IRW/FMP'98 Organising Committee" Sender: TheoryNet List From: "IRW/FMP'98 Organising Committee" Subject: IRW/FMP'98 2nd Call For Papers Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: O X-Status: IRW/FMP'98: 2nd Call For Papers International Refinement Workshop and Formal Methods Pacific 1998 Tuesday 29 September - Friday 2 October 1998 at The Australian National University The International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98) will bring together a number of important events on the formal methods calender. Held separately in previous years, the British Computer Society - FACS Refinement Workshop, the Australasian Refinement Workshop, and the New Zealand Formal Program Development Colloquium will amalgamate in 1998 to stage this combined gathering at The Australian National University (ANU) in Canberra. IRW/FMP'98 will provide a forum for discussion of current research on mathematically-based techniques for the design and development of computer systems. The workshop proceedings will be published by Springer- Verlag in the series Discrete Mathematics and Theoretical Computer Science. More information is available from the workshop web site: http://cs.anu.edu.au/irw/ 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 *teaching *tool support *prover support *novel applications *evaluation *development *industrial use *technology transfer of mathematical approaches to *refinement *modelling *animation *specification in realms such as *parallel and sequential programming *object-oriented systems *functional and logic programming *real-time, reactive and hybrid systems *communications and security protocols *hardware products and components SUBMISSION AND PUBLICATION Papers are sought from prospective participants in two categories: Completed Work: Papers in this category will be fully refereed, and those accepted will appear in the workshop proceedings, to be published in a volume of the Springer-Verlag series Discrete Mathematics and Theoretical Computer Science which will be available at the workshop. Authors of accepted papers are expected to present their material at the workshop. Work in Progress: Papers in this category will be vetted for relevance, but will not be formally refereed. Accepted papers will be published in an Australian National University technical report, which will be available at the workshop. Authors of accepted papers are expected to present a brief outline of their material at the workshop. Submissions in both categories must be 18 pages or less, and should be prepared according to the Springer-Verlag Lecture Notes in Computer Science style. Papers must be submitted electronically. Complete instructions on how to submit are available from the workshop web site. Please read them before submitting your paper. IMPORTANT DATES Deadline for completed work submissions: 3 April 1998 Completed work notification of acceptance: 22 May 1998 Camera-ready copy for completed work papers due: 19 June 1998 Deadline for progress paper submissions: 31 July 1998 Progress paper notification of acceptance: 14 August 1998 Workshop: 29 September - 2 October 1998 INVITED SPEAKERS The initial list of invited speakers for the workshop is * Jean-Raymond Abrial * Ian Hayes (Queensland) * Joakim von Wright (Abo Akademi) PROGRAM COMMITTEE The program committee for the workshop is * Ralph Back (Abo Akademi) * Joe Morris (Glasgow) * Michael Butler (Southampton) * Steve Reeves (Waikato) * David Carrington (Queensland) * Ken Robinson (NSW) * Jeremy Gibbons (Ox. Brookes) * Emil Sekerinski (McMaster) * Lindsay Groves (Wellington) * David Till (City) * Jim Grundy (ANU) * Owen Traynor (Queensland) * Ian Hayes (Queensland) * Mark Utting (Waikato) * He Jifeng (Oxford) * Trevor Vickers (ANU) * Brendan Mahony (DSTO) * Netty van Gasteren (Eindhoven) * Carroll Morgan (Oxford) * Qiwen Xu (UNU/IIST) RELATED EVENT IRW/FMP'98 will run in conjunction with the 11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'98). This event, which will be held over the 4 days Monday 28 September to Thursday 1 October 1998, will be of interest to many IRW/FMP'98 attendees. Material that is particularly relevant to attendees of both events will be presented at occasional joint sessions. More information on TPHOLs'98 is available via the IRW/FMP'98 web page. WORKSHOP ORGANISATION The IRW/FMP'98 workshop organisers are Jim Grundy, Martin Schwenke, and Trevor Vickers of the ANU. They may be contacted at irw@cs.anu.edu.au Versions of this Call for Papers are available from the conference web site in ASCII, DVI, HTML, PDF and PostScript.