Thursday, 3rd July
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
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
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 https://www.dropbox.com/s/uocbjfyyape2940/HaPoC-Intertwinning-Recorded.wmv