Programme HaPoC Symposium at IACAP14

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