For the next session of our “Images of Computing” Lecture Series, we will welcome @pablojensenlyon, with a lecture on “Deep Earnings: The Surprising Link between Neural Networks and Neoliberalism”. Join us in person or on Zoom!
More info at https://t.co/LQv1ovHQoN
Abend-Vorlesung von @PTheisohn zum Thema ‚Computing Literature‘. Tolles Thema; top-aktuell und hochinteressant.
Mache mir den ganzen Nachmittag Sorgen, ob ich in einem Saal mit nur 76 Plätzen als unangemeldeter Besucher Platz finden werde…sagen wir mal: Glück gehabt.
Call for Symposia: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology - CLMPST 2023 @DLMPST_IUHPST
https://t.co/FBDRu8jIcf
For the next session of our “Images of Computer” Lecture Series, we will welcome @PTheisohn, with a lecture on “Computing Literature: The Difference Engine as Written Object and Writing Subject”. Join us in person or on Zoom!
More info at https://t.co/LQv1ovHQoN
On my way to @TuringCentre to open the Lecture Series "Images of Computing" with a talk on "Computing in Perspective" based on my "On the Foundations of Computing" @OUPAcademic https://t.co/PWjq5DZEJU I will be followed by a great lineup of other speakers. Looking forward to it!
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
I am very happy that TDPhiMa 3: Philosophical and Linguistic Approaches to Computational Mathematics starts
co-organized with Bernhard Fisseni, Juan Luis Gastaldi @gastaldi_gianni , Deborah Kant and Bernhard Schröder
https://t.co/nnJb7KVKWy
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
https://t.co/BNJv8Ib76W
@LogicMilano@HaPoComputing
Watch now Thomas Haigh’s keynote speech from #HaPoC6@HaPoComputing@TuringCentre: „Becoming Universal: A New History of Modern Computing“
https://t.co/elOIB7a0nf
Call for registration:
EXUNMA: Explanation and understanding with(in) mathematics - WLD 2022 in Brussel (virtual)
Sunday - January 16, 2022
A Zoom meeting to celebrate the World Logic Day 2022 (which is actually two days earlier)
https://t.co/pwDm8MODrL
First CfP HaPoP-5
*HAPOP-5*
/Fifth Symposium on the History and Philosophy of Programming (hybrid)/
13 June 2022, Lille, France
Maison Européenne des Sciences de l'Homme et de la Société
website: https://t.co/xFOxkpnQt5
The HaPoC Council (2021-2023) has elected its new Officers:
Juan Luis Gastaldi (President) @gastaldi_gianni
Arianna Borrelli (President Elect)
Henri Stephanou (Treasurer)
Giuseppe Primiero (Former President) @gprimiero
https://t.co/C2CQdAJve2
Last talk of #HaPoC6, the keynote by Juliette Kennedy, “Semantic content, the Incompleteness Theorems, and Gödel’s reception of Turing’s model of computability” @HaPoComputing
Ekiem Barbier and Guilhem Causse, film directors of Knit’s Island, following Chris Holland’s talk at #HaPoC6 online in the streets of Zurich ! @HaPoComputing