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 Sciencecall_made 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ägercall_made (Berne University), external pageReinhard Kahlecall_made (Tübingen University), Giovanni Sommaruga (ETH Zürich)
Speakers
DownloadTitles and abstracts (PDF, 78 KB)vertical_align_bottom
In honour of Erwin Engeler and Ernst Specker
Friday 21.2.2020
09.35–10.20 Stathis Zachos (Athens)
Downloadslides (PDF, 8 MB)vertical_align_bottom
10.20–11.05 Erich Grädel (Aachen)
Downloadslides (PDF, 196 KB)vertical_align_bottom
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)vertical_align_bottom
14.15–15.00 Wolfgang Küchlin (Tübingen)
Downloadslides (Boolean) (PDF, 664 KB)vertical_align_bottom | Downloadslides (SAT) (PDF, 1.6 MB)vertical_align_bottom
15.30–16.15 Roman Mäder (Zürich)
16.15–17.00 Preda Mihailescu (Göttingen)
Downloadslides (Charm) (PDF, 260 KB)vertical_align_bottom | Downloadslides (Kummer) (PDF, 6.3 MB)vertical_align_bottom
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)vertical_align_bottom
10.15–11.00 Jürg Fröhlich (Zürich)
Downloadslides (PDF, 10.7 MB)vertical_align_bottom
11.00–11.45 Stefan Wolf and Arne Hansen (Berne/Lugano)
Downloadslides (German) (PDF, 308 KB)vertical_align_bottom | Downloadspeach (German) (PDF, 121 KB)vertical_align_bottom