Talk:Dines Bjørner

	Biography portal This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography
	This article is supported by the science and academia work group.

Denmark Low‑importance

	Denmark portal This article is within the scope of WikiProject Denmark, a collaborative effort to improve the coverage of Denmark on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.DenmarkWikipedia:WikiProject DenmarkTemplate:WikiProject DenmarkDenmark
Low	This article has been rated as Low-importance on the project's importance scale.

WikiProject class rating

This article was automatically assessed because at least one WikiProject had rated the article as stub, and the rating on other projects was brought up to Stub class. BetacommandBot 14:15, 10 November 2007 (UTC)[reply]

Closing speech at IFIP TC2 Working Conference, Vienna, Austria 1985

I propose to quote a very short passage part of the closing speech given by Dines Bjørner at the IFIP 1985 Conference, celebrating among other things the 65th birthday of Heinz Zemanek who founded the Vienna Lab where both Dines Bjørner and Cliff Jones worked for 5 and 2+ years respectively (along with Peter Lucas and Hans Bekič ^[1]). (Михал Орела 18:10, 2 September 2008 (UTC))

Proposed text:

“Dear Zemanek,
Cliff (ed: Prof. Cliff B. Jones) and I would like to close this three day event with a few personal words. [...] Both Cliff and I received, during our five, respectively 2+ years, at your Vienna Laboratory, our most important impressions. The years here, determined, more than any other things, our future. The Lab is no longer. The material universe of (trivial) Information Technology quantity seems to have replaced your Informatics universe of intellectual quality. Peter Lucas is in the U.S., and Hans Bekič has left us. In particular, we missed and miss, Hans.”
Closing Speech, Formal Models in Programming, E. J. Neuhold and G. Chroust (Editors), Elsevier Science Publishers B.V. (North-Holland) 1985, p.419. ISBN 0444878882.

The appropriate place to put this is in a new section on the Vienna Lab. It will allow other substantial cross-references from existing Wikipedia articles on the same general field of Formal Methods.

First I will check to see which pages are now available for cross-referencing and list them here. (Михал Орела 18:27, 2 September 2008 (UTC))

The Vienna Lab

I propose that this become a major section after the existing conventional introduction to Dines Bjørner's life.

Here I will list some of the key people and events with sources before publishing on the main page. (Михал Орела 18:32, 2 September 2008 (UTC))

Here is the basic list of workers in the lab:

Hans Bekič
Dines Bjørner
Wolfgang Henhapl
Cliff B. Jones
Peter Lucas

(Михал Орела 19:18, 2 September 2008 (UTC))

On second thoughts, maybe it should have its own page? Then its history may be formally documented, especially with reference to the above 5 players in addition to Zemanek. (Михал Орела 19:40, 2 September 2008 (UTC))

For completeness I ought to add in

Heinz Zemanek

(Михал Орела 19:46, 2 September 2008 (UTC))

Heinz Zemanek

Has own page (a stub) at Heinz Zemanek. There is an interesting (old) bibliographic sketch at Murdoch University in Australia.

Heinz Zemanek was born January 1st, 1920 in Vienna. He studied at the University of TechnologyVienna, where he received the doctorate in 1951, the venia legendi in 1958 and the title of a professor in 1964. From1947 to 1961 he was assistant professor, from 1961 to 1975 he was Director of the IBM Laboratory Vienna(established for and around his team) and from 1975 to 1985 he was IBM Fellow. During all those years until today, hegave each year at least two lectures. The number of his publications exceeds 450. Among the most importantachievements were the management (including money and material procurement ) of the building and programming ofthe pioneer computer "Mail¸fterl" (1954 to 1961) and the design of the Vienna Definition Language and Method (VDLand VDM). Heinz Zemanek has been Vicepresident and President of IFIP between 1968 and 1974, and he founded theAustrian Computer Society. He is member of six academies.^[2]

The Vienna Lab

I chose to open a section on the Vienna Lab in Heinz Zemanek's page. This seemed to be the best possibility. After all, he was the head of the lab since its foundation in 1961. We can link to there from here, if necessary. (Михал Орела 21:49, 2 September 2008 (UTC))

Hans Bekič

needs page

Dines Bjørner

has page

this is the talk page attached to it (Михал Орела 19:47, 2 September 2008 (UTC))

Now I am thinking that the first paragraph

“He specializes in research into formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM in Vienna (and elsewhere).”

needs serious revision. In particular, the phrase "IBM in Vienna" is not precise at all. Second, the "and others" needs to be properly exanded. These others are well known; all but one are still alive. The team worked on many things; the VDM came at the end, so to speak. For example, they worked on PL/1. But the Pl/1 (1964) was formally specified using VDL, not VDM. (Михал Орела 21:55, 2 September 2008 (UTC))

Wolfgang Henhapl

needs page

resources:

(Михал Орела 19:27, 2 September 2008 (UTC))

Cliff B. Jones

has page

(Михал Орела 19:48, 2 September 2008 (UTC))

Peter Lucas

There is a page by this name Peter_Lucas of an former Australian footballer. So we need:

a stub for Peter Lucas asap
a disambiguation page

(Михал Орела 18:36, 2 September 2008 (UTC))

Notes

^ Fortunately, after the death of Hans Bekič, Cliff B. Jones published a selection of some of his papers in Springer-Verlag LNCS 177. This short volume contain much information in the intellectual life of the Vienna Lab people and is an invaluable resource for those early days.
^ See Heinz Zemanek

References

Bekič, Hans (1984). Programming Languages and Their Definition. Berlin, Heidelberg, New York, Tokyo: Springer-Verlag. ISBN 3-540-13378-X. LNCS 177. {{cite book}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)
Heinz Zemanek — a reference of some historical importance, especially for the photographs. Retrieved (Михал Орела 20:17, 2 September 2008 (UTC))

[1] Fortunately, after the death of Hans Bekič, Cliff B. Jones published a selection of some of his papers in Springer-Verlag LNCS 177. This short volume contain much information in the intellectual life of the Vienna Lab people and is an invaluable resource for those early days.

[2] See Heinz Zemanek

[1]

[2]