Previous Forums
Collection of RISC Forums in the past.
- RISC Forum May 03, 2010 from 01:30 PM to 01:50 PM — RISC seminar room,
- Karoly Bosa: RISC Activities in Parallel/Distributed Computing: the Projects Austrian Grid and SCIEnce
- RISC Forum Apr 26, 2010 from 01:30 PM to 01:40 PM — Seminar Room,
- Maximilian Jaroschek: Self-Introduction; Manuel Kauers: On START projetc; Wolfgang Schreiner: New rules for RISC system environment
- RISC Forum Apr 12, 2010 from 01:30 PM to 02:30 PM — Seminar Room,
- Prof. Pedro Ramos: Covering Decomposition
- RISC Forum Mar 22, 2010 from 01:30 PM to 02:10 PM — Seminar Room,
- Hilda Kosorus: Application talk. Ngoc Anh Pham: Application talk.
- RISC Forum Mar 15, 2010 from 01:30 PM to 02:00 PM — RISC seminar room,
- Jakob Praher: Application talk.
- RISC Forum Mar 08, 2010 from 01:30 PM to 01:50 PM
- Isabela Dramnesc: Self-Introduction; Peter Gabor Bana: Self-Introduction
- RISC Forum Jan 25, 2010 from 01:30 PM to 01:45 PM — Seminar Room,
- Silviu Radu: Progress Report
- RISC Forum Jan 11, 2010 from 01:30 PM to 01:45 PM — Seminar Room,
- Heinrich Rolletschek: Lecture Chess Programming
- RISC Forum Dec 07, 2009 from 01:30 PM to 02:20 PM
- Johannes Middeke: "Report on the visit of the University of Waterloo"; Elena Kartashova: "Nonlinear resonance analysis"
- RISC Forum Nov 30, 2009 from 01:30 PM to 01:50 PM — RISC seminar room,
- Ralf Hemmecke: Keep your references organized -- A tool you always wanted
- RISC Forum Nov 23, 2009 from 01:30 PM to 02:10 PM — RISC seminar room,
- Yanli Huang: Self-Introduction W. Windsteiger: Conference report "Middle East Mathematica Conference 2009"
- RISC Forum Nov 16, 2009 from 01:30 PM to 01:55 PM — RISC seminar room,
- Clemens Raab: A parametric version of Risch's algorithm for computing definite integrals
- RISC-Forum Nov 09, 2009 from 01:30 PM to 01:50 PM — RISC seminar room,
- Muhammad Taimoor Khan: Self-Introduction; Yanli Huang: Self-Introduction
- 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