Thursday, 3rd July
—–
Session 1
11.30-14.00
What are programs, algorithms, machines and how do we understand their
languages?
11.30-11.45
Introduction
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:
15.00-17.30
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
Remarks
Session 3
18.00-19.30
What is the science in computer science?
18.00-18.45
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