hapoc2015.sciencesconf.org
3rd International CONFERENCE on the HISTORY and PHILOSOPHY of COMPUTING - Sciencesconf.org
https://hapoc2015.sciencesconf.org/page/onhapoc
HaPoC 2015 : 3rd International CONFERENCE on the HISTORY and PHILOSOPHY of COMPUTING. 8-11 Oct 2015 Pisa (Italy). The third conference on the History and Philosophy of Computing 2015 (HaPoC 2015) is the follow-up conference to the previous events organised in Paris (France) in October 2013 ( HaPoC 2013. And in Gent (Belgium) in November 2011 ( HaPoC. The event is promoted by the DHST Commission for the History and Philosophy of Computing ( www.hapoc.org. This multiform origin of computing (fr.
hapoc2015.sciencesconf.org
3rd International CONFERENCE on the HISTORY and PHILOSOPHY of COMPUTING - Sciencesconf.org
https://hapoc2015.sciencesconf.org/resource/sponsors
HaPoC 2015 : 3rd International CONFERENCE on the HISTORY and PHILOSOPHY of COMPUTING. 8-11 Oct 2015 Pisa (Italy).
dlmpst.org
DLMPST
http://www.dlmpst.org/pages/commissions.php
INTERNATIONAL UNION OF HISTORY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY. DIVISION OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY. The DLMPST has four inter-division commissions shared with DHST:. The commission for History and Philosophy of Computing. The International Association for Science and Cultural Diversity. The DHST-DLMPST Joint Commission (JC),. The Inter-Divisional Teaching Commission. In addition to that, there are two DLMPST Commissions:. The commission on Arabic Logic and.
hapoc2015.sciencesconf.org
3rd International CONFERENCE on the HISTORY and PHILOSOPHY of COMPUTING - Sciencesconf.org
https://hapoc2015.sciencesconf.org/page/callforpapers
HaPoC 2015 : 3rd International CONFERENCE on the HISTORY and PHILOSOPHY of COMPUTING. 8-11 Oct 2015 Pisa (Italy). HaPoC 3: Third International Conference for the History and Philosophy of Computing. October 8-11, 2015. The DHST commission for the history and philosophy of computing ( www.hapoc.org. Is happy to announce the third HAPOC conference. History and Philosophy of Computation (interpretation of the Church-Turing thesis; models of computation; logical/mathematical foundations of computer science; ...
calcul.hypotheses.org
Séance du 31 mars, 2016 | Histoire et Philosophie de l'informatique
http://calcul.hypotheses.org/187
Histoire et Philosophie de l'informatique. Séance du 31 mars, 2016. Nous avons le plaisir de vous annoncer la prochaine séance de l’ axe « Histoire et pratique de l’informatique » du séminaire « Réflexions sur les processus de calcul, d’ information et de programmation » qui aura lieu jeudi 31 mars à 16h dans la salle des conférences de l’IHPST (13 rue du Four, Paris; 1er étage). Nous accueillerions:. Université de Bourgogne),. Informatique, se mettent en place depuis le XVIIe siècle. Nous examinerons su...
calcul.hypotheses.org
À propos | Histoire et Philosophie de l'informatique
http://calcul.hypotheses.org/home
Histoire et Philosophie de l'informatique. Bienvenue sur le site web du séminaire Histoire et Philosophie de l’Informatique , organisé par CRIStAL (CNRS, Université de Lille 1), l ’IHPST. IHPST, Université Paris 1 Panthéon-Sorbonne, CNRS, ENS), la MESHS et STL. CNRS, Université de Lille 3). Ce séminaire est organisé dans le cadre du projet de partenariat HEPI, financé par la Maison Européenne des Sciences de l’Homme et de la Société. Qu’est-ce qu’un calcul? Est-ce que la nature calcule? Votre approche de...
calcul.hypotheses.org
Exposés de Cardone et Lassègue | Histoire et Philosophie de l'informatique
http://calcul.hypotheses.org/182
Histoire et Philosophie de l'informatique. Exposés de Cardone et Lassègue. La troisième séance de l’axe 1 donnera deux points de vue différents sur l’aspect « formel » de l’informatique. Felice Cardone discutera des influences moins évidents des travaux de Haskell B. Curry sur le développement des langages de programmation. Les slides de son exposé sont disponible ici. Pour plus de détails. Troisième séance de 16 mars 2016. Séance du 31 mars, 2016. Séance de 8 mars. Séance de 23 février. Accéder a...
calcul.hypotheses.org
Troisième séance de 16 mars 2016 | Histoire et Philosophie de l'informatique
http://calcul.hypotheses.org/175
Histoire et Philosophie de l'informatique. Troisième séance de 16 mars 2016. STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661). Università degli Studi di Torino ),. From Curry to Haskell: Syntactical insights at the confluence of logic, algebra and programming. Institut Marcel Mauss-EHESS),. Mécanisme et écriture; les racines culturelles du calcul. Deuxième séance 25 Février. Exposés de Cardone et Lassègue. Séance de 8 mars. Séance de 23 février. Séance de 1 février. S'abonner à la L...