Programme HaPoC Symposium at IACAP14

Thursday, 3rd July
Session 1
What are programs, algorithms, machines and how do we understand their

11.45 - 12.30
Ray Turner (University of Essex)
The design and construction of computational artefacts
12.30 - 13.15
Wilfried Sieg (Carnegie Mellon)
What is the concept of computation?
13.15 - 14.00
Robin Hill (University of Wyoming)
What an Algorithm Is: The Ante-Digital View

Session 2:
What is computing/computation?

15.00 - 15.45
Barry Cooper (University of Leeds)
Computing the Rainbow
15.45 - 16.30
Nachum Dershowitz (Tel Aviv University)
What is concurrent computing?
16.30 - 17.15
Mate Szabo (Carnegie Mellon)
Turing's Machines and Post's Canonical Forms.
17.15 - 17.30

Session 3
What is the science in computer science?

Ksenia Tatarchenko (Columbia University)
Computing and the Sands of Time
18.45 - 19.30
Simone Martini (University of Bologna)
Ipsa forma est substantia. Language(s) as a foundation for computer science
Gonzalo Genova (Universidad Carlos III de Madrid, España & Universidad de Santiago de Chile, Chile)
Intertwining of formal and empirical methods in software engineering
Presentation at