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
*
5 + 3 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.
News
Post-doc in the project DEMaIn
PROGRAMme spring workshop: Machines
Call for joint PhD scholarship on history and/or philosophy of computing (Université de Lille and University of Kent)
CfP: THE SOCIETAL AND ETHICAL DIMENSIONS OF COMPUTER SIMULATIONS
CfP HFM19
HaPoC Events
HaPoC in Brno - registration is now open
Call for nominations HaPoC council and motions
Final reminder CfP HaPoC-4, Brno
Pages
« first
‹ previous
…
…
next ›
last »
Recent Publications
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
Time and activity in Unix
More...
Publications
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
The Science of Computing -- Shaping a Discipline
Submitted by
admin
on Fri, 12/19/2014 - 13:41
M. Tedre
,
The Science of Computing -- Shaping a Discipline
. CRC Press - Taylor & Francis Group, 2015.
Read more
about The Science of Computing -- Shaping a Discipline
Log in
or
register
to post comments
Google Scholar
Pages
« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »
