News

Posted on

An introduction to the P&T HaPoC Special Issue

After HaPoC-I held in Ghent in 2011, two Special Issues went into preparation to collect refereed contributions to the Conference and some additional contributions. The paper to be collected in the first of these issues were already published online on the website of Philosophy & Technology (Springer) for a while. Now the introduction to the same volume has been published and it is available at http://link.springer.com/article/10.1007/s13347-014-0169-4#. The bib entry is also available under our Publications tab.

Posted on

Blog for the HaPoC Community launched!

This new feature of our website is an opportunity for all registered users to post about anything they want: requests for collaboration, ideas, questions, opinion, interesting texts or images. Remember to use the Events content type for events you know about or are organizing and the Publications content type to announce any new or interesting publication. Good blogging!

Posted on

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