Thursday, 10:00-11:30, seminar room Schloß Hagenberg. The first talk will be on March 16. Changes are still possible.
The seminar deals generally with axiomatic questions in set theory (what axioms are needed to prove what, indepedence results, ...), but also with issues like large cardinals. The first talks will deal with the constructive universe, and other topics will be decided later.
If you need a grade, it will be based on presentations to be given in the seminar.