[TYPES/announce] CFP: Symposium on the History and Philosophy of Programming

[Tomas Petricek]

Dear all,
If you are interested not just in the technical aspects of types, but also in their history and philosophy, I would like to invite you to submit 2-page extended abstracts to an upcoming Symposium on the History and Philosophy of Programming. The symposium aims to bring together computer scientists, historians, philosophers and practitioners to discuss programming from a broader perspective. It will take place on 23 March 2018 in Oxford and the submission deadline is 1 January 2018. For more information and a full CFP, please see: https://www.shift-society.org/hapop4/ I'm including the outline below.

----------------------------------------------------------------------------------
Fourth Symposium on the History and Philosophy of Programming

In a society where computers have become ubiquitous, it is necessary to develop a deeper understanding of the nature of computer programs, not just from the technical viewpoint, but from a broader historical and philosophical perspective. A historical awareness of the evolution of programming not only helps to clarify the complex structure of computing, but it also provides an insight in what programming was, is and could be in the future. Philosophy, on the other hand, helps to tackle fundamental questions about the nature of programs, programming languages and programming as a discipline.

HaPoP 2018 is the fourth edition of the Symposium on the History and Philosophy of Programming, organised by HaPoC, Commission on the History and Philosophy of Computing. As in the previous editions, we are convinced that an interdisciplinary approach is necessary for understanding programming with its multifaceted nature. As such, we welcome participation by researchers and practitioners coming from a diversity of backgrounds, including historians, philosophers, computer scientists and professional software developers.

In addition to submissions in a wide range of areas traditional for HaPoP (outlined below), we especially welcome submissions that explore the nature of scientific progress with respect to computer programming as a discipline. We are interested in investigations concerning the methodology of computer programming, whether it follows a form of scientific method that allows it to increase its problem solving ability, whether its development more is akin to science, engineering or rather art, and what examples from the history of programming can be provided to support either argument.
----------------------------------------------------------------------------------

If you have any questions regarding suitability of a topic, format of the extended abstract, or anything else, please contact me at tomas at tomasp.net.

Thanks,
Tomas Petricek