Aktuelle Termine

11. Dez.

OS Complexity Theory, Model Theory, Set Theory: The asymptotic rank conjecture and the set cover conjecture are not both true

Vortragende Person/Vortragende Personen: Petteri Kaski

13:30 - 15:00 Uhr
F420

11. Dez.

Logic Colloquium: Numeric default logic for modeling patterns of moral reasoning

Vortragende Person/Vortragende Personen: Joris Graff

15:15 - 16:45 Uhr
F426

15. Dez.

OS Reelle Geometrie und Algebra: Separating Cones for the SOS and PSD Cones that Fail to be Spectrahedral Shadows

Vortragende Person/Vortragende Personen: Sarah Hess

13:30 - 15:00 Uhr
F 426

18. Dez.

Logic Colloquium: About Shelah's classification program

Vortragende Person/Vortragende Personen: Lasse Vogel

15:15 - 16:45 Uhr
F426

22. Jan.

Logic Colloquium:

Vortragende Person/Vortragende Personen: Martin Fischer

15:15 - 16:45 Uhr

02. Feb.

OS Reelle Geometrie und Algebra

Vortragende Person/Vortragende Personen: Aljaž Zalar

13:30 - 15:00 Uhr
F 426