IRW/FMP'98 Correction Final Call For Papers (Completed Work Category)

• Subject: IRW/FMP'98 Correction Final Call For Papers (Completed Work Category)
• From: "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• Date: Mon, 30 Mar 1998 15:36:23 +1000
• Reply-To: "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• Sender: jgrundy@cs.anu.edu.au

Dear Colleagues

On Friday 27 March 1998 we posted a Call for Papers for IRW/FMP'98 giving
notice that submission of articles for consideration under the completed work
category closes Friday 3 April 1998.  That call for papers contained an error.
The list of invited speakers should have included Jim Woodcock from Oxford
University, and omitted Jean-Raymond Abrial.  We apologise for any confusion
this caused .

Full details of the CFP and conference can be found at

http://cs.anu.edu.au/irw/

Kind regards
 
Jim Grundy, Martin Schwenke and Trevor Vickers,
The IRW/FMP'98 Organising Committee
==============================================================================
  International Refinement Workshop and  | email: irw@cs.anu.edu.au
  Formal Methods Pacific 1998            | www:   http://cs.anu.edu.au/irw/
  28 September - 2 October 1998 at       | fax:   +61 (0)2 6249 0010
       The Australian National University, Canberra ACT 0200, Australia
==============================================================================

• Prev: IRW/FMP'98 Final Call For Papers (Completed Work Category)
• Next: WoLLIC'98 - Extended Deadline
• Index: AMAST Mail 1998