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
*
8 + 4 =
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
HaPoC-6: Second CfA
HaPoC 2021: Call for Abstracts
HaPoC Virtual Special Session at CiE2020
Pages
…
…
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...
Biblio
Found 1 results
Filters:
Author
is
Selmer Bringsjord
[Clear All Filters]
2015
S. Bringsjord
,
“
A Vindication of Program Verification
”
,
History and Philosophy of Logic
, pp. 1-16, 2015.
