HaPoC 2013 : 2nd International Conference on the History and Philosophy of Computing 2013
28-31 Oct 2013 Paris (France)
Login
Lost password ?
Create account
Main menu
Home
On HaPoC
Invited Speakers
Special Session "Computing and the Arts"
Programme
Book of Abstracts
Pictures
Register
Committees
Important Dates
Call for Papers
Practical Info
Useful Links
Sponsors
HELP
@ Contact
Programme
Week
Mon. 28
Tue. 29
Wed. 30
Thu. 31
List
‹
Tuesday, October 29, 2013
›
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
›9:00 (1h)
Algorithms and ontology
Walter Dean
9:00 - 10:00 (1h)
Algorithms and ontology
Walter Dean
https://hapoc2013.sciencesconf.org/data/program/27050.pdf
›10:00 (30min)
Coffee break
10:00 - 10:30 (30min)
Coffee break
›10:30 (2h)
History and Philosophy of the Computer
Chair: Helena Durnova
10:30 - 12:30 (2h)
History and Philosophy of the Computer
Chair: Helena Durnova
›
The term ‘digital' and ‘Digital Computer' by George Robert Stibitz 1942
- Robert Dennhardt, Platanus School Berlin
10:30-11:00 (30min)
›
Computers and obedience: defining machine autonomy in the 1940s
- Mark Priestley, UCL
11:00-11:30 (30min)
›
What network computing does to communication. A retrospective analysis of early debates confronting and inventing online communication ethics
- Camille Paloque-Berges, Conservatoire National des Arts et Métiers - Haud Guegen, CNAM, laboratoire DICEN - Claire Scopsi, CNAM, laboratoire DICEN
11:30-12:00 (30min)
›
Weaving the Net: Places of Computing and their Political, Social and Technical Interconnections
- Wolfgang Brand, Universität Stuttgart, Historisches Institut, Abt. für Geschichte der Naturwissenschaften und Technik
12:00-12:30 (30min)
›12:30 (2h)
Lunch
12:30 - 14:30 (2h)
Lunch
›14:30 (1h)
Logic revisited through informatics
Jean-Yves Girard
14:30 - 15:30 (1h)
Logic revisited through informatics
Jean-Yves Girard
https://hapoc2013.sciencesconf.org/data/program/27053.pdf
›15:30 (1h)
History and Philosophy of Computability
Chair: Liesbeth De Mol
15:30 - 16:30 (1h)
History and Philosophy of Computability
Chair: Liesbeth De Mol
›
The applications of Turing (in)computability to classical mathematics
- Guido Gherardi, Inst. 1 Informatik Universität der Bundeswehr München
15:30-16:00 (30min)
›
Cybernetics, control and Big data
- Teresa Numerico, University of Rome III
16:00-16:30 (30min)
›16:30 (30min)
Coffee break
16:30 - 17:00 (30min)
Coffee break
›17:00 (2h)
History and Philosophy of Computability
Chair: Liesbeth De Mol
17:00 - 19:00 (2h)
History and Philosophy of Computability
Chair: Liesbeth De Mol
›
Kalmár's Argument Against the Plausibility of Church's Thesis
- Mate Szabo, Carnegie Mellon University
17:00-17:30 (30min)
›
Exploring Thue's 1914 paper on the transformation of strings according to given rules
- James Power, National University of Ireland Maynooth
17:30-18:00 (30min)
›
Von Mises, Church, and the Birth of Algorithmic Randomness
- Christopher Porter, Laboratoire d'informatique Algorithmique : Fondements et Applications
18:00-18:30 (30min)
›
Back to the (Libraries of the) Future
- Mirko Tavosanis, Università di Pisa - Dipartimento di Filologia, lett. e l.
18:30-19:00 (30min)
Session
Speech
Logistics
Break
Tour
Online user:
1
Loading...
https://hapoc2013.sciencesconf.org/data/program/27050.pdf
