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)