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

2-6 July 2012

Home

Symposia

Invited Speakers

Schedule

Venue

Registration Accommodation

FAQ

Submission

Organization

Important Dates

Poster

Campus Pictures

Contact

(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