pyoung@axion.bt.co.uk (Pete Young) (10/29/90)
Could someone please give me an update on the progress of VDM's acceptance for standardisation by (i) BSI and (ii) ISO ____________________________________________________________________ Pete Young pyoung@axion.bt.co.uk Phone +44 473 645054 British Telecom Research Labs,SSTF, Martlesham Heath IPSWICH IP5 7RE
cliff@cs.man.ac.uk (Cliff Jones) (11/06/90)
In article <1990Oct29.123715@axion.bt.co.uk> pyoung@axion.bt.co.uk (Pete Young) writes: > > >Could someone please give me an update on the progress of VDM's acceptance for standardisation by > >(i) BSI >and >(ii) ISO > A (Manchester) strike by British Rail prevented me going to the BSI meeting on Oct 29th so this is both late and out-of-date! Substantial parts of the standard are now ready. The Abstract Syntax has been in the "proto-standard" as a reference point for over a year. There are also two concrete syntaxes (a "mathematical" version and one in ASCII). The (dynamic) semantics is available as a separate (large) document and was reviewed last month. The only major item still to be finished is the "static semantics" (context conditions) and this is promised for February (I think) next year. So "early next year" there should be a "draft for comment". VDM-SL is now also listed as an ISO work item and I am expecting there to be a meeting in Brussels also early '91. People to contact: BSI Chair: Derek Andrews (leicecster) uk.ac.le.vax ISO convenor: ditto BSI secretary: John Dawes sjd@win.icl.stc.co.uk (not) cliff jones
cliff@cs.man.ac.uk (Cliff Jones) (11/06/90)
My reason for posting this here is the hope that the next MFCS might draw some papers on "Specification" topics next time. I gather that is the reason that I am on the PC. cliff jones --> --> --> --> --> --> CALL FOR PAPERS <-- <-- <-- <-- <-- <-- 16th International Symposium on MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE M F C S ' 9 1 Poland 9 - 13 September 1991 The symposium will be organized jointly by the Institute of Computer Science of the Polish Academy of Sciences, the Institute of Informatics of Warsaw University and the Polish Information Processing Society. The MFCS symposia have been organized in Poland and Czechoslovakia since 1972 and by now have a long and well-established tradition. The purpose of the symposia is to encourage high-quality research in all branches of Theoretical Computer Science and to provide an opportunity of bringing together specialists working actively in the area. Throughout the years MFCS served this purpose well, and we hope it will do so in the future. Principal areas of interest of the symposium include: software specification and development, parallel and distributed computing, semantics and logics of programs, algorithms, complexity and computability theory (this is not an exclusive list). The scientific programme of the symposium will include invited lectures by J.-L.Lassez (Yorktown Heights), P.Lescanne (Nancy), G.Mints (Tallin), M.Nielsen (Aarhus), A.Pnueli (Rehovot), and A.Salwicki (Warsaw). PROGRAMME COMMITTEE K.Apt, Amsterdam/Austin K.Jantke, Leipzig J.Barzdin, Riga C.Jones, Manchester A.Blikle, Warsaw G.Mirkowska, Warsaw A.Broy, Munich V.Pratt, Stanford R.Cori, Bordeaux B.Rovan, Bratislava R.De Nicola, Pisa D.Sannella, Edinburgh J.Gruska, Bratislava A.Tarlecki, Warsaw (chair) Y.Gurevich, Ann Arbor J.Winkowski, Warsaw Authors are invited to submit 5 copies of a draft paper to A.Tarlecki by 15 January 1991 The expected length of the final paper should not exceed 12 pages. The proceedings will be published by Springer-Verlag in the LNCS series. Submission deadline: 15 January 1991 Notification of acceptance: 5 April 1991 Final versions due: 10 May 1991 All further information about the symposium may be obtained from the Organizing Committee co-chaired by P.Chrzastowski-Wachtel and A.Tarlecki: Andrzej Tarlecki MFCS'91 Institute of Computer Science phone: ++48-22-20 28 73 Polish Academy of Sciences secr.: 20 38 88 P.O.Box 22, PKiN fax: ++48-22-20 01 14 00-901 Warsaw, Poland. telex: COAN 813556