HaPoC

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

[Computing History @computermuseum]

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

[Giuseppe Primiero @gprimiero]

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.

[Philippos Papayannopoulos @PhilPapag]

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.

[Ramón Alvarado @ramonalvaradoq]

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.

[Giuseppe Primiero @gprimiero]

@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 Uncertainty Computation and Information @LogicMilano]

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 @HaPoComputing]

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

[HaPoC @HaPoComputing]

In Memoriam of Martin and Virginia Davis

https://t.co/l4CKJU9tO9

[HaPoC @HaPoComputing]

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

[Giuseppe Primiero @gprimiero]

@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

[Tomas Petricek (find me on BlueSky) @tomaspetricek]

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

[Turing Centre Zurich @TuringCentre]

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

[mate szabo @szabo__mate]

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

[Logic Uncertainty Computation and Information @LogicMilano]

@LaStatale @LaStataleFilo And your useful reminder that @gprimiero is hiring a postdoc researcher for the project @BRIO_PRIN details and deadline https://t.co/LHD8OW5Z4U

[Jacopo Tagliabue @jacopotagliabue]

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

[Association CiE @AssociationCiE]

#CiE2022 #day5 Special Sessions:

- Constructive and reverse mathematics
- Reachability problems
- @HaPoComputing Computing Language: Love Letters, Large Models and NLP

https://t.co/t4QYHGN1Jz

[HaPoC @HaPoComputing]

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

[BRIO @BRIO_PRIN]

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

[mate szabo @szabo__mate]

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

[BRIO @BRIO_PRIN]

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