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 pageSwiss 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 pageGerhard Jäger (Berne University), external pageReinhard Kahle (Tübingen University), Giovanni Sommaruga (ETH Zürich)

Speakers

DownloadTitles and abstracts (PDF, 78 KB)

In honour of Erwin Engeler and Ernst Specker

Friday 21.2.2020

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

10.20–11.05 Erich Grädel (Aachen)
Downloadslides (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)
Downloadslides (PDF, 3.2 MB)

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

15.3016.15 Roman Mäder (Zürich)

16.15–17.00 Preda Mihailescu (Göttingen)
Downloadslides (Charm) (PDF, 260 KB) | Downloadslides (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)
Downloadslides (PDF, 1.3 MB)

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

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

JavaScript has been disabled in your browser