@HaPoComputing

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

hapoc.org
Joined December 2013
  • Tweets394
  • Following43
  • Followers285
79Media
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
4
3
1,536
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.
2
8
364
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
664
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.
3
2
31
3,796
Replying to @LaStatale
@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
6
2
383
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
6
12
1,207
Replying to @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
Replying to @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...

HaPoP 2022

Fifth Symposium on the History and Philosophy of Programming

shift-society.org
1
6
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
15
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
1
9
Replying to @LogicMilano @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-…
4
4
"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!
3
5
#CiE2022 #day5 Special Sessions: - Constructive and reverse mathematics - Reachability problems - @HaPoComputing Computing Language: Love Letters, Large Models and NLP cs.swansea.ac.uk/cie2022/pro…
1
1
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-pos…
11
7
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/log… #historyoflogic #historyofcomputing
1
2
2
11
HaPoC retweeted
BRIO@BRIO_PRIN1 Jul 2022
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-pos… #Deadline 09/09/2022
6
1
4
If you think #logic has much to contribute to the new #AI spring, this is the summer school you wanted. If you think otherwise, this is the summer school you needed! Deadline for applications 30 June. (Travel grants available, lake view included.) lais.lakecomoschool.org/
1
13
31
DEADLINE FOR APPLICATIONS EXTENDED to 30/06 Logic for the AI Spring Summer School Lake Como School of Advanced Studies, September 12-16, 2022 lais.lakecomoschool.org/
4
2
Sorry to miss out on meeting with friends and colleagues in person, glad to still participate and contribute remotely to @HaPoComputing 5th symposium on History and Philosophy of Programming shift-society.org/hapop5/ and the final #PROGRAMme Conference programme.hypotheses.org/spr…
1
4
The TCZ supports the organization of the “Logic for the AI Spring” Summer School, at the Lake Como School of Advanced Studies (Sept 12-16) As part of our support, we cover the participation of up to 4 ETH young researchers turing.ethz.ch/events-teachi… @LogicMilano @HaPoComputing
2
5
Load more