Calendar

23AprilMonday, 12:00Seminar, Theoretical computer science Daniela Ritirc, Johannes Kepler Universität Linz Daniela Ritirc: On the problem of arithmetic circuit verification using computer algebra

23AprilMonday, 13:15  15:00Topological Activities Alexander Berglund, SU Alexander Berglund: Rational algebraic Ktheory of simply connected spaces and cyclic homology

23AprilMonday, 15:15Seminar, Probability Theory Tyler Helmuth (Bristol) Tyler Helmuth: Recurrence of the vertexreinforced jump process in two dimensions