Dear list, You can find the draft of the paper from Cliff and I which was published as a Newcastle University TR at Cliff’s website: http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1498.pdf Best, Troy Astarte On 28 Jan 2019, at 12:47, Maarten Bullynck <maarten.bullynck@kuttaka.org<mailto:maarten.bullynck@kuttaka.org>> wrote: Dear All, I have the pleasure to announce the publication of a volume on the history and philosophy of programming systems, edited by Liesbeth De Mol and Giuseppe Primiero. https://www.springer.com/gp/book/9783319972251 The volume collects contributions to the third HaPoP symposium in Paris (http://hapoc.org/events/hapop3/schedule). Freely accessible drafts of the introduction and of the chapter I authored can be found on HAL (see links in the table of contents.) Table of contents ----------------- Liesbeth De Mol and Giuseppe Primiero: Programming Systems: in Search of Historical and Philosophical Foundations, p. 1-12 (see also: https://hal.univ-lille3.fr/hal-01674676) Rabia Arif et al.: Validity and Correctness Before the OS: the Case of LEO I and LEO II, p. 15-47 Maarten Bullynck: What Is an Operating System? A Historical Investigation (1954–1964), p. 49-79 (see https://halshs.archives-ouvertes.fr/halshs-01541602) Troy K. Astarte et al.: Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context, p. 83-152 Julian Rohrhuber: Sans-Papiers as First-Class Citizens, p. 153-185 Stephen Kell: Unix, Plan 9 and the Lurking Smalltalk, p. 189-213 Warren Toomey: Unix: Building a Development Environment from Scratch, p. 215-231 Naveen Sundar Govindarajulu et al.: Ethical Operating Systems, p. 235-260 Gaël Duval: From Sovereign Operating Systems to the Sovereign Digital Chain, p. 261-271 Robin K. Hill: Elegance in Software, p. 273-286 best wishes, Maarten Bullynck Département de mathématiques & histoire des sciences Université Paris 8 _______________________________________________ This email is relayed from members at sigcis.org, the email discussion list of SHOT SIGCIS. Opinions expressed here are those of the member posting and are not reviewed, edited, or endorsed by SIGCIS. The list archives are at http://lists.sigcis.org/pipermail/members-sigcis.org/ and you can change your subscription options at http://lists.sigcis.org/listinfo.cgi/members-sigcis.org