lists.rwth-aachen.de
Sign In Sign Up
Manage this list Sign In Sign Up

Keyboard Shortcuts

Thread View

  • j: Next unread message
  • k: Previous unread message
  • j a: Jump to all threads
  • j l: Jump to MailingList overview

finite-model-theory

Thread Start a new thread
Download
Threads by month
  • ----- 2025 -----
  • May
  • April
  • March
  • February
  • January
  • ----- 2024 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2023 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2022 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2021 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2020 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2019 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2018 -----
  • December
  • November
  • October
  • September
  • August
  • July
finite-model-theory@lists.rwth-aachen.de

February 2020

  • 17 participants
  • 21 discussions
Con­fer­ence on Er­win Engeler’s 90th birth­day and Ernst Specker’s cen­ten­ary
by Johann A. Makowsky 05 Feb '20

05 Feb '20
https://math.ethz.ch/news-and-events/events/conferences-and-workshops/2020/… Celebrating and commemorating Main con­tent Con­fer­ence on Er­win Engeler’s 90th birth­day and Ernst Specker’s cen­ten­ary 21–22 Feb­ru­ary 2020 ETH Zürich, HG G 19.1 In Feb­ru­ary 2020 will be Ernst Specker’s cen­ten­ary and Er­win Engeler’s 90th birth­day. The An­nual Meet­ing 2020 of the Swiss So­ci­ety for Lo­gic and Philo­sophy of Sci­ence will cel­eb­rate these two great and big birth­days. Suc­ceed­ing Paul Bernays, these two prom­in­ent sci­ent­ists from Zurich had a sus­tain­able im­pact on math­em­at­ical lo­gic and its re­la­tion to philo­sophy and in­form­at­ics in the second half of the 20th cen­tury. The goal of the con­fer­ence is to re­call the work of those two great Swiss lo­gi­cians and to point to its con­tinu­ing sig­ni­fic­ance and ef­fect­ive­ness. As this work is at the in­ter­face between math­em­at­ics, lo­gic, philo­sophy, in­form­at­ics and phys­ics, the con­fer­ence will be of spe­cial in­terest for re­search­ers and stu­dents in those dif­fer­ent sci­entific dis­cip­lines. This con­fer­ence is sup­por­ted by the Swiss Academy of Sci­ences as well as by the Swiss Math­em­at­ical So­ci­ety. Or­gan­izers Ger­hard Jäger (Berne Uni­ver­sity), Re­in­hard Kahle (Tübin­gen Uni­ver­sity), Gio­vanni Som­maruga (ETH Zürich) Speak­ers Titles and ab­stracts (PDF, 78 KB) In hon­our of Er­win Engeler and Ernst Specker Fri­day 21.2.2020 09.35–10.20 Stathis Zachos (Athens) 10.20–11.05 Erich Grädel (Aachen) 11.05–11.50 An­gus Macintyre (Lon­don) Er­win Engeler’s an­gels Fri­day 21.2.2020 13.30–14.15 Karl Aberer (Lausanne) 14.15–15.00 Wolfgang Küchlin (Tübin­gen) 15.30–16.15 Ro­man Mäder (Zürich) 16.15–17.00 Preda Mi­hailescu (Göttin­gen) 17.00–17.45 Beat Brüderlin (Ilmenau) Ernst Specker re­loaded Sat­urday 22.2.2020 09.30–10.15 Janos Makowsky (Haifa) 10.15–11.00 Jürg Fröhlich (Zürich) 11.00–11.45 Stefan Wolf and Arne Hansen (Berne/Lugano) Ad­di­tional In­form­a­tion Department of Mathematics Logo Swiss academy of sciences logo Swiss Mathematical Society logo Con­tact ETH Zurich Pro­fes­sur für Philo­sophie Prof. Dr. Giovanni Sommaruga CLD C 6 Clausi­usstrasse 37 8092 Zürich Switzer­land +41 44 632 08 92 E-mail -- Prof. J.A. Makowsky Faculty of Computer Science Technion - Israel Institute of Technology Haifa 32000 http://www.cs.technion.ac.il/~janos
1 0
0 0
  • ← Newer
  • 1
  • 2
  • 3
  • Older →

HyperKitty Powered by HyperKitty version 1.3.12.