HaPoComputing's profile picture. History and Philosophy of Computing: inter-division commission of the DHST and @dlmpst_iuhpst of the IUHPST

HaPoC

@HaPoComputing

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

HaPoC 님이 재게시함

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

computermuseum's tweet image. 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

HaPoC 님이 재게시함

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.


HaPoC 님이 재게시함

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.

PhilPapag's tweet image. 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.
PhilPapag's tweet image. 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.
PhilPapag's tweet image. 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.
PhilPapag's tweet image. 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.

HaPoC 님이 재게시함

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.


HaPoC 님이 재게시함

@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


HaPoC 님이 재게시함

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

LogicMilano's tweet image. 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

HaPoComputing's tweet image. 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


HaPoC 님이 재게시함

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


HaPoC 님이 재게시함

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


HaPoC 님이 재게시함

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

TuringCentre's tweet image. 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

HaPoC 님이 재게시함

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

szabo__mate's tweet image. 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
szabo__mate's tweet image. 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
szabo__mate's tweet image. 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

HaPoC 님이 재게시함

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…


HaPoC 님이 재게시함

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

jacopotagliabue's tweet image. "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!

HaPoC 님이 재게시함

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


HaPoC 님이 재게시함

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…


HaPoC 님이 재게시함

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

szabo__mate's tweet image. 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
szabo__mate's tweet image. 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
szabo__mate's tweet image. 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
szabo__mate's tweet image. 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

HaPoC 님이 재게시함

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


Loading...

Something went wrong.


Something went wrong.