Previous Forums
Collection of RISC Forums in the past.
- Risc Colloquium Sep 28, 2015 from 01:30 PM to 02:30 PM — Seminar room pond,
- Tetsuo Ida: On a geometric algebra: its formalization by the proof assistant and application to computational origami
- RISC Forum Jun 29, 2015 from 01:30 PM to 02:00 PM
- Josef Schicho: Update on the Symbolic Computation Group at RICAM (Matteo Gallet, Anja Korporal, Christoph Koutschan, Zijia Li, Jamal Hossein Poor, Clemens Raab, Georg Regensburger, Nelly Villamizar)
- Risc Colloquium Jun 22, 2015 from 01:30 PM to 02:30 PM — Seminar Room Castle,
- Prof. George Rahonis: On quantitative monadic first-order logic
- RISC Forum Jun 15, 2015 from 01:30 PM to 01:50 PM — Seminar Room Castle,
- Nguyen Bin: Hochschild homology and Singularities; Georg Grasegger: Dissertation
- RISC Forum Jun 01, 2015 from 01:30 PM to 02:10 PM — Seminar Room Castle,
- Thomas Ponweiser: PRACE: Optimization of Scientific Applications in High Performance Computing
- RISC Forum May 18, 2015 from 01:30 PM to 02:10 PM — Seminar Room Castle,
- Paul Heinzlreiter: Projekt Mr. SymBioMath
- Risc Colloquium May 11, 2015 from 01:30 PM to 02:30 PM — Seminar Room Castle,
- Fritz Schwarz: Loewy Decomposition of Linear and some Nonlinear Differential Equations
- RISC Forum Apr 27, 2015 from 01:30 PM to 02:15 PM — Seminar Room Castle,
- Petru Pau: TEO - Railway crew scheduling for OeBB
- RISC Forum Apr 20, 2015 from 01:30 PM to 01:40 PM — Seminar Room Castle,
- Heinrich Rolletschek: On a question in complexity theory
- RISC Forum Mar 16, 2015 from 01:30 PM to 01:40 PM — Seminar Room Castle,
- David Cerna: Self-Introduction
- Risc Colloquium Mar 09, 2015 from 01:30 PM to 02:30 PM — Seminar Room Castle,
- Prof. Teo Mora: Buchberger Theory for Effective Associative Rings
- RISC Forum Jan 26, 2015 from 01:30 PM to 01:55 PM — Seminar Room pond, RISC,
- Dipl. Ing. Martin Samal: ITS Austria West - a road traffic information service for Upper Austria
- RISC Forum Jan 12, 2015 from 01:30 AM to 01:55 AM — Seminar Room Castle,
- Karoly Erdei: Privacy and Security using the Internet and mobile communication
- Risc Colloquium Nov 24, 2014 from 01:30 PM to 02:30 PM — Seminar Room pond, RISC,
- Prof. Andreas Mueller: Analytic vs Algebraic Approaches for the local Kinematic Analysis of Mechanisms
- RISC Forum Nov 10, 2014 from 01:30 PM to 02:10 PM — Seminar Room pond, RISC,
- Evans Doe Ocansey: Self-introduction; Prof. Janos Sztrik: Introduction of the Future Internet Research, Services and Technology ( FIRST ) Project
- RISC Forum Nov 03, 2014 from 01:30 PM to 02:10 PM — Seminar Room pond, RISC,
- Wolfgang.Schreiner, Walther Neuper: Polynomial Arithmetic in Isabelle
- Risc Colloquium Oct 27, 2014 from 01:30 PM to 02:30 PM — Seminar Room pond, RISC,
- Prof. Hoon Hong: Cylindrical Algebraic Decomposition without Augmented Projection
- RISC Forum Oct 20, 2014 from 01:30 PM to 01:45 PM — Seminar Room pond, RISC,
- Abilio de Freitas: self-introduction; Ralf Wahner: self-introduction
- RISC Forum Oct 13, 2014 from 01:30 PM to 02:00 PM — Seminar Room pond, RISC,
- Dr. Wolfgang Windsteiger: Theorema 2.0
- Risc Colloquium Jul 11, 2014 from 11:00 AM to 11:50 AM — Seminar Room pond, RISC,
- Prof. Jordi Levy: The Nature of Industrial SAT Instances