
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<p>Dear Maarten,</p>

<p>congratulations on having this most welcome contribution tot the history of programming appear.</p>

<p>Having attended versions of some of the contributions I can't wait to see the full collection.</p>

<p>Cheers,</p>

<p>Gerard</p>

<br>

<br>

<div style="color: rgb(0, 0, 0);">

<div>

<hr tabindex="-1" style="display:inline-block; width:98%">

<div id="x_divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>Van:</b> Members <members-bounces@lists.sigcis.org> namens Maarten Bullynck <maarten.bullynck@kuttaka.org><br>

<b>Verzonden:</b> maandag 28 januari 2019 12:47<br>

<b>Aan:</b> members@lists.sigcis.org<br>

<b>Onderwerp:</b> [SIGCIS-Members] Book on programming systems</font>

<div> </div>

</div>

</div>

<font size="2"><span style="font-size:10pt;">

<div class="PlainText">Dear All,<br>

<br>

I have the pleasure to announce the publication of a volume on the <br>

history and philosophy of programming systems, edited by Liesbeth De Mol <br>

and Giuseppe Primiero.<br>

<br>

<a href="https://www.springer.com/gp/book/9783319972251">https://www.springer.com/gp/book/9783319972251</a><br>

<br>

The volume collects contributions to the third HaPoP symposium in Paris <br>

(<a href="http://hapoc.org/events/hapop3/schedule">http://hapoc.org/events/hapop3/schedule</a>). Freely accessible drafts of

<br>

the introduction and of the chapter I authored can be found on HAL (see <br>

links in the table of contents.)<br>

<br>

Table of contents<br>

-----------------<br>

<br>

Liesbeth De Mol and Giuseppe Primiero: Programming Systems: in Search of <br>

Historical and Philosophical Foundations, p. 1-12 (see also: <br>

<a href="https://hal.univ-lille3.fr/hal-01674676">https://hal.univ-lille3.fr/hal-01674676</a>)<br>

<br>

Rabia Arif et al.: Validity and Correctness Before the OS: the Case of <br>

LEO I and LEO II, p. 15-47<br>

<br>

Maarten Bullynck: What Is an Operating System? A Historical <br>

Investigation (1954–1964), p. 49-79<br>

(see <a href="https://halshs.archives-ouvertes.fr/halshs-01541602">https://halshs.archives-ouvertes.fr/halshs-01541602</a>)<br>

<br>

Troy K. Astarte et al.: Formal Semantics of ALGOL 60: Four Descriptions <br>

in their Historical Context, p. 83-152<br>

<br>

Julian Rohrhuber: Sans-Papiers as First-Class Citizens, p. 153-185<br>

<br>

Stephen Kell: Unix, Plan 9 and the Lurking Smalltalk, p. 189-213<br>

<br>

Warren Toomey: Unix: Building a Development Environment from Scratch, p. <br>

215-231<br>

<br>

Naveen Sundar Govindarajulu et al.: Ethical Operating Systems, p. <br>

235-260<br>

<br>

Gaël Duval: From Sovereign Operating Systems to the Sovereign Digital <br>

Chain, p. 261-271<br>

<br>

Robin K. Hill: Elegance in Software, p. 273-286<br>

<br>

<br>

best wishes,<br>

<br>

Maarten Bullynck<br>

<br>

Département de mathématiques & histoire des sciences<br>

Université Paris 8<br>

_______________________________________________<br>

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

<a href="http://lists.sigcis.org/pipermail/members-sigcis.org/">http://lists.sigcis.org/pipermail/members-sigcis.org/</a> and you can change your subscription options at

<a href="http://lists.sigcis.org/listinfo.cgi/members-sigcis.org">http://lists.sigcis.org/listinfo.cgi/members-sigcis.org</a></div>

</span></font></div>

</div>

</body>

</html>