Turing Centre Zurich

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

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

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

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/tdphima3/…

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-teachin… @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/resource/page/…

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

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/

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

#HaPoC6 @TuringCentre @LucPellissier and @gastaldi_gianni closing words! Till the next HaPoC event!

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

@HaPoComputing Conference Dinner! #HaPoC6

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

#HaPoC6 @TuringCentre Keynote by @ThomasHaigh on Becoming universal: A new History of Modern Computing