Previous Forums
Collection of RISC Forums in the past.
- RISC Forum Oct 19, 2009 from 01:30 PM to 01:50 PM — Seminar room,
- Celebration: START price won by Manuel Kauers
- RISC Forum Oct 12, 2009 from 01:30 PM to 01:45 PM — Seminar Room,
- Zsuzsanna Sinka: Self-Introduction; Miroslav Korbelar: Self-Introduction
- RISC Forum Jun 22, 2009 from 01:30 PM to 01:50 PM — RISC seminar room,
- Robert Vajda: Supporting Exploration in Elementary Analysis by Computational, Graphical and Reasoning Tools (PhD Thesis Summary, Internal Defence)
- RISC Forum Jun 15, 2009 from 01:30 PM to 02:30 PM — RISC seminar room,
- Salvador Lucas: From functions to numeric interpretations: mechanizing proofs of termination using numeric algebras
- RISC Forum Jun 08, 2009 from 01:30 PM to 02:00 PM — RISC seminar room,
- Christoph Koutschan: Computer algebra algorithms for d-finite and holonomic functions (internal thesis defense)
- RISC Forum May 25, 2009 from 01:30 PM to 02:00 PM — RISC seminar room,
- Heinrich Rolletschek: Lattice axioms
- RISC Forum May 11, 2009 from 01:30 PM to 02:30 PM — RISC seminar room,
- Dr. Elias Tsigaridas: (Exact) Algebraic Algorithms and (Some) Applications
- RISC Forum Apr 27, 2009 from 01:30 PM to 02:10 PM — RISC seminar room,
- Lena Kartashova: Special functions and Series appearing in Nonlinear Resonance Analysis
- RISC Forum Apr 20, 2009 from 01:30 PM to 02:00 PM — RISC seminar room,
- Anja Korporal: Self-Introduction; Segun Michael Akinwumi: The Journey on Mathematics Skills
- RISC Forum Mar 30, 2009 from 01:30 PM to 02:25 PM — RISC seminar room,
- Zafeirakis Zafeirakopoulos: Self-Introduction; Zsuzsanna Sinka: How to teach Predicate Logic with Theorema; Segun Michael Akinwumi: The Journey on Mathematics Skills
- RISC Forum Mar 23, 2009 from 01:30 PM to 02:00 PM — RISC seminar room,
- Christian Aistleitner: Newsfeeds; Ralf Hemmecke: Plone: News and Events
- RISC Forum Mar 16, 2009 from 01:30 PM to 02:00 PM — RISC seminar room,
- Camelia Rosenkranz: Thesis Defense "Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema"
- RISC Forum Mar 09, 2009 from 01:30 PM to 02:15 PM — RISC seminar room,
- Brian Moore: Design of dynamically balanced parallel mechanisms
- RISC Forum Jan 12, 2009 from 01:30 PM to 02:00 PM — RISC seminar room,
- Wolfgang Windsteiger: Algorithmic Methods Book (Volume 1)
- RISC Forum Dec 01, 2008 from 01:30 PM to 02:30 PM — RISC seminar room,
- Prof. Jens Knoop: Current Research at the CompLang Group: Timing Analyses and More
- RISC Forum Nov 24, 2008 from 01:30 PM to 02:00 PM — RISC seminar room,
- Johannes Middeke: Computing the Jacobson form of matrices of differential operators in polynomial time
- RISC Forum Nov 17, 2008 from 01:30 PM to 02:00 PM — RISC seminar room,
- Heinrich Rolletschek: A note on recursive permutations
- RISC Forum Nov 13, 2008 from 02:30 PM to 04:00 PM — RISC seminar room,
- Kevin Hammond: Symbolic Grid Computing in the SCIEnce Project
- RISC Forum Nov 10, 2008 from 01:30 PM to 01:45 PM — RISC seminar room,
- Silviu Radu: Partition congruences
- RISC Forum Nov 03, 2008 from 01:30 PM to 01:50 PM — RISC seminar room,
- Clemens Raab: Self Introduction + Christoph Koutchan: Proof of Ira Gessel's lattice path conjecture