That a logico-mathematical-physical object called program is so controversial, even though its very nature is mostly hidden away, is rooted in the range of problems, processes and objects that can be solved, simulated, approximated and generated by way of its execution. Given its widespread impact on our lives, it becomes a responsibility of the philosopher and the historian to study the science of programming. The historical and philosophical reflection on the science of programming is the main topic at the core of this workshop and we expect contributions (talks) in the following aspects (and their connections):
- The history of computational systems, machines and programs
- Foundational issues and paradigms of programming
- Methodology of designing, teaching and learning programming
We believe the scientific community needs a deep understanding and critical view of the problems related to the scientific paradigm represented by the science of programming. Possible and in no way exclusive questions that might be of relevance to this Symposium are:
- What was and is the relation between hardware and software developments?
- How did the notion of 'program' changed since the 40s?
- How important has been the hands-off vs. the hands-on approach for the development of programming?
- How did models of computability like Church's lambda-calculus influencethe development of programming languages?
- Is programming a science or a technology?
- What are the novel and most interesting approaches to the design of programs?
- What is correctness for a program? Issues in Type-checking, Model-checking, etc.
- How do we understand programs as syntactical-semantical objects?
- What is the nature of the relation between algorithms and programs?
- What is a program?
- How can epistemology profit from the understanding of programs' behavior and structure?
- What legal and socio-economical issues are involved in the creation, patenting or free-distribution of programs?
- How is programming to be taught?