Skip to main content
Commission for the History and Philosophy of Computing
Main menu
Home
HaPoC Commission
Become a Member
Events & News
Publications
Blog
HaPoC Conference Series
You are here
Home
User login
Username
*
Password
*
Create new account
Request new password
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Math question
*
1 + 0 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.
News
26th DHST Congress goes online
Computing and Programming in Context - Special Issue published
2021 DHST DISSERTATION PRIZE CALL FOR APPLICATIONS
postponing of HAPOP-5, Paris 2020
Grants for externally organised Events in 2021
HaPoC Events
Hardwired at Heart: The Everyday and Extraordinary in 20th Century Czechoslovak Computing
HaPoP4 Programme
HaPoP 2018, Oxford - Call for extended abstracts
Pages
« first
‹ previous
…
…
next ›
last »
Recent Publications
A theory of change for prioritised resilient and evolvable software systems
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions
A Minimalist Epistemology for Agent-Based Simulations in the Artificial Sciences
On Malfunction, Mechanisms and Malware Classification
More...
Publications
Kalmar and Peter: Undecidability as a Consequence of Incompleteness
Submitted by
admin
on Sun, 08/02/2015 - 10:55
M. Szabo
,
“
Kalmar and Peter: Undecidability as a Consequence of Incompleteness
”
,
Computability in Europe
, vol. Beckmann, Mitrana, and Soskova (eds) - Evolving Computability, 11th Conference of CiE, Bucharest, 2015. Springer, pp. 343-352, 2015.
Read more
about Kalmar and Peter: Undecidability as a Consequence of Incompleteness
Log in
or
register
to post comments
Google Scholar
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
Submitted by
admin
on Fri, 07/24/2015 - 11:24
E. G. Daylight
,
“
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
”
,
Journal of Logic and Computation
, vol. 25, pp. 1091-1110, 2015.
Read more
about From mathematical logic to programming-language semantics: a discussion with Tony Hoare
Log in
or
register
to post comments
Google Scholar
DOI
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
Submitted by
admin
on Fri, 07/24/2015 - 11:22
L. De Mol
,
Carlé, M.
, and
Bullynck, M.
,
“
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
”
,
Journal of Logic and Computation
, vol. 25, pp. 1011-1046, 2015.
Read more
about Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
Log in
or
register
to post comments
Google Scholar
DOI
Continuity in Semantic Theories of Programming
Submitted by
admin
on Thu, 07/02/2015 - 09:31
F. Cardone
,
“
Continuity in Semantic Theories of Programming
”
,
History and Philosophy of Logic
, pp. 1-20, 2015.
Read more
about Continuity in Semantic Theories of Programming
Log in
or
register
to post comments
Google Scholar
DOI
Realist Consequence, Epistemic Inference, Computational Correctness
Submitted by
admin
on Thu, 07/02/2015 - 09:29
G. Primiero
,
“
Realist Consequence, Epistemic Inference, Computational Correctness
”
, in
The Road to Universal Logic
,
A. Koslow
and
Buchsbaum, A.
Birkenhauser, Springer, 2015.
Read more
about Realist Consequence, Epistemic Inference, Computational Correctness
Log in
or
register
to post comments
Google Scholar
Computing As Model-based Empirical Science
Submitted by
admin
on Wed, 04/29/2015 - 08:58
P. Fishwick
,
“
Computing As Model-based Empirical Science
”
, in
Proceedings of the 2Nd ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation
, New York, NY, USA, 2014.
Read more
about Computing As Model-based Empirical Science
Log in
or
register
to post comments
Google Scholar
DOI
Constructivity and Computability in Historical and Philosophical Perspective
Submitted by
admin
on Wed, 02/25/2015 - 09:44
J. Dubucs
and
Bourdeau, M.
,
Constructivity and Computability in Historical and Philosophical Perspective
, vol. 34. Springer, 2014.
Read more
about Constructivity and Computability in Historical and Philosophical Perspective
Log in
or
register
to post comments
Google Scholar
DOI
The Tears of Donald Knuth
Submitted by
admin
on Thu, 01/29/2015 - 11:29
T. Haigh
,
“
The Tears of Donald Knuth
”
,
Communications of the ACM
, vol. 58, no. 1, 2015.
Read more
about The Tears of Donald Knuth
Log in
or
register
to post comments
Google Scholar
DOI
What an Algorithm Is
Submitted by
admin
on Tue, 01/13/2015 - 15:59
R. K. Hill
,
“
What an Algorithm Is
”
,
Philosophy & Technology
, pp. 1-25, 2015.
Read more
about What an Algorithm Is
Log in
or
register
to post comments
Google Scholar
DOI
Why Did Computer Science Make a Hero out of Turing?
Submitted by
mbullynck
on Tue, 01/13/2015 - 10:45
M. Bullynck
,
Daylight, E.
, and
De Mol, L.
,
“
Why Did Computer Science Make a Hero out of Turing?
”
,
Communications of the ACM
, In Press.
Read more
about Why Did Computer Science Make a Hero out of Turing?
Log in
or
register
to post comments
Google Scholar
Pages
« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »