HaPoC Events

workshop Formalization of proof, Formalization of programs, 18-19 december 2019, Paris

*Workshop announcement*

FORMALIZATION OF PROOFS, FORMALIZATION OF PROGRAMS,

Paris, December, 18-19 2019

Campus Lourcine, 1, rue de la Glacière (RER : Port Royal; Metro, ligne 7 : Les Gobelins; Metro, ligne 6 : Glacière)

Bâtiment 2, Salle 02-Gérard Lyon-Caen.

https://programme.hypotheses.org/ffium-programme-colloquium-formalizatio...

*Mercredi 18 décembre 2019*

HaPoC5: Programme and Registration

The Programme for the 5th Edition of the International Conference on the History and Philosophy of Computing (Bergamo, Italy, 28-30 October 2019) is now available

https://hapoc2019.sciencesconf.org/resource/page/id/3

All authors and audience members can register at

https://hapoc2019.sciencesconf.org/resource/page/id/10

Looking forward to seeing you all in Bergamo!

HAPOC5: Accepted Papers

The list of accepted abstracts for papers to be presented at the 5th International Conference on the History and Philosophy of Computing, to be held in Bergamo 28-30 October 2019, is now available at

https://hapoc2019.sciencesconf.org/resource/page/id/11

You can also register for the Conference at

https://hapoc2019.sciencesconf.org/resource/page/id/10

We hope to see many of you there!

HaPoC5: EXTENDED DEADLINE

The submission deadline for Abstract to the 5th International Conference on the History and Philosophy of computing has been extended. New dates:

Submission deadline: May 13, 2019 (extended)
Notification of acceptance/rejection: June 30, 2019
Conference dates: October 28-30, 2019

HaPoC 2019: 3rd Call for Abstracts

5th International Conference on the History and Philosophy of Computing
28-30 October 2019
Bergamo, Italy
Website: https://hapoc2019.sciencesconf.org
Email: [email protected]

2 HaPoC Symposia at CLMPST2019

The 16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY will be held in Prague (Czech Republic) from 5th to 10th August 2019. The Commission for the History and Philosophy of Computing will contribute to the programme with 2 Symposia:

HaPoC5: 2nd Call for Abstracts

HaPoC 2019: 2nd Call for Abstracts
5th International Conference on the History and Philosophy of Computing
28-30 October 2019
Bergamo, Italy
Website: https://hapoc2019.sciencesconf.org
Email: [email protected]

HaPoC5: First Call for Abstracts

HaPoC 2019: Call for Abstracts

5th International Conference on the History and Philosophy of Computing
28-30 October 2019
Bergamo, Italy
Website: https://hapoc2019.sciencesconf.org
Email: [email protected]

Workshop on Philosophy and Technologies for Simulation

FIRST CALL FOR PARTICIPATION
WORKSHOP ON PHILOSOPHY AND TECHNOLOGIES FOR SIMULATION
22 – 23 November 2018
http://www.pts.deib.polimi.it/

Organised by

Dipartmento di Elettronica Informazione e Bioingegneria -- Politecnico di Milano
Dipartimento di Filosofia -- Universita' Statale di Milano
Department of Computer Science -- Middlesex University London
HLRS - Stuttgart

Supported by

Hardwired at Heart: The Everyday and Extraordinary in 20th Century Czechoslovak Computing

Hardwired at Heart: The Everyday and Extraordinary in 20th Century Czechoslovak Computing

Prague, 16 May 2018

Call for papers & call for participation

Pages