History and Philosophy of Computing: inter-division commission of the DHST and @dlmpst_iuhpst of the IUHPST

Joined December 2013
79 Photos and videos
HaPoC retweeted
Tomorrow is our last day of opening before the big day... join us for some fabulous festive family fun and grab a last-minute present while you're here! #Cambridge
4
3
1,536
HaPoC retweeted
The 7th HaPoC Conference kicks off tomorrow. Find more details at hapoc2023.sciencesconf.org/. During one of the keynote presentations, I will delve into the inception and growth of HaPoC, with an exploration of several topics in the Philosophy of Computing close to my heart.

2
8
363
HaPoC retweeted
The 17th #CLMPST in Buenos Aires is about to end. Here are some photos from the @HaPoComputing symposium on understanding and defining algorithms. Four amazing talks by Ksenia Tatarchenko, Thomas Seiller @SeillerThomas, Gregory Chaitin, and Santiago Figueira.
1
4
8
655
HaPoC retweeted
My book "Simulating Science: Computer Simulations as Scientific Instruments" is now **in production** as part of the Synthese Library series, which I consider to be the best venue for work in the philosophy of science and epistemology. Very proud to say the least.
3
32
3,794
HaPoC retweeted
Replying to @LaStatale
@LaStatale @unimib and @unipv launch this year a Joint Master’s Degree in #Human-Centered #Artificial #Intelligence! For essential information about objectives, career prospects and admissions requirements see hcai.cdl.unimi.it/en #ai #legal #law #neurosciences #humanities

6
2
383
Logic Colloquium 2023 is approaching! Registrations are still open, early bird deadline 1st of May. See the programme and list of invited speakers and special sessions at lc2023.unimi.it/ Now also a fantastic poster to share! #LC2023 #ASL #logic
6
12
1,205
16 Feb 2023
HaPoC is back! The 7th International Conference on the History and Philosophy of Computing will take place in Warsaw (Poland), 18-20 October 2023! Deadline for Abstracts April 30, 2023. All details at hapoc2023.sciencesconf.org/
9
14
2,204
11 Jan 2023
In Memoriam of Martin and Virginia Davis hapoc.org/in-memoriam-of-mar…

4
2
412
9 Oct 2022
Call for Symposia: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology - CLMPST 2023 @DLMPST_IUHPST hapoc.org/node/352

10
8
HaPoC retweeted
Thanks for this mention. I join @tomaspetricek in suggesting an overview of all @HaPoComputing events to have an overview in recent works done in the are of the philosophy of Computing, including but not limited to software
1
1
4
Replying to @hillelogram
I'm honoured to be mentioned, but let me add the whole @HaPoComputing community. Check out people who presented at the HaPoC and HaPoP symposia. See shift-society.org/hapop5/ and hapoc2021.sciencesconf.org/ and hapoc.org/ for more links...
1
6
HaPoC retweeted
The Turing Centre’s lecture series “Images of Computing” is starting this Monday @ETH, with great invited speakers: @gprimiero, @PTheisohn, @DMerigoux, @pablojensenlyon, Gilles Dowek, Nadia Mazouz and Heini Wernli More info at bit.ly/3SnIILY
1
8
14
HaPoC retweeted
The Hungarian cybernetic ladybug had landed in oxford! I can't wait to see it roam around in the @bodleianlibs in our #ImaginingAI exhibit this coming Saturday @UHMMOxford @dcbrock @HaPoComputing @tastarte
1
3
9
And your useful reminder that @gprimiero is hiring a postdoc researcher for the project @BRIO_PRIN details and deadline sites.unimi.it/brio/postdoc-…

4
4
HaPoC retweeted
"Love Letters, Large Models and #NLP": what's not to like? It was an honor to share my thoughts on #gpt3, #dalle2 and the quest for #semantics at #CiE2022. Thanks @AssociationCiE @HaPoComputing @gprimiero and all the organizers and participants for a great day!
3
5
HaPoC retweeted
#CiE2022 #day5 Special Sessions: - Constructive and reverse mathematics - Reachability problems - @HaPoComputing Computing Language: Love Letters, Large Models and NLP cs.swansea.ac.uk/cie2022/pro…

1
1
14 Jul 2022
This afternoon 3:30pm CEST at #CiE2022 @AssociationCiE Part1 of the #HaPoC Special Session on "Computing Language: Love Letters, Large Models and NLP" with @jacopotagliabue and Mael Pegny, Join us, link available at cs.swansea.ac.uk/cie2022/pro…

3
7
HaPoC retweeted
12 Jul 2022
Two Postdoc Positions open within the #BRIO Project: 1 in Logic @LogicMilano with @gprimiero and 1 in Logic and Philosophy of Science @META_PoliMi with @chiffidaniele and Viola Schiaffonati. Details and deadlines sites.unimi.it/brio/open-pos…

11
7
HaPoC retweeted
making a video of Jevons' logical piano at @HSMOxford for our upcoming #ImagineAI exhibit at @bodleianlibs in September for more info about the exhibit visit maths.ox.ac.uk/node/60729 about the piano see David Dunning's computerhistory.org/blog/log… #historyoflogic #historyofcomputing
1
2
11
HaPoC retweeted
1 Jul 2022
PostDoc position in Logic within the #BRIO Project, hosted at @LogicMilano @LaStataleFilo to work on formal models and verification of #bias and #risk in #AI with @gprimiero. Details available at sites.unimi.it/brio/open-pos… #Deadline 09/09/2022

6
4