University of Birmingham AISB/IACAP World Congress 2012 - Alan Turing 2012

2-6 July 2012



Invited Speakers



Registration Accommodation




Important Dates


Campus Pictures


(Call for Proposals for Symposia)

International Symposium on History and Philosophy of Programming

Location: CPD4

Session 1, Thursday, 5 July

09.30-10.00 Coffee/Tea
10.00-11.00 INVITED SPEAKER:
Gerard Alberts
Developing a historical notion of software
11.00-11.30 Uri Pincas
On the Nature of the Relation between Algorithms and Programs
11.30-12.00 A. Kitov, V. Silantiev, V. Shilov
Anatoly Kitov and ALGEM algorithmic language
12.00-12.30 Discussion
12.30-14.00 Lunch

Session 2, Thursday, 5 July

14.00-14.30 Selmer Bringsjord and Jinrong Li
On the cognitive science of computer programming in service of two historic challenges
14.30-15.00 Wolfgang Brand
Two Approaches to One Task: A Historical Case Study of the Implementation and Deployment of two Software Packages for the Design of Light-Weight Structures in Architecture and Civil Engineering
15.00-15.30 Timothy Colburn and Gary Shute
The Role of Types for Programmers
15.30-16.00 Edgar S. Daylight
A compilation of Dutch computing styles, 1950s-1970s
16.00-16.30 Discussion
16.30-17.00 Coffee Break

Session 3, Thursday, 5 July

17.00-17.30 Allan Olley
Is plugged programming an Oxymoron?
17.30-18.00 Pierre Mounier-Kuhn
Logic and computing in France: A late convergence

Session 4, Friday, 6 July

09.30-10.00 Coffee
10.00-11.00 INVITED SPEAKER:
Julian Rohrhuber
Algorithmic complementarity. Some thoughts on experimental programming and the history of live coding
11.00-11.30 Nikolay v. Shilov
Parallel Programming as a Programming Paradigm
11.30-12.00 Shintaro Miyazaki
Algorhytmic listening 1949-1962. Auditory practices of early mainframe computing
12.00-12.30 Discussion