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

The 7th HaPoC Conference kicks off tomorrow. Find more details at https://t.co/cwZVzfxNMZ. 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.

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.

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.

@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 https://t.co/HV8CVrA0LN #ai #legal #law #neurosciences #humanities

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 https://t.co/IicObP82xJ Now also a fantastic poster to share! #LC2023 #ASL #logic

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 https://t.co/4VKXZCSKg1

In Memoriam of Martin and Virginia Davis https://t.co/l4CKJU9tO9

Call for Symposia: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology - CLMPST 2023 @DLMPST_IUHPST https://t.co/FBDRu8jIcf

@scmbradley @hillelogram 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

@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 https://t.co/VGa8oJfRcc and https://t.co/maVZsP20mM and https://t.co/31t2OITvl2 for more links...

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 https://t.co/DWnV5ihHOc

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

@LaStatale @LaStataleFilo And your useful reminder that @gprimiero is hiring a postdoc researcher for the project @BRIO_PRIN details and deadline

"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!

#CiE2022 #day5 Special Sessions: - Constructive and reverse mathematics - Reachability problems - @HaPoComputing Computing Language: Love Letters, Large Models and NLP https://t.co/t4QYHGN1Jz

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

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

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 https://t.co/JOhXFVYDLd about the piano see David Dunning's https://t.co/Kkw7cYbHcB #historyoflogic #historyofcomputing

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 https://t.co/jTIBdESFLo #Deadline 09/09/2022