urn:taro:utexas.cah.00378 A Guide to the Edsger W. Dijkstra Papers, 1948-2002 January 24, 2005Encoded in XMetal 3 by Kristy Sorensen according to instructions in TARO 2 EAD 2002 Editing Instructions. March 7, 2006 Updated by Nikki Thomas September 24, 2007 Updated by Carol Mead Descriptive Summary Dijkstra, Edsger Wybe Edsger W. Dijkstra Papers 1948-2002 Materials are written in Dutch and English. 2004-217, 2005-053, 2005-054, 2007-161 40 ft. Archives of American Mathematics, Center for American History,The University of Texas at Austin Edsger Wybe Dijkstra (1930-2002) was a teacher and researcher of computer science. This collection consists of materials documenting his extensive career, as well as his personal life. Included are diaries, correspondence, writings and other materials. The bulk of the collection is in Dutch, although many later writings are in English. Biographical Note

Edsger Wybe Dijkstra (1930-2002) was a teacher and researcher of computer science. Born in Rotterdam, The Netherlands in 1930, he earned degrees in mathematics and theoretical physics from the University of Leyden and a Ph.D. in computing science from the University of Amsterdam. Dijkstra worked as a programmer (1952-1962) and professor (1962-1984) in The Netherlands, and was also a Burroughs Corporation research fellow (1973-1984). He held the Schlumberger Centennial Chair in Computing Sciences at The University of Texas at Austin from 1984 until his retirement in 1999. He was awarded the 1972 ACM Turing Award, a very prestigious award in the field of computing. Dijkstra is known for connecting mathematical logic to computer programming, as well as for general contributions to mathematical methodology.

Scope and Contents

This collection consists of materials documenting E. W. Dijkstra's extensive career in the field of computer science, as well as his personal life. Included are diaries, correspondence, writings and other materials. The bulk of the collection is in Dutch, although many later writings are in English.

Forms part of the Archives of American Mathematics

 Access Restrictions

Unrestricted access.

 Preferred Citation

Edsger W. Dijkstra Papers, 1948-2002, Archives of American Mathematics, Center for American History, The University of Texas at Austin

 Related Material

See the E. W. Dijkstra Archive website prepared by the University of Texas at Austin Computer Science Department for online access to Dijkstra's "EWD" documents as well as other materials relating to E. W. Dijkstra: http://www.cs.utexas.edu/users/EWD/welcome.html

 Index Terms Dijkstra, Edsger Wybe University of Texas at Austin. Dept. of Computer Sciences Computer programming Computer sceince Detailed Description of the Papers Correspondence Index: 4Aa1 September 8, 1975 - May 8, 1980 4Aa1 May 8, 1980 - November 20, 1991 Diaries: 4Aa1 July 23, 1973 - March 9, 1975 4Aa1 March 9, 1975 - August 2, 1975 4Aa1 November 17, 1975 - January 21, 1977 4Aa1 February 16, 1977 - July 23, 1978 4Aa1 August 23, 1978 - July 20, 1980 4Aa1 October 1, 1979 - June 17, 1980 4Aa1 June 27, 1980 - March 18, 1981 4Aa1 March 18, 1981 - February 1, 1982 4Aa1 February 2, 1982 - April5, 1983 4Aa1 May 6, 1983 - December 3, 1984 4Aa1 December 12, 1984 - October 24, 1986 4Aa1 October 26, 1986 - April 11, 1990 4Aa2 June 25, 1990 - December 19, 1993 4Aa2 December 19, 1993 - July 17, 1996 4Aa2 July 17, 1996 - December 29, 1998 4Aa2 December 30, 1998 - October 27, 2001 "Brievenboek" notebook [index to correspondence?]: 4Aa2 February 6, 1957 - 1971 4Aa2 May 1, 1965 - December 15, 1971 Purple Notebook: 4Aa2 Resume 4Aa2 Indexes, several, to EWD writings [including 28-1114, 37-1311 (Jan, 1953-2001), 537-710 (1975-1979)] 4Aa2 EWD 1166-Autobiography, resume, 1993 4Aa2 Notebook, "Detailed Resume" 4Aa2 Unidentified overhead transparencies Correspondence: 4Aa3 General: 4Aa3 Ackermans, S. T. M. - ACTA Infomatica - Boyer, Roberts 4Aa4 BP Financial of BP Venture Research - Dahm, David 4Aa5 Dale, Andrew - Faculty 4Aa6 Feeser, Walt - Feijen, W. H. J.; Dec., 2000 4Aa7 Feijen, W. H. J., Oct. , 2001 - Hesselink, W. H. 4Aa8 Hewitt - IFIP W.G. 2.3 2001 4Aa9 IHT, Infotech - Levien, Raphael 4Aa10 Levin - Misra, Jayadev 4Aa11 Missouri, Mitchell - Rabbit, Regulinski 4Aa12 Reich - Senyszyn - Seminars, Lectures, Travel 1962-1975 4Aa13 Seres, Silvija - UT Application & Move - Toronto - Wintle 4Aa14 Wirth - Zoetl 4Aa15 Personal: 4Aa15 Clint, Maurice- Gries, David, 1985 4Aa16 Gries, David, 1986 - Richards, Ham 4Aa17 Scholten, C. S. - Swierstra- Dijkstra, A. E. [letters to and from] 4Aa14 Turski, W. M., 1967-2001 Writings: 4Aa18 Partial Table of Contents 4Aa18 Algol Translator for Algol 60 4Aa18 AVG54C - 62-0 4Aa18 Cursus Programmern in Algol 4Aa18 CR-7, 8, 9 4Aa18 DR-18, 23r 4Aa18 IP - Inleiding Programmern 4Aa18 Lecture Notes-U of Minn, 1973; Various, undated 4Aa18 MR-3, 12, 14, 16, 17, 20-27, 32-35, 46, 47, 55 4Aa18 NTF-4, 1956 4Aa18 Ontwerpschets Ontwikkelingsplan, October 24, 1962 4Aa18 Programmering voor de ARMAC 4Aa18 Writings, various, 1950s? (legal size), 1955, 1961, 1962, 1966, 1967, 1979 4Aa18 ZW 1957-002, 1960-001 4Aa18 Notebook: EWD50, 7, 9, 10, 13-18, 20, 21, other, 23 4Aa18 EWD 19-316 (EWD 37 @ 1963) 4Aa18 EWD 227, mailing list, 1968 4Aa19 EWD 317-905 (EWD 537, @ 1975) 4Aa20 EWD 906-1317 (EWD 1317, 2002) 4Aa20 A Discipline of Programming [includes EWDs not found in the general sequence: 383-384, 400, 403, 409-413, 424, 428, 430-431, 433-434, 436-438, 440-441, 444-445, 453, 458-461, 467-468], undated 4Aa21 Books with EWD articles and others based upon his writings 4Aa22 Student questionnaires and course evaluations 4Aa22 Catalogs of workshops, seminars, exhibitions, publications 4Aa23 NATO summer school proceedings, lecture notes, 1975, 1981, 1984, 1986, 1988, 1990, 1992, 1994, 1996, 1998 4Aa23 Proceedings of the 1999 Oxford-Microsoft Symposium 4Aa24 Writings and publications: 4Aa24 1960, 1962, 1963 4Aa24 Harry Goode Memorial Award, acceptance letter and curriculum vitae 4Aa24 Mailing lists, summer school programs 4Aa24 Papers presented, book from private collection 4Aa24 Publications, reprints, 1957-2001 and undated 4Aa24 Untitled, [introduction to volume on mathematical methodology, 10 pp.], undated 4Aa25 Honors and Invitations Books: 4Aa25 By EWD, 1959, 1962, 1979,1992 4Aa25 By relatives, 1950, 1965, 1987 4Aa25 From personal collection, 1967, 1984, 1985, 1987, 1988, 1998 4Aa26 Authored by Dijkstra or containing his writings or based upon his work 4Aa27 Authored by Dijkstra and translated 4Aa27 International journals 4Aa28 Predicate Calculus & Program Semantics, draft and galley proofs 4Aa28 Critical comments on "A Discipline of Programming" 4Aa29 Predicate Calculus and Program Semantics, handwritten manuscript Honors: 4Aa29 Originals for INS interview, [includes correspondence, reprints, certificates and official documents, diploma, marriage license], 1948-1984 and undated 4Aa29 Printed material and correspondence, 1974, 1994-1998 4Aa29 ACM-SIGCSE Award for Outstanding Contributions to Computer Science Education, [plaque], 1989 4Aa29 ACM Fellow, certificate, undated 4RM55a ACM Turing Award, 1972 4RM55a BIT appreciation artwork, 1987 E. W. Dijkstra's Mother's correspondence [in Dutch]: 4Aa29 EWD to Mother, 1951-1981, 1983-1985 4Aa29 Helena to Mother, 1965, 1974, 1975 4Aa29 Helena to Albert, Annette, Aunt, 1965, 1975 4Aa29 Unidentified to Mother, 1975, 1976 4Aa29 Letter of condolence to EWD, 1994 4Aa29 Letter from unidentified student to EWD, undated 4Aa29 Interviews & Articles w/EWD, 1981, 1983, 1989, 1990 4Aa29 60th Birthday tribute 4Aa29 Record of Correspondence w/ T.M. Halbertsum, 1953-1997 4Aa29 Printed Matter & apothecary letter 4Aa29 Mathematical Works 4Aa29 EWD Reprints 4Aa14 Publications with articles about EWD 4Aa29 Publications with articles about EWD 4Aa30 Publications with articles about EWD Writings by others: 4Aa30 R. C. Backhouse 4Aa30 C. Bron 4Aa30 N. G. De Brugn 4Aa30 ARC (Gemenge) 4Aa30 Chandy, K. Maini / Jayadev Misra 4Aa30 W. H. J. Feijen 4Aa31 W. H. J. Feijen 1983-1996 4Aa31 A. J. M. van Gasteren, 1981-1995 4Aa31 M. G. Gouda, 1984-1991 4Aa31 D. Gries, 1975-1998 4Aa32 E. C. R. Hehner 4Aa32 W. H. Hesselink 4Aa32 A. W. Holt 4Aa32 R. R. Hoogerwoord 4Aa32 A. Kaldewaij 4Aa32 C. Lengauer 4Aa32 A. J. Martin, CS-137-138-139 81/82 4Aa32 Jayadev Misra 4Aa33 Rem, M. 4Aa33 Richards, H. 4Aa33 W. P. De Roever 4Aa33 Rutger, M. 4RM192 Scholten, C. S.: 4RM192 CSS 100-190 [excluding 122, essays similar to EWDs], undated 4RM192 “Parallelism in multi-record transactions continued – about ordering partially-ordered labeled graphs,” 1972 4RM192 “Axiomatic treatment of the synchronization of processors,” 1973 4RM192 “A single-loop self-stabilizing event-graph,” 1973 4RM192 “Note on the self-stabilization of general event graphs,” 1974 4RM192 “About the uniform convergence of a set of assignments,” 1975 4RM192 “Local and global considerations in the analysis of crawling messages,” 1975 4RM192 “A strategy to make Petri-nets deadlockfree,” 1975 4RM192 “An analogon of Eichelberger’s theorem,” 1976 4RM192 An axiomatic approach to circuit theory,” 1976 4RM192 “My understanding of finite Boolean algebras and finite fields,” 1976 and undated 4RM192 “An axiomatic definition of P- and V- operations,” 1977 4RM192 “A simplified form of a problem presented by A. Martin,” 1977 4RM193 “Some notes in the inversion of programs," 1978 4RM193 “The equivalence of telex and mail systems,” 1979 4RM193 “Splitting up alternatives of a repetitive construct,” 1979 4RM193 “Multiple error correction, avoiding the use of the error-locator polynomial,” 1980 4RM193 “On certain types of broadcasting systems,” 1980 and undated 4RM193 “A generalization of Menger’s theorem,” undated 4RM193 Assorted papers, 1965-1983 and undated 4Aa33 Seitz, C. 4Aa33 Van de Snepscheut, J. L. A. 4Aa33 Turner 4Aa33 Wirth, N. 4RM112 Photographs, undated 35018a Oversized Photographs undated 2.116/0D1199 Diploma, Gymnasium 1948