Previous Forums
Collection of RISC Forums in the past.
- RISC Forum Apr 28, 2014 from 01:30 PM to 02:10 PM — Seminar Room Schloss Hagenberg,
- Karoly Erdei: Firefox privacy and security settings; Karoly Erdei: The RISC PGP key server
- RISC Forum Mar 31, 2014 from 01:30 PM to 02:00 PM — Seminar Room Schloss Hagenberg,
- Josef Schicho: Symbolic Computation in Kinematics
- RISC Forum Mar 17, 2014 from 01:30 PM to 01:50 PM — Seminar Room Schloss Hagenberg,
- Georg Grasegger: Research visit at the University of Alcalá
- RISC Forum Mar 10, 2014 from 01:30 PM to 01:40 PM — Seminar Room Schloss Hagenberg,
- Miriam Schussler: Self-introduction
- RISC Forum Jan 20, 2014 from 01:30 PM to 02:10 PM — Seminar Room pond, RISC,
- Karoly Erdei: Useful privacy and security settings for Thunderbird/Icedove
- RISC Forum Dec 09, 2013 from 01:30 PM to 02:05 PM — Seminar Room pond, RISC,
- Karoly Erdei: Using GPG - Part. II.: GPG with Thunderbird and Gmail
- Risc Colloquium Dec 02, 2013 from 01:30 PM to 02:30 PM — Seminar Room pond, RISC,
- Alberto Lastra: On a sufficient condition for the summability of formal power series
- Risc Colloquium Nov 25, 2013 from 01:30 PM to 02:30 PM — Seminar Room pond, RISC,
- Dr. Cezary Kaliszyk: Learning-assisted automated reasoning for higher-order logic. (On invitation by Prof. Buchberger)
- RISC Forum Nov 18, 2013 from 01:30 PM to 02:05 PM — Seminar Room pond, RISC,
- Karoly Erdei: Using Gnu Privacy Guard, Part I
- Risc Colloquium Nov 11, 2013 from 01:30 PM to 02:30 PM — Seminar Room pond, RISC,
- Prof. Erich Kaltofen: Symbolic Computation and Complexity Theory
- RISC Forum Nov 04, 2013 from 01:30 PM to 01:50 PM
- Vo Ngoc Thieu: self-introduction; Ralf Hemmecke: Git server at RISC
- RISC Forum Oct 28, 2013 from 01:30 PM to 01:50 PM — Seminar Room pond, RISC,
- Jiu Lin: self-introduction; Rika Yatchak: self-introduction; Huang Hui: self-introduction
- RISC Forum Oct 21, 2013 from 01:30 PM to 01:50 PM — Seminar Room pond, RISC,
- Felix Breuer: Self-introduction; Brandt Kronholm: self-introduction; Zhang Yi:self-introduction
- RISC Forum Oct 14, 2013 from 01:30 PM to 02:10 PM — Seminar Room pond, RISC,
- Axel Bacher: Self-introduction; Franz Winkler: Report on Sabbatical in SS 2013
- RISC Forum Oct 07, 2013 from 01:30 PM to 01:45 PM
- Karoly Erdei: Some hints on using computing environment
- Risc Colloquium Jun 28, 2013 from 11:30 AM to 12:30 PM — Seminar Room pond, RISC,
- Prof. Bernd Sturmfels (UC Berkeley): The Convex Hull of a Space Curve
- Risc Colloquium Jun 24, 2013 from 01:30 PM to 02:30 PM — Seminar Room,
- Prof. Tobias Nipkow (TU Muenchen): Teaching Semantics with a Proof Assistant
- RISC Forum Jun 10, 2013 from 01:30 PM to 02:05 PM — Seminar Room,
- Hamid Rahkooy: On Berkeley Visit; Alexander Maletzky: Efficient Rewriting by Object Reuse and Compiling (Master Thesis)
- RISC Forum May 27, 2013 from 01:30 PM to 02:00 PM — Seminar Room,
- Wolfgang Schreiner: The LogicGuard Project
- RISC Forum May 06, 2013 from 01:30 PM to 01:40 PM — Seminar Room,
- Marc Mezzarobba: Self-introduction