- Members - lists.sigcis.org

CFP: History of Formal Methods 2019
by Troy Astarte (PGR) 16 Jan '19

16 Jan '19

Call for papers: History of Formal Methods 2019 Workshop, 11th October 2019, Porto, Portugal (co-located with FM’19) We invite submissions to the HFM2019 workshop<https://sites.google.com/view/hfm2019/home>. See the website (https://sites.google.com/view/hfm2019) for complete details and instructions on how to submit. Submission is via EasyChair<https://easychair.org/conferences/?conf=hfm2019> (https://easychair.org/conferences/?conf=hfm2019) This is a workshop on the history of formal methods in computing. The aim is to bring together historians of computing, technology, and science with practitioners in the field of formal methods to reflect on the discipline’s history. There will be a round of abstract submission prior to the workshop which will determine who is invited to give a presentation at the workshop. Afterwards, presenters may submit papers based on their presentations for inclusion in the workshop’s proceedings. Scope The theme of the workshop is the history of formal methods in computing. By 'formal methods' we mean mathematical or logical techniques for modelling, specifying, and reasoning about aspects of computing. This could include programming language description, concurrency modelling, theorem proving, program specification and verification, or mathematical foundations of computing. Theoretical aspects of computing have been present almost since the beginning of electronic computers, and in various ways these techniques have evolved and changed, including into what are now called “Formal Methods”. Such aspects have been instrumental in developing fundamental understanding of computation and providing techniques for rigorous development of software, but have not always had the desired impact on practical and industrial computing. This makes the field ripe for historical research and we invite submissions to our workshop which take a historical view of the topic. This may include discussion of developments of various formal methods, evolving agendas within the field, consideration of the effect of social and cultural factors, and evaluation of the way in which formal methods have impacted computing more broadly. The workshop is intended to be of interest to current researchers in formal methods and to be accessible to people without any historical background. It should also be a venue for historians of science whose work covers formal aspects of computing as we believe understanding the the history of the field brings greater clarity to current technical research. We encourage early stage researchers to try their hand at historical reflection and gain an idea of the field’s grounding; we invite historians to contribute to the history of formal methods; and we invite researchers who have worked in formal methods for whom an historical talk provides the opportunity to reflect on their field. Submission information Submissions prior to the workshop will take the form of abstracts no longer than 500 words. If references are required, these can be added as an optional PDF file (and do not count towards the word count). All abstracts will be reviewed by the program committee whose details can be found on the website; based on these reviews, a decision will be made on who to invite to present at the workshop. Following to the workshop, proceedings will be published (details of publisher to be finalised later). Please indicate during your submission if you wish for a paper to be considered for inclusion in the proceedings—select “Yes” even if you are not totally certain. All papers submitted for the proceedings will be subject to peer review. Important Dates * Call for papers: January 2019 * Submissions: 30 April 2019 * Notification of acceptance: 30 June 2019 * Presentations ready: 1 September 2019 * Workshop: 11th October 2019 * Papers for proceedings: 31 December 2019 Chairs Troy Astarte Brian Randell (Newcastle University) sent by Troy Astarte on behalf of the HFM2019 Program Committee

1 0

COMIT on IBM 709/0 at MIT in the 1950-60s
by Dennis Y.T. 15 Jan '19

15 Jan '19

Hello all, I am writing a paper on the history of COMIT string processing language at MIT in the late 1950--early 60s, which involves parsing a few published programs written in the language. So far, I've made great progress using available documentation but I would also love to speak to anybody who was involved with the project (under Yngve or others at RLE or the Computing Center), and especially anybody experienced with coding in COMIT. Please get in touch if you are interested. With regards, Dennis Dennis Yi Tenen Associate Professor Department of English and Comparative Literature Columbia University in the City of New York http://denten.github.io/ | 415.215.3315 *Plain Text: The Poetics of Computation <http://www.sup.org/books/title/?id=26821>* (Stanford UP, 2017)

1 0

Hey Google, What's a Moonshot: How Silicon Valley Mocks Apollo
by Thomas Haigh 10 Jan '19

10 Jan '19

Hello SIGCIS, This being the anniversary year for Apollo 11, I have used my latest piece in Communications of the ACM (Jan 2019) to contrast the actual scope, cost, organization and impact of the Apollo program with the smug and historically ignorant misappropriation of the "moonshot" concept by Google/Alphabet in its "moonshot factory" branding. Thanks to Paul Ceruzzi and Matthew Hersch for checking over the space history side of things for me (though as always any errors are mine). https://cacm.acm.org/magazines/2019/1/233518-hey-google-whats-a-moonshot/ful ltext In a way this is parallel to the "maintainers" critique made by Lee and Andy but approaching from the opposite direction. Even if you think that radical innovation is the most and only important thing society needs, the problem is that the federal government and tech industry are no longer willing to spend the kind of money needed to deliver it. I'm working on a talk version of this, if anyone wants to invite me to deliver it.. Best wishes, Tom

1 0

CfP Internet and the European Market
by Valerie 07 Jan '19

07 Jan '19

Dear colleagues, We wish you an happy new year and hope that this call for papers may be of interest for some of you. Please feel free to circulate this call to your networks. Best regards, Andreas Fickers & Valérie Schafer Special issue of Internet Histories: Digital Technology, Culture and Society (Editors of special issue: Andreas Fickers and Valérie Schafer) The Internet and the European Market “The internet and digital technologies are transforming our world. But existing barriers online mean citizens miss out on goods and services, internet companies and start-ups have their horizons limited, and businesses and governments cannot fully benefit from digital tools. It's time to make the EU's single market fit for the digital age – tearing down regulatory walls and moving from 28 national markets to a single one”. This assessment on the European Commission website (https://ec.europa.eu/commission/priorities/digital-single-market_en <https://ec.europa.eu/commission/priorities/digital-single-market_en>) invites to analyse the relationships between the EU’s single market and the digital age from a critical perspective. This interdisciplinary special issue will examine the relationship between EU regulation, Internet and market integration from an historical perspective. We welcome articles that seek to analyse the way the development of Internet has facilitated market integration. At the same time, this development has created major regulatory challenges at the EU level — e.g. peering between ISPs, the taxation of electronic commerce, data protection issues, etc. The articles in this special issue may explore the Internet integration-regulation interactions from the perspective of a diverse range of analytical frameworks. The historical development of this interaction will be considered along with its various political, legal and economic dimensions. Topics can include, but are not limited to: · Development of a Trans-European Internet market (transnational networks and services, ISPs, peering, etc.) · Internet integration in the EU Internal Market (development of e-commerce, banking activities, free circulation of goods, services and digital access to goods and services) · Internet as a facilitator for EU Internal Market integration · Digital Single Market Strategies · Discourses, imaginaries, regarding « Digital as a driver for growth » in the EU · Debates and controversies regarding EU Market Integration on the Web · Regulatory issues and challenges regarding Internet and the Web in the EU · European stakeholders and their evolution in Internet integration-regulation · Comparative approaches of Internet integration-regulation interactions in the EU and in other areas/markets Submissions Please send abstracts of a maximum of 700 words to Andreas Fickers (andreas.fickers(a)uni.lu <mailto:andreas.fickers@uni.lu>) and Valérie Schafer (valerie.schafer(a)uni.lu <mailto:valerie.schafer@uni.lu>) no later than 15 April 2019. Notification of acceptance will be sent by 1st May 2019 and authors of accepted abstracts will be invited to submit an article. Please note that acceptance of an abstract does not imply final publication as all articles must go through the journal’s usual double blind peer review process. Time schedule · 15 April 2019: due date for abstracts · 1st May 2019: notification of acceptance · 15 December 2019: submission of papers · January-March 2020: review process and revisions We are hoping to organize a two-days workshop to discuss papers at the University of Luxembourg during the editorial process (2nd semester of 2019). More information on Internet Histories: Digital Technology, Culture and Society can be found at https://www.tandfonline.com/loi/rint20 <https://www.tandfonline.com/loi/rint20>

1 0

Assistant Professor Position @ University of Washington, Seattle (January 15, 2019)
by Daniela K Rosner 01 Jan '19

01 Jan '19

*Faculty Position Announcement. **Please share widely!* *Assistant Professor of Human Centered Design & Engineering* (Tenure Track) https://apply.interfolio.com/57463 Review of applications will begin *January 15, 2019.* The Department of Human Centered Design & Engineering (HCDE) at the University of Washington seeks an individual dedicated to excellence in teaching and research programs to join our dynamic interdisciplinary intellectual community in 2019. HCDE is a vibrant, welcoming, and engaged interdisciplinary community that incorporates a range of intellectual traditions. We offer BS, MS, and PhD degrees and serve as a founding contributor to three interdisciplinary graduate degrees. Candidates will teach undergraduate and graduate courses and will supervise doctoral students. The yearly teaching load is three courses (one per quarter) plus supervision of for-credit directed research groups. Teaching opportunities will be based on our current course offerings and the individual’s areas of scholarly expertise. Successful candidates will join a dynamic faculty conducting interdisciplinary research in the design and engineering of sociotechnical systems broadly defined. More information about our department can be found at http://www.hcde.washington.edu. The successful candidate will be expected to expand on one or more emerging areas within the department, including: 1. *Design* (e.g., data visualization; design education; research-through-design) 2. *Engineering* (e.g., data science; human-robot interaction; machine learning/artificial intelligence; augmented and virtual reality; infrastructure development) 3. *Technology & Society* (e.g., policy and ethics in the designing of technologies such as those listed in 1 and 2 above). Successful candidates will be expected to address the societal implications of technology and think globally in their research. Successful candidates will be expected to deal directly or indirectly with design, engineering, and policy issues such as data use/misuse; social and environmental justice; and equity and civic engagement. Successful candidates are expected to develop substantial programs of research including peer-reviewed publications and external funding. Candidates should show evidence of strong promise in teaching as well as scholarship. All UW faculty engage in teaching, research and service. The College of Engineering regularly sets visions for strategic research areas; current areas can be found here: https://www.engr.washington.edu/facresearch/strategicareas. Faculty members also routinely collaborate with colleagues across campus and with affiliates from the region’s noted high-tech industry. Seattle is a culturally diverse urban center with growing racial, ethnic and immigrant communities. It is also home to many prominent technology companies, along with a robust startup and global health community. The University of Washington is building a culturally diverse faculty and encourages applications from women and minority candidates. *Qualifications* Applicants for this Assistant Professor (tenure-track) position should be recent or soon to graduate PhDs and must have earned a doctorate (or foreign equivalent) by the date of appointment. This is a 9-month, full-time appointment. *Application Instructions* Appointment begins in Autumn 2019. Review of applications will begin January 15, 2019. To apply, send (1) a letter of application, (2) a current c.v., (3) a statement of research and teaching goals, (4) a diversity statement*, (5) up to three representative papers and (6) and contact information for at least three people from whom we may request letters of recommendation. *Inquiries: *Stacia Green at greens6(a)uw.edu or Dr. Daniela Rosner at dkrosner(a)uw.edu. Our department's social justice mission leads us to invest in recruiting colleagues who in their scholarship, teaching, and service demonstrate experience with, knowledge of, and sensitivity to the needs of culturally diverse and oppressed populations. As a program with a core mission of social justice and a deeply diverse student body, we seek candidates with a demonstrated commitment to work with marginalized communities and with students holding a range of worldviews. In accord with the University’s expressed commitment to excellence and equity, contributions in scholarship and research, teaching, and service that address diversity and equal opportunity may be included among the professional and scholarly qualifications for appointment and promotion. *A Diversity Statement helps applicants reflect on how their approach to teaching and/or service contributes to positive social change and supports people who represent differences in gender, class, race, ethnicity, religious affiliation, national and cultural boundaries, national origin, worldview, intellectual origin, ability, and other identities. We invite you to reflect and describe your related experiences in teaching and service and also where you stand to grow with regard to issues of diversity, inclusion, equity, and justice, and your potential to mentor and educate students who will serve diverse populations. -- ~-:~-:~-:~-:~-:~-:~-:~ Daniela K. Rosner danielarosner.com @danielarosner <https://twitter.com/danielarosner> she//her/hers My new book Critical Fabulations <https://www.amazon.com/Critical-Fabulations-Reworking-Methods-Thinking/dp/0…> now out with MIT Press!

2 1

desktop publishing, digital typography, etc., , a couple of pointers
by Dave Walden 31 Dec '18

31 Dec '18

Some of you will have seen issue 3 of 2018 of the Annals of the History of Computing on the history of desktop publishing. And a few of you may have read my interview with Charles Bigelow who has lived and worked through much of the digital type revolution. There is a parallel interview at http://tug.org/TUGboat/tb39-3/tb123holmes-walden.pdf of Kris Holmes who is the other half of the Bigelow and Holmes Design Studio. See also http://tug.org/TUGboat/tb39-3/tb123walden-cary.pdf -- the Cary Collection with which Chuck and Kris are affiliated. The "web extras" page for the DTP special issue of the Annals -- continues to be updated -- https://history.computer.org/annals/dtp/ While TeX and LaTeX are just a tiny corner of the computing world, the TUG website (tug.org) does have some content that goes beyond TeX and may be useful for people researching the digital typography and DTP area of computing history; - the group's journal (http://tug.org/tugboat/contents.html) is now open access for all but the most recently published issue; look at book reviews, typography, etc., in the category list for high probability of finding topics closer to computing history. - the group's interview series (http://tug.org/interviews/) naturally looks backward (i.e., history); also there are lots of links to interviews of Knuth (http://tug.org/interviews/#knuth) By the way, Knuth has produced another massive computing/artistic effort outside the volumes of The Art of Computer Programming: https://www-cs-faculty.stanford.edu/~knuth/fant.html Best wishes for 2019.

1 0

ISOC Live 12 Streams 5 - Digital Preservation (with Vint Cerf)
by Joly MacFie 31 Dec '18

31 Dec '18

Vint did a great job of facilitating at these two. I hope we can do some follow ups in 2019. I'd love to to see him share a stage with Jason Scott <https://blog.archive.org/author/jasonscott/> of the Internet Archive, perhaps on practicalities. <https://livestream.com/internetsociety/DigitalCooperation> <https://livestream.com/internetsociety/coppaat20> <https://livestream.com/internetsociety/CITIDFS-ICO> <https://livestream.com/internetsociety/ConnectedNE> <https://livestream.com/internetsociety2/js-nyc-nov18> <https://livestream.com/internetsociety/swissigf18> <https://livestream.com/internetsociety/iotsecurity2018-4> <https://livestream.com/internetsociety/ukigf18> <https://livestream.com/internetsociety/routingsecurity/> <http://www.mnn.org/live/2-lifestyle-channel> <https://livestream.com/internetsociety/diversity/> <https://livestream.com/internetsociety/VisionsIG> <http://www.mnn.org/live/2-lifestyle-channel> <https://livestream.com/internetsociety/12days01/> <https://livestream.com/internetsociety/12days02> <https://livestream.com/internetsociety/12days03/> <https://livestream.com/internetsociety/12days04> [image: livestream] <https://livestream.com/internetsociety/12days05/> Today, *Sunday December 30 2018*, at *7pm EST* (00:00 UTC), for the *fifth installment* of the *Internet Society Livestreaming <https://isoc.live/>*‘s ‘*12 Days of Streams <https://isoc.live/tag/12-streams/>‘* annual highlights we turn to another Internet Hall of Famer, Google’s Chief Internet Evangelist *Vint Cerf <https://www.internethalloffame.org/inductees/vint-cerf>*. Early in 2018 Vint collaborated with the *Internet Society New York Chapter <http://isoc-ny.org/>* for two forums on *Digital Preservation <https://www.internetsociety.org/blog/2018/01/preserving-future-one-bit-time/>* – the *first in DC <https://isoc.live/9792/>* focused on policy, the *second in NYC <https://isoc.live/9869/> *focused on incentives. With guest experts *Kate Zwaard*, chief of National Digital Initiatives at the Library of Congress, *Michelle M. Wu*, Associate Dean for Library Services at Georgetown University Law Center, *Robert Cartolano*, AVP for Technology and Preservation, Columbia University Libraries, and *Brad Burnham*, Managing Partner, Union Square Ventures, these well attended events fostered lively discussions and an (ironically unpreserved) *dedicated website* <https://web.archive.org/web/20180119020333/http://digitalpreservationnow.co…> . *VIEW ON LIVESTREAM: https://livestream.com/internetsociety/12days05/ <https://livestream.com/internetsociety/12days05/>* *TWITTER: @isocny + #digitalpreservation http://bit.ly/isocnydp <http://bit.ly/isocnydp>* *Permalink* https://isoc.live/10758/ -- --------------------------------------------------------------- Joly MacFie 218 565 9365 Skype:punkcast -------------------------------------------------------------- -

1 1

Re: [SIGCIS-Members] Invention of the concept of process
by Brian Randell 30 Dec '18

30 Dec '18

Hi Paul: Off and on over a period of several years starting in the late 60s I worked with the late Jim Horning on attempting to clarify and formalise the concept of a process, and to understand the various ways in which processes could be usefully structured - the eventual result was a lengthy survey paper: Horning J.J., Randell B. Process Structuring. ACM Computing Surveys 1973, 5(1), 5-30. Quoting from this: "It has been said that “The concept of process is . . . an abstract one, and may be compared with that of the life of an organism; in neither case is it very easy to pin the concept down in a definition.” [36] Even a casual survey of the literature [e.g., 3, 8-11, 13, 17, 18, 23, 28, 29, 34] shows the lack of any general agreement on a precise definition of “process.” Three distinct aspects of the process concept are emphasized in various definitions. The process concept is used to model: 1) The status of a system. “A process is a locus of control within an instruction sequence. That is, a process is that abstract entity which moves through the instructions of a procedure as the procedure is executed by a processor.” [10] 2) Some sequence of status values. “ . . . a ‘sequential process’ can be considered as a sequence of actions that will be performed when an input tape has been supplied to an abstract machine.” [18] 3) A means of generating a class of such sequences. “An ALGOL program (block) specifies a sequence of operations on data local to the program, as well as the structure of the data themselves. SIMULA extends ALGOL to include the notion of a collection of such programs, called processes, conceptually operating in parallel. . . The process concept is intended as an aid for decomposing a discrete event system into components, which are separately describable. In general a process has two aspects: it is a data carrier and it will execute actions.” [8] Although no one of these provides a complete basis for the definition of “process”, each is important to our study, and it is helpful to use different names for each. Thus, we will refer to the “state” of a process, or to a “computation,” which is a sequence of its states, or to the “action function,” which generates its computations. We will discuss each of the concepts in some detail, and then present what we believe to be an adequate and precise definition of “process”." The above referenced-publications are: [3] BRINCH HANSEN, P. “The nucleus of a multiprogramming system.” Comm. ACM 13, 4 (1970), 238-241, 250. [8] DAHL, O. J., AND NYGAARD, K. “SIMULA–an ALGOL-based simulation language.” Comm. ACM 9, 9 (1966), 671-678. [9] DENNING, P. J. “Third generation computer systems.” Computing Surveys 3, 4 (1971), 175-216. [10] DENNIS, J. B., AND VAN HORN, E. C. “Programming semantics for multiprogrammed computations.” Comm. ACM 9, 3 (1966), 143-155. [11] DIJKSTRA, E. W. Cooperating sequential processes. Report EWD 123, Mathematical Department, Technological University, Eindhoven, The Netherlands, September 1965. [Reprinted in Programming Languages (F. Genuys Ed.) Academic Press, London, 1968.] [13] DIJKSTRA, E. W. “The structure of the “THE” multiprogramming system.” Comm. ACM 11, 5 (1968), 341-346. [17] GILBERT, P.; AND CHANDLER, W. J. “Interference Between Communicating. Parallel Processes.” Comm. ACM 15, 6 (1972), 427-437. [18] HABERMANN, A. N. “On the harmonious cooperation of abstract machines.” PhD Thesis, Technological University, Eindhoven, The Netherlands, 1967. [23] LAMPSON, B. W. “A scheduling philosophy for multi-processing systems.” Comm. ACM 11, 5 (1968) 347-360. [28] PARNAS, D. L. On identifying processes within an operating computer system. Dept. of Computer Science, Carnegie-Mellon Univ. Pittsburgh, Pa. (unpublished). [29] SALZTER, J. H. “Traffic control in a multiplexed computer system.” PhD Thesis, MIT, Cambridge, Mass., July 1966. [34] VAN HORN, E. C. Computer design for asynchronously reproducible multi-processing. MIT Project MAC Technical Report, MAC-TR-34 November 1966. [36] WILKES, M. V. Time-sharing computer systems. Macdonald & Co., London, 1968. The introduction to our chapter "Processes and Processors: Basic Definitions" started: "In this paper we use the concept of “process” as a mathematical tool to explain, predict, and understand the behavior of a class of physical devices exemplified by digital computer systems. These devices (which are viewed as “processors”) are characterized by the fact that their interesting behavior is predictable, and consists of sequences of values of well-defined physical quantities (e.g., voltages on wires, magnetizations of cores, characters printed on paper), which represent the “information” of the system at discrete instants of time. The relation of a process to a processor is similar to the relation of a theory of physics (e.g., the “law of gravitation”) to the objects of that theory (e.g., the motion of planets); the theory is useful to the degree that it provides a sufficiently close approximation to its objects, yet remains understandable. An important difference is that processes are often developed before the processors they model exist. If a process exhibits desirable properties, then it is generally possible to construct a corresponding processor, using the process as a specification." The formal definition of process that we arrived at was: "A process is a triple (S, f, s), where S is a state space, f is an action function in that space, and s is the subset of S which defines the initial states of the process." I hope the above will help the present discussion on the origins of the concept. Cheers Brian Randell On 30 Dec 2018, at 04:23, Paul McJones <paul(a)mcjones.org<mailto:paul@mcjones.org>> wrote: Laurent, Edsger Dijkstra’s “Cooperating Sequential Processes" (EWD123) was written in 1965 (http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD123.PDF) His original paper on semaphores (EWD35) was written in Dutch several years before that (http://www.cs.utexas.edu/users/EWD/transcriptions/EWD00xx/EWD35.html) By 1965, the term process was becoming fairly well-known in operating systems circles. For example, in a paper presented in 1965, Jack Dennis wrote: Processes. We consider that the system hardware comprises one or more processors, which we can identify as being distinct from the main memory, the file storage devices and the input/output devices. Each processor is capable of executing algorithms that are specified by sequences of instructions. A process is a locus of control within an instruction sequence. That is, a process is that abstract entity which moves through the instructions of a procedure as the procedure is executed by a processor. This is from: Jack B. Dennis and Earl C. Van Horn. 1966. Programming semantics for multiprogrammed computations. Commun. ACM 9, 3 (March 1966), 143-155. DOI=http://dx.doi.org/10.1145/365230.365252 Paul On Dec 29, 2018, at 8:09 PM, Laurent Bloch <lb(a)laurentbloch.org<mailto:lb@laurentbloch.org>> wrote: Le dimanche 30 décembre 2018 Grider, Gary Alan a écrit ceci : Hasn’t there been great debate about when the first "stored program" was accomplished? Some said on Maniac by Metropolis but others disagree I think. I would say that the concept of a process may appear when there are more than one program, potentially ready to execute, and in competition to access the processor. If that is what you are looking for I am pretty sure it was well before CTSS or Multics. I think CTSS and Multics were in pursuit of time sharing (or multiple stored programs). I think the first implementation of process pipes might have been Demos but that was way after CTSS days. Gary On 12/29/18, 8:37 PM, "Members on behalf of Laurent Bloch" <members-bounces(a)lists.sigcis.org<mailto:members-bounces@lists.sigcis.org> on behalf of lb(a)laurentbloch.org<mailto:lb@laurentbloch.org>> wrote: Le samedi 29 décembre 2018 McMillan, William W a écrit ceci : "..., my question was about computer processes, i.e. programs in execution ..." Laurent, do you mean process in the sense of a computer program loaded (at least partially) into primary memory, described by a process control block, and managed by an operating system? Yes, it is precisely the kind of entity I am asking about. I would say it appears with CTSS or Multics, but I am not sure. Once I read the name of the creator of the concept, but I did not write it down and I forgot, hence my question. Or is the topic more broad than that? Bill ________________________________________ From: Members [members-bounces(a)lists.sigcis.org<mailto:members-bounces@lists.sigcis.org>] on behalf of Laurent Bloch [lb(a)laurentbloch.org<mailto:lb@laurentbloch.org>] Sent: Saturday, December 29, 2018 6:03 PM To: James Cortada Cc: SIGCIS Subject: Re: [SIGCIS-Members] Invention of the concept of process Le samedi 29 décembre 2018 James Cortada a écrit ceci : It might help to give us some context for your question. For example, if interested in process in business, then it emerges in the late 19th century and in the second half of the 20th becomes process management, TQM etc. If in science, then it is language substituted for what otherwise we all think of as the scientific method. Even earlier the notions of methods and techniques are embodiments of the idea of process. Hence, my request for context. Well, my question was about computer processes, i.e. programs in execution in a computer, sometimes also called tasks. On Sat, Dec 29, 2018 at 4:56 PM Laurent Bloch <lb(a)laurentbloch.org<mailto:lb@laurentbloch.org>> wrote: Hi, Surely many of you know the answer: who invented the concept of process, and when? Thank you for your answers. Have a nice Sunday! -- Laurent Bloch - https://laurentbloch.net<https://laurentbloch.net/> - lb(a)laurentbloch.org<mailto:lb@laurentbloch.org> Si vous trouvez que l'éducation coûte cher, essayez l'ignorance ! (A. Lincoln) _______________________________________________ This email is relayed from members at sigcis.org<http://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 -- James W. Cortada Senior Research Fellow Charles Babbage Institute University of Minnesota jcortada(a)umn.edu<mailto:jcortada@umn.edu> 608-274-6382 -- Laurent Bloch - https://laurentbloch.net<https://laurentbloch.net/> - lb(a)laurentbloch.org<mailto:lb@laurentbloch.org> Si vous trouvez que l'éducation coûte cher, essayez l'ignorance ! (A. Lincoln) -- Laurent Bloch - https://laurentbloch.net<https://laurentbloch.net/> - lb(a)laurentbloch.org<mailto:lb@laurentbloch.org> Si vous trouvez que l'éducation coûte cher, essayez l'ignorance ! (A. Lincoln) -- Laurent Bloch - https://laurentbloch.net<https://laurentbloch.net/> - lb(a)laurentbloch.org<mailto:lb@laurentbloch.org> Si vous trouvez que l'éducation coûte cher, essayez l'ignorance ! (A. Lincoln) _______________________________________________ This email is relayed from members at sigcis.org<http://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 _______________________________________________ This email is relayed from members at sigcis.org<http://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 — School of Computing, Newcastle University, 1 Science Square, Newcastle upon Tyne, NE4 5TG EMAIL = Brian.Randell(a)ncl.ac.uk<mailto:Brian.Randell@ncl.ac.uk> PHONE = +44 191 208 7923 URL = http://www.ncl.ac.uk/computing/people/profile/brianrandell.html

3 2

Invention of the concept of process
by Laurent Bloch 30 Dec '18

30 Dec '18

Hi, Surely many of you know the answer: who invented the concept of process, and when? Thank you for your answers. Have a nice Sunday! -- Laurent Bloch - https://laurentbloch.net - lb(a)laurentbloch.org Si vous trouvez que l'éducation coûte cher, essayez l'ignorance ! (A. Lincoln)

6 10

death of an Arpanet/Internet/etc. pioneer
by David Walden 28 Dec '18

28 Dec '18

-------- Original Message -------- Subject: Sad News about Larry Roberts From: Leonard Kleinrock <lk(a)cs.ucla.edu> Sent: Friday, December 28, 2018, 1:29 PM Hi, I just heard from Pasha Roberts that his father, Larry Roberts, passed away on December 26. Larry was a gifted and accomplished researcher and was a dear friend and colleague. I thought you would want to know that his passing was sudden and peaceful. I will miss Larry. Sadly, Len Kleinrock P.S. Please feel free to pass this on.

1 0