🚀 go-pugleaf

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

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