Danish Network for History and Philosophy of Computer Science – University of Copenhagen

Danish Network for History and Philosophy of Computer Science

Aims of the network

The history and philosophy of computer science are cross-disciplinary academic fields which have received increasing attention during the past decade. A large portion of the research has naturally focused on the US context. This network aims to initiate new research in Denmark by integrating international developments with the strong Danish tradition for history and philosophy of science conducted from a solid basis within the relevant science.

The network will draw upon Danish and international studies of e.g. history of computers and information technology and philosophy of computing in order to develop a new approach to the history and philosophy of computer science and computer scientists. Thus, the network will focus on the professionalization of computer science and on the social, political, and ethical conflicts and implications of the rise of computer science during the past decades. The activities of the network centers on the two focal points:

  1. The professionalization of computer science in Denmark, including the formation of academic institutions and the professionalization in the industry.
  2. Political and social visions for computer science in Denmark, including discussions of ethical and societal implications of computer science and discussions about computer literacy in education.

Activities

In May, Rebecca Slayton (Department of Science & Technology Studies, Cornell University) visited Copenhagen to meet with the network and give a public lecture.

In June, Henrik visited the National Air and Space Museum, Washington DC to discuss with Paul Ceruzzi.

Also in June, Henrik attended at the annual conference of the International Association for Philosophy of Computing (IACAP-2017) at Stanford University. He presented a joint paper with Mikkel on "Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants".

In October, Henrik attended the conference HaPoC 2017 in Brno, presenting joint work with Mikkel on Interactive Theorem Proving.

And in October, Henrik visited the Department of Science & Technology Studies, Cornell University to present in their STS seminar and discuss with Rebecca Slayton and others.

On January 24 2018, the network organizes an explorative workshop on "Big Data: Challenges and opportunities for epistemology and ethics?" in Copenhagen.

In March, professor Thomas Haigh (University of Milwaukee) will be visiting the network. Professor Haigh is an eminent historian of computer science and the author of a long series of seminal papers and books on the subjects, many of which were used in our recently completed BSc course on History of Computer Science. While in Copenhagen, we have arranged a number of events with Tom Haigh: