Skip to main content
Home
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

  • 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.
1 + 0 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.

News

Grants for externally organised Events 2020
First CfP HaPoP-5, 27 may 2020, Paris
Post-Doc (Tenure Track) in Applied Ethics
Simulations Special Issue - THE SOCIETAL AND ETHICAL DIMENSIONS OF COMPUTER SIMULATIONS [DEADLINE EXTENSION]
Post-doc in the project DEMaIn

HaPoC Events

HaPoC5: Special Issue
workshop Formalization of proof, Formalization of programs, 18-19 december 2019, Paris
HaPoC5: Programme and Registration

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 M. Carlé  [Clear All Filters]
In Press
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. In Press.