Conference in honor of Saharon Shelah’s 80th birthday

July 14 and 15, 2025, at TU Wien, Austria

No satisfaction guaranteed.

S. Shelah in 2015
S. Shelah in 2015. © A. Roslanowski CC BY-SA 2.5


This conference is preceeded by the Logic Colloquium and followed by the VOrST.

Schedule

See also the Google calendar, and the version with abstracts.

Monday July 14: Model Theory Day
08:30–09:10Registration (at seminar room)
09:20–09:50Boris ZilberTBA
10:00–10:30Itay KaplanExistence over a predicate
10:30–11:10Coffee break (at lecture hall)
11:10–11:40Artem ChernikovExternally definable groups
11:50–12:20Chris LaskowskiEquivalents of NOTOP
(break)
13:40–14:10John BaldwinWhen is an $\aleph_1$-categorical $L_{\omega_1,\omega}$-sentence $\omega$-stable?
14:20–14:35Gregory CherlinLaudatio
14:40–15:10Saharon Shelah
15:10–15:50Coffee break (at lecture hall)
15:50–16:20Pierre SimonOn expansions of linear orders and NIP
16:30–17:00Thomas ScanlonTilting as a bi-interpretation
17:10–17:40Maryanthe MalliarisTBA
18:00–21:00Conference dinner (invitation only)
Tuesday July 15: Set Theory Day
09:20–09:50Mohammad GolshaniQuestions that haunt my nights, while Shelah might answer by dawn
10:00–10:30Gianluca PaoliniClassifications problems in abelian group theory
10:30–11:10Coffee break (at lecture hall)
11:10–11:25Tomek BartoszynskiLaudatio
11:30–12:00Saharon Shelah
(break)
13:20–13:50Assaf RinotMarginalia to [Sh:365]
14:00–14:30Moti GitikTBA
14:40–15:10Stevo TodorcevicTBA
15:10–15:50Coffee break (at lecture hall)
15:50–16:20Jerome KeislerProbability theory with continuous model theory
16:30–17:00Justin MooreThe second to last word on the consistency of the five element basis for uncountable linear orders
17:10–17:40Matt ForemanTBA

Locations (cf list of rooms)

With the exception of Tuesday morning (talks and coffee break), everything happens in the TU Freihaus.

Talks:
  • Monday morning and afternoon, Tuesday afternoon: FH HS1 (red, 1st floor)
  • Tuesday morning: Hauptgebäude HS8
Coffee breaks:
(10:30 and 15:10)
Same as talks.
Additional coffee: Most of the times there should be coffee, juice and cookies in the Seminarraum 05 (green, 5th floor).
Registration:
Conference dinner:
(by invitation only)
Cafe Schrödinger
Workspace: The following rooms (all with blackboards) are available for discussions or collaboration (contact an organizer if you find the rooms locked):

Speaker

List of participants


Organizers: Martin Goldstern and Jakob Kellner

The conference, The workshop
Last update: 2025-07-11