Celebrating and commemorating

Conference on Erwin Engeler’s 90th birthday and Ernst Specker’s centenary

21–22 February 2020

ETH Zürich, HG G 19.1

In February 2020 will be Ernst Specker’s centenary and Erwin Engeler’s 90th birthday. The Annual Meeting 2020 of the external page Swiss Society for Logic and Philosophy of Science will celebrate these two great and big birthdays. Succeeding Paul Bernays, these two prominent scientists from Zurich had a sustainable impact on mathematical logic and its relation to philosophy and informatics in the second half of the 20th century.

The goal of the conference is to recall the work of those two great Swiss logicians and to point to its continuing significance and effectiveness. As this work is at the interface between mathematics, logic, philosophy, informatics and physics, the conference will be of special interest for researchers and students in those different scientific disciplines.

This conference is supported by the Swiss Academy of Sciences as well as by the Swiss Mathematical Society.

Organizers

external page Gerhard Jäger (Berne University), external page Reinhard Kahle (Tübingen University), Giovanni Sommaruga (ETH Zürich)

Speakers

Download Titles and abstracts (PDF, 78 KB)

In honour of Erwin Engeler and Ernst Specker

Friday 21.2.2020

09.35–10.20 Stathis Zachos (Athens)
Download slides (PDF, 8 MB)

10.20–11.05 Erich Grädel (Aachen)
Download slides (PDF, 196 KB)

11.05–11.50 Angus Macintyre (London)

Erwin Engeler’s angels

Friday 21.2.2020

13.30–14.15 Karl Aberer (Lausanne)
Download slides (PDF, 3.2 MB)

14.15–15.00 Wolfgang Küchlin (Tübingen)
Download slides (Boolean) (PDF, 664 KB) | Download slides (SAT) (PDF, 1.6 MB)

15.30–16.15 Roman Mäder (Zürich)

16.15–17.00 Preda Mihailescu (Göttingen)
Download slides (Charm) (PDF, 260 KB) | Download slides (Kummer) (PDF, 6.3 MB)

17.00–17.45 Beat Brüderlin (Ilmenau)

Ernst Specker reloaded  

Saturday 22.2.2020

09.30–10.15 Janos Makowsky (Haifa)
Download slides (PDF, 1.3 MB)

10.15–11.00 Jürg Fröhlich (Zürich)
Download slides (PDF, 10.7 MB)

11.00–11.45 Stefan Wolf and Arne Hansen (Berne/Lugano)
Download slides (German) (PDF, 308 KB) | Download speach (German) (PDF, 121 KB)

JavaScript has been disabled in your browser