Forums
CS4635
Symposium on the History and Philosophy of Programming

Author	Message
rabbott Posts: 1649	Posted 21:31 Feb 17, 2020 \| HaPoP 2020 Fifth Symposium on the History and Philosophy of Programming 27 May 2020, Paris, France (Colocated with NewCrafts 2020, 28-29 May 2020) HaPoP 2020 is the fifth 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. Programming as an art, a craft or a science Selected topics of interest for the symposium Possible and in no way exclusive questions of relevance to this symposium are: Can/has been/should be programming understood as an art, a craft and/or a science? Are we getting better at writing programs that solve the given problem? Is programming a specialist discipline, or will everyone in the future be a programmer? What are the different scientific paradigms and research programmes developed through the history of computer programming? Is it possible to eliminate errors from computer programs? What is a program? How did the notion of a program change throughout the history? How are programs and abstractions born, used and understood? What was and is the relationship between hardware and software developments? How did theoretical computer science (lambda-calculus, logics, category theory) influence the development of programming languages and vice versa? What are the novel and most interesting approaches to the design of programs? What is a correct program? Historical and philosophical reflections on issues in formal specification, type checking and model checking. What is the nature of the relationship between algorithms and programs? What legal and socio-economical issues are involved in the creation, patenting and free-distribution of programs? How do we understand the multi-faceted nature of programs combining syntax, semantics and physical implementation? How is programming to be taught? Last edited by rabbott at 19:38 Feb 18, 2020.
rabbott Posts: 1649	Posted 19:34 Feb 18, 2020 \| While thinking about conferences I looked for conferences in which NetLogo was used. A page on the NetLogo website lists quite a few academic papers (both conferences and journals) that refer to NetLogo. The models we have implemented in PyLogo illustrate how very flexible and convenient the NetLogo framework is. Last edited by rabbott at 19:39 Feb 18, 2020.

Author

Message

rabbott

Posts: 1649

Posted 21:31 Feb 17, 2020 |

HaPoP 2020

Fifth Symposium on the History and Philosophy of Programming

27 May 2020, Paris, France

(Colocated with NewCrafts 2020, 28-29 May 2020)

HaPoP 2020 is the fifth 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.

Programming as an art, a craft or a science

Selected topics of interest for the symposium

Possible and in no way exclusive questions of relevance to this symposium are:

Can/has been/should be programming understood as an art, a craft and/or a science?
Are we getting better at writing programs that solve the given problem?
Is programming a specialist discipline, or will everyone in the future be a programmer?
What are the different scientific paradigms and research programmes developed through the history of computer programming?
Is it possible to eliminate errors from computer programs?
What is a program? How did the notion of a program change throughout the history?
How are programs and abstractions born, used and understood?
What was and is the relationship between hardware and software developments?
How did theoretical computer science (lambda-calculus, logics, category theory) influence the development of programming languages and vice versa?
What are the novel and most interesting approaches to the design of programs?
What is a correct program? Historical and philosophical reflections on issues in formal specification, type checking and model checking.
What is the nature of the relationship between algorithms and programs?
What legal and socio-economical issues are involved in the creation, patenting and free-distribution of programs?
How do we understand the multi-faceted nature of programs combining syntax, semantics and physical implementation?
How is programming to be taught?

Last edited by rabbott at 19:38 Feb 18, 2020.

rabbott

Posts: 1649

Posted 19:34 Feb 18, 2020 |

While thinking about conferences I looked for conferences in which NetLogo was used. A page on the NetLogo website lists quite a few academic papers (both conferences and journals) that refer to NetLogo.

The models we have implemented in PyLogo illustrate how very flexible and convenient the NetLogo framework is.

Last edited by rabbott at 19:39 Feb 18, 2020.