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 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.

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
hcai.cdl.unimi.it/en

#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 lc2023.unimi.it

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

hapoc2023.sciencesconf.org

In Memoriam of Martin and Virginia Davis

hapoc.org/in-memoriam-of…

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

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

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...

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

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

And your useful reminder that @gprimiero is hiring a postdoc researcher for the project @BRIO_PRIN details and deadline sites.unimi.it/brio/postdoc-i…

"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

cs.swansea.ac.uk/cie2022/progra…

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/progra…

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-posi…

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/logical-p…

#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 sites.unimi.it/brio/open-posi…
#Deadline 09/09/2022