Talk:Dines Bjørner

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)

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č ). (Михал Орела 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 (Михал Орела 19:46, 2 September 2008 (UTC))
 * Heinz Zemanek

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.

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))
 * ACM papers
 * publications

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: (Михал Орела 18:36, 2 September 2008 (UTC))
 * a stub for Peter Lucas asap
 * a disambiguation page