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 bit.ly/3SnIILY
Turing Centre Zurich retweeted
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.
Turing Centre Zurich retweeted
Call for Symposia: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology - CLMPST 2023 @DLMPST_IUHPST
hapoc.org/node/352
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 bit.ly/3SnIILY
Turing Centre Zurich retweeted
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 academic.oup.com/book/36767 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 bit.ly/3SnIILY
Turing Centre Zurich retweeted
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
sites.google.com/view/tdphim…
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
Mireille Hildebrand’s @mireillemoret keynote lecture from #HaPoC6 #HaPoComputing @TuringCentre: „Written and coded ‘speech acts’. Never the twain shall meet?“
video.ethz.ch/events/2021/ha…
Watch now Thomas Haigh’s keynote speech from #HaPoC6 @HaPoComputing @TuringCentre: „Becoming Universal: A New History of Modern Computing“
video.ethz.ch/events/2021/ha…
Slides from #HaPoC6 @HaPoComputing @TuringCentre now online! A happy new year to all our attendees, both online and at home!
hapoc2021.sciencesconf.org/r…
Turing Centre Zurich retweeted
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)
sites.google.com/view/exunma…
Turing Centre Zurich retweeted
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: shift-society.org/hapop5/
Turing Centre Zurich retweeted
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
hapoc.org/node/36
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
3rd Keynote @HaPoComputing: The Turing Award Barbara Liskov!
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
Turing Centre Zurich retweeted
#HaPoC6 @TuringCentre Keynote by @ThomasHaigh on Becoming universal: A new History of Modern Computing
Turing Centre Zurich retweeted
#HaPoC6 @TuringCentre Session6 C.Flury and R.Guerrero on East German and Swedish State-Mandate Educational Computer in the 80s-90s














