23.10.2025 15:00
 

TBA

I. Smythe (U of Winnipeg, CA)

26.06.2025 15:00
 

Two complexity results

Z. Vidnyánszky (Eötvös Loránd U, Budapest, HU)

12.06.2025 15:00
 

The model theory of the curve graph

V. Disarlo (IST, Klosterneuburg)

05.06.2025 15:00
 

Cohomology of amalgamation diagrams

J. Zapletal (U of Florida, Gainesville, US)

22.05.2025 15:00
 

Semigroups Of Generalised Symmetries

Y. Peresse (U of Hertfordshire, UK)

15.05.2025 15:00
 

Around affine logic

I. Ben-Yaacov (U Claude Bernard Lyon 1, FR)

08.05.2025 15:00
 

The Quantified Argument Calculus: Introduction and Research Directions

H. Ben-Yami (Central European U, Vienna)

10.04.2025 15:00
 

Constant power maps on Hardy fields and transseries

E. Kaplan (Max Planck Institute for Mathematics, Bonn, DE)

03.04.2025 15:00
 

Paradoxical sets and the Axiom of Choice

A. Lihuen Fatalini (U Münster, DE)

27.03.2025 15:00
 

On the global linear Zarankiewicz problem

P. Eleftheriou (U Leeds, UK)

20.03.2025 15:00
 

Meagre and Null Ideals for Uncountable Cardinals

T. van der Vlugt (TU Wien)

13.03.2025 15:00
 

Classification of 3-manifolds

M. Iannella (TU Wien)

06.03.2025 15:00
 

Likely Intersections

S. Eterović (U Wien)

16.01.2025 15:00
 

Discrete and continuous translational monotilings

J. Grebik (Masaryk U, Brno, CZ)

09.01.2025 15:00
 

Infinite structural Ramsey theory and logic

N. Dobrinen (U Notre Dame du Lac, US)

05.12.2024 15:00
 

Basis for Uncountable Linear Orders

W. Chan (TU Wien)

28.11.2024 15:00
 

Structurable equivalence relations, Borel combinatorics, and countable model theory

R. Chen (U of Michigan, Detroit, US)

21.11.2024 15:00
 

Definable hypergraphs and the Wadge hierarchy

P. Schlicht (U Siena, IT)

14.11.2024 15:00
 

Tame pairs of transseries fields

N. Pynn-Coates (U Wien)

07.11.2024 15:00
 

O-minimal definability and non-definability of the Gamma function

A.L. Padgett (U Wien)

31.10.2024 15:00
 

Continuous logic and equivalence relations

M. Malicki (U Warsaw, PL)

24.10.2024 15:00
 

Lie groups and o-minimality

A. Onshuus (U de los Andes, Bogotá, CO)

17.10.2024 15:00
 

Intersecting sets in probability spaces and Shelah's classification

A. Chernikov (U of Maryland, College Park, US)

10.10.2024 15:00
 

Corners, Squares and Stability

A. Martin-Pizarro (U Freiburg, DE)

 

03.10.2024 15:00
 

Combinatorial sets of reals

V. Fischer (U Wien)

27.06.2024 15:00
 

Classification Theory and stability over a predicate

A. Usvyatsov (TU Wien)

13.06.2024 15:00
 

How can model theory help understand Hilbert's 16th problem?

P. Speissegger (McMaster U, Hamilton, CA)

06.06.2024 15:00
 

A strong version of Cobham's theorem

P. Hieronymi (U Bonn, DE)

23.05.2024 15:00
 

Centenary of the Menger Conjecture

P. Szewczak (Cardinal Stefan Wyszyński U, Warsaw, PL)

16.05.2024 15:00
 

First-order sentences in random groups

R. Sklinos (Chinese Academy of Sciences, Beijing, CN)

25.04.2024 15:00
 

Banach spaces as metric model-theoretical structures

J. Lopez-Abad (UNED, Barcelona, ES)

18.04.2024 15:00
 

Countable spaces and realcompactness

C. Agostini (TU Wien)

21.03.2024 15:00
 

On some applications of model theory and topological dynamics to additive combinatorics

K. Krupiński (U Wrocławski, PL)

14.03.2024 15:00
 

Projective Fraisse limits of trees

A. Kwiatkowska (U Münster, DE)

07.03.2024 15:00
 

Hilbert polynomials for finitary matroids

E. Kaplan (McMaster U, Hamilton, CA)

25.01.2024 15:00
 

Trees, Transcendence and Quasi-generic reals

Y. Khomskii (Amsterdam U College, NL and U Hamburg, DE)

18.01.2024 15:00
 

The class and dynamics of α-balanced Polish groups

A. Panagiotopoulos (U Wien)

11.01.2024 15:00
 

The Model Theoretic Covering Reflection Property

A. Lietz (TU Wien)

14.12.2023 15:00
 

Galois actions of finitely generated groups rarely have model companions

P. Kowalski (U Wrocławski, PL)

07.12.2023 15:00
 

The unit conjecture and the unique product property

A. Nies (U of Auckland, NZ)

30.11.2023 15:00
 

Sierpiński’s theorem: geometric aspects and definability issues

A. Andretta (U of Turin, IT)

16.11.2023 15:00
 

Iterations with ultrafilter-limits and fam-limits

D. A. Mejía (Shizuoka U, JP)

 

09.11.2023 15:00
 

Structural complexity notions for foundational theories

D. Rossegger (TU Wien)

19.10.2023 15:00
 

Spectra of Computable Models of Strongly Minimal Disintegrated Theories in Rank 1 Languages

S. Lempp (U of Wisconsin, Madison, US)

12.10.2023 15:00
 

Undefinability and Absolute Undefinability

R. Kossak (City U of New York, US)

14.09.2023 13:30
 

Phase transitions for Gödel incompleteness

A. Weiermann (Ghent U, BE)

29.06.2023 15:00
 

Coloring universal pseudotrees

M. Eskew (U Wien)

22.06.2023 15:00
 

Uniform Factoring for Operator Ideals

K. Beanland (Washington & Lee U, US)

15.06.2023 15:00
 

Group dynamics and models of ZF

J. Zapletal (U of Florida, US)

25.05.2023 15:00
 

On Hausdorff limits of images of o-minimal families in real tori

S. Starchenko (U of Notre Dame, US)

04.05.2023 15:00
 

Destroying Guessing Principles

H. Mildenberger (U of Freiburg, DE)

20.04.2023 15:00
 

Homomorphism problems in the infinite context

Z. Vidnyánszky (Eötvös Loránd U, HU)

30.03.2023 15:00
 

Constraint Satisfaction Problems: algebraic and model-theoretic challenges to distinguish the easy from the hard

M. Pinsker (TU Wien)

16.03.2023 15:00
 

Multi topological fields, approximations and NTP2

S. Rideau-Kikuchi (U Paris Diderot, FR)

02.03.2023 15:00
 

Simplicity of automorphism groups of homogeneous structures

K. Tent (U Münster, DE)

26.01.2023 15:00
 

Lang-Weil type bounds in finite difference fields

M. Hils (U Münster, DE)

12.01.2023 15:00
 

Order-preserving Martin's Conjecture

B. Siskind (Carnegie Mellon U, US)

15.12.2022 16:45
 

Martin's Maximum, Woodin's P_max axiom (*), and Cantor's Continuum Problem

R. Schindler (U Münster, DE)

15.12.2022 15:00
 

Abstract Evolution Systems

W. Kubiś (Czech Academy of Sciences, CZ)

24.11.2022 15:00
 

Nonstandard models of the reals and symmetrical completeness

F.-V. Kuhlmann (U of Szczecin, PL)

17.11.2022 15:00
 

The Axiom of Choice and large cardinals

F. Schlutzenberg (U Münster, DE)

10.11.2022 15:00
 

Entire functions and the continuum

J. Schilhan (U of Leeds, GB)

03.11.2022 15:00
 

Covering versus partitioning with Polish spaces

W. Brian (U of North Carolina at Charlotte, US)

06.10.2022 15:00
 

Cardinal characteristics modulo nice ideals on omega

A. Brooke-Taylor (U of Leeds, GB)

30.06.2022 15:00
 

Set theory and coronas of C*-algebras

A. Vignati (U de Paris, FR)

02.06.2022 15:00
 

The metamathematics of \Pi^1_2 sentences

J. Aguilera (TU Wien)

19.05.2022 15:00
 

Axiomatizing Kaufmann Models of Arithmetic in Strong Logics

C. Switzer (U Wien)

28.04.2022 15:00
 

Classes of Functions definable in R_{an,exp}

T. Kaiser (U Passau, DE)

31.03.2022 15:00
 

Small uncountable objects in Banach space theory

D. Sobota (U Wien)

17.03.2022 15:00
 

Forcing and the Separation, the Reduction and the Uniformization Property

S. Hoffelner (U Münster, DE)

10.03.2022 15:00
 

The Interplay of Determinacy, Large Cardinals, and Inner Models

S. Müller (TU Wien)

27.01.2022 15:00
 

The Banach-Tarski paradox, monsters and their gentler cousins

Y. Lodha (U Wien)

13.01.2022 11:30
 

Worlds without Martin's Axiom

V. Torres-Pérez (TU Wien)

16.12.2021 15:00
 

Classification of definable quotients

M. Hils (U Münster; DE)

02.12.2021 15:00
 

The world between aleph1 and continuum: from Martin's Axiom to Cichoń's Maximum

M. Goldstern (TU Wien)

18.11.2021 15:00
 

Compactness at small uncountable cardinals

R. Honzik (Charles U; CZ)

04.11.2021 15:00
 

How geometry became structural

G. Schiemer (U Wien)

21.10.2021 15:00
 

Variations on a theorem of Silver

C. Lambie-Hanson (Czech Academy of Sciences, Prague, CZ)

07.10.2021 15:00
 

Integration with filters

M. Eskew (U Wien)