Skip to content
Commission for the History and Philosophy of Computing

Commission for the History and Philosophy of Computing

  • Home
  • The Commission
    • History of HaPoC
    • Statement
    • The Council
    • The Manchester Manifesto
    • Bylaws (amended 2021)
    • Contact us
    • Minutes of HAPOC General Assemblies
  • HaPoC Conference Series
    • HaPoC 8
    • HaPoC 7
    • HaPoC 6
    • HaPoC 5
    • HaPoC 4
    • HaPoC 3
    • HaPoC 2
    • HaPoC 1
  • HaPoP Symposium Series
    • HaPoP1
    • HaPoP2
    • HaPoP3
    • HaPoP4
    • HaPoP5
    • HaPoP 6
  • HaPoC Publications
  • News

Category: Publications

Posted on 20 June 2016

Turing’s Revolution: The Impact of His Ideas about Computability

G. Sommaruga and Strahm, T., Turing’s Revolution: The Impact of His Ideas about Computability. Birkhäuser, 2015, p. 329.

Posted on 6 June 2016

A Call for More Philosophy in the Philosophy of Computer Science

R. Hill, “A Call for More Philosophy in the Philosophy of Computer Science”, Newsletter on Philosophy and Computers, vol. 15, no. 2, 2016.

Posted on 19 February 2016

Barry Cooper (1943–2015): The engine of Computability in Europe

B. Löwe, “ Barry Cooper (1943–2015): The engine of Computability in Europe ”, Computability, vol. 5, no. 1, pp. 3-11, 2016.

Posted on 19 December 2015

Babbage et Boole : les lois du calcul symbolique

M. – J. Durand-Richard, “Babbage et Boole : les lois du calcul symbolique”, Intellectica, vol. 39, no. 2, pp. 23-53, 2004.

Posted on 16 December 2015

When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science

L. De Mol and Primiero, G., “When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science”, History and Philosophy of Logic, pp. 1-10, 2015. http://dx.doi.org/10.1080/01445340.2015.1084183

Posted on 23 November 2015

Towards a Historical Notion of ‘Turing—the Father of Computer Science’

E. G. Daylight, “Towards a Historical Notion of ‘Turing—the Father of Computer Science’”, History and Philosophy of Logic, pp. 1-24, 2015. http://dx.doi.org/10.1080/01445340.2015.1082050

Posted on 22 October 2015

Embracing the Algol Effort in Czechoslovakia

H. Durnova, “Embracing the Algol Effort in Czechoslovakia”, Annals of the History of Computing, IEEE, vol. 36, pp. 26-37, 2014. http://dx.doi.org/10.1109/MAHC.2014.51

Posted on 30 September 2015

A Vindication of Program Verification

S. Bringsjord, “A Vindication of Program Verification”, History and Philosophy of Logic, pp. 1-16, 2015. http://dx.doi.org/10.1080/01445340.2015.1065461

Posted on 18 September 2015

Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming

M. Bullynck, “Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming”, History and Philosophy of Logic, pp. 1-13, 2015. http://dx.doi.org/10.1080/01445340.2015.1065459

Posted on 18 September 2015

Hardware, Software, Humans: Truth, Fiction and Abstraction

G. White, “Hardware, Software, Humans: Truth, Fiction and Abstraction”, History and Philosophy of Logic, pp. 1-24, 2015. http://dx.doi.org/10.1080/01445340.2015.1059992

Posts pagination

Previous page Page 1 … Page 3 Page 4 Page 5 … Page 9 Next page

Articles récents

  • Working Group on Data Sharing
  • Next HaPoP in Cambridge, October 25 !
  • HAPOC goes to Japan !
  • In Memoriam of Martin and Virginia Davis
  • Call for Symposia: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology – CLMPST 2023

Commentaires récents

No comments to show.
Proudly powered by WordPress