HaPoC @HaPoComputing

History and Philosophy of Computing: inter-division commission of the DHST and @dlmpst_iuhpst of the IUHPST hapoc.org Joined December 2013

Tweets

396
Followers

295
Following

43
Likes

123

Computing History @computermuseum

2 years ago

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

0 4 3 2K 0

Download Image

Giuseppe Primiero @gprimiero

2 years ago

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.

0 2 8 357 0

Philippos Papayannopoulos @PhilPapag

2 years ago

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 644 0

Download Image

Ramón Alvarado @ramonalvaradoq

2 years ago

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.

0 3 32 4K 1

Giuseppe Primiero @gprimiero

2 years ago

@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

0 7 3 376 0

Logic Uncertainty Computation and Information @LogicMilano

2 years ago

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

0 6 12 1K 1

Download Image

HaPoC @HaPoComputing

3 years ago

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

0 9 14 2K 1

Download Image

HaPoC @HaPoComputing

3 years ago

In Memoriam of Martin and Virginia Davis hapoc.org/in-memoriam-of…

0 4 2 409 0

HaPoC @HaPoComputing

3 years ago

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

0 10 8 0 1

Giuseppe Primiero @gprimiero

3 years ago

@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

1 1 4 0 0

Tomas Petricek (find me on BlueSky) @tomaspetricek

3 years ago

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

0 1 7 0 5

Turing Centre Zurich @TuringCentre

3 years ago

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 0 3

Download Image

mate szabo @szabo__mate

3 years ago

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

Download Image

Logic Uncertainty Computation and Information @LogicMilano

3 years ago

@LaStatale @LaStataleFilo 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…

0 4 4 0 0

Jacopo Tagliabue @jacopotagliabue

3 years ago

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

0 3 5 0 1

Download Image

Association CiE @AssociationCiE

3 years ago

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

0 1 1 0 0

HaPoC @HaPoComputing

3 years ago

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…

0 3 7 0 0

BRIO @BRIO_PRIN

3 years ago

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…

0 11 8 0 1

mate szabo @szabo__mate

3 years ago

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

1 2 11 0 0

Download Image

BRIO @BRIO_PRIN

3 years ago

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