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