Talk:Dines Bjørner

message: 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)
thread_title:  WikiProject class rating

message: 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č 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.). (Михал Орела 18:10, 2 September 2008 (UTC)
thread_title:  Closing speech at IFIP TC2 Working Conference, Vienna, Austria 1985

message: 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)
thread_title: The Vienna Lab

message: 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.See Heinz Zemanek
===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)
thread_title: Heinz Zemanek

message: 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)
thread_title: The Vienna Lab

message: has page
this is the talk page attached to it (Михал Орела 19:47, 2 September 2008 (UTC)
thread_title: Dines Bjørner

message: needs page
resources:
* ACM papers
* publications
(Михал Орела 19:27, 2 September 2008 (UTC)
thread_title: Wolfgang Henhapl

message: has page
(Михал Орела 19:48, 2 September 2008 (UTC)
thread_title: Cliff B. Jones

message: 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)
thread_title: Peter Lucas

message: Heinz Zemanek — a reference of some historical importance, especially for the photographs. Retrieved (Михал Орела 20:17, 2 September 2008 (UTC)
thread_title: References