18. Dez. Logic Colloquium: About Shelah's classification program Vortragende Person/Vortragende Personen: Lasse Vogel 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
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
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
08. Dez. OS Reelle Geometrie und Algebra: Checking nonnegativity of forms via sums of squares, sums of nonnegative circuits and sums of both kinds Vortragende Person/Vortragende Personen: Moritz Schick 13:30 - 15:00 Uhr F426