Recent Changes
This collection shows recently changed items.
- RISC Forum Apr 18, 2016 from 01:30 PM to 01:50 PM — Seminar room castle,
- Werner Landerl, Ralf Wahner: system administration - current status and plans
- RISC Forum Mar 07, 2016 from 01:30 PM to 01:50 PM — Seminar room castle,
- Wolfgang Windsteiger: New RISC letter format
- RISC Forum Jan 18, 2016 from 01:30 PM to 01:40 PM — Seminar room pond,
- Prof. Peter Paule: Fields Program on Computer Algebra 2015
- RISC Forum Jan 25, 2016 from 01:30 PM to 01:50 PM — Seminar room pond,
- Prof. Franz Winkler: Work on Algebraic Differential Equations
- RISC Forum Jan 07, 2016 from 01:30 PM to 02:15 PM — Seminar room pond,
- Visit to new RISC-library, gathering with coffee (initial meeting as usual)
- RISC Forum from Dec 07, 2015 01:30 PM to Dec 24, 2015 02:05 PM — Seminar room pond,
- David Cerna: Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors; Wolfgang Windsteiger: The RTMO Project at RISC Software
- RISC Forum Dec 14, 2015 from 01:30 PM to 01:55 PM — Seminar room pond,
- Ngoc Thieu: Groebner Basis Bibliography project.
- RISC Forum Nov 23, 2015 from 01:30 PM to 02:00 PM — Seminar room pond,
- Prof. Peter Paule: Computer Algebra for Jacobi Theta Functions: a DK PhD Project; Carsten Schneider: Some new results in difference ring ring theory
- RISC Forum Nov 16, 2015 from 01:30 PM to 01:50 PM — Seminar room pond,
- Prof. Peter Paule: Some facts about RISC and the Algorithmic Combinatorics Group
- RISC Forum Oct 19, 2015 from 01:30 PM to 01:45 PM — Seminar room pond,
- Vo Ngoc Thieu: CASC-conference Aachen
- RISC Forum Nov 09, 2015 from 01:30 PM to 02:00 PM — Seminar room pond,
- Alexander Baumgartner: Anti-Unification Algorithms: Design, Analysis, and Implementation
- 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-t-shirt-front.pdf
-
risc-t-shirt-back.pdf
-
risc-t-shirt.pdf
-
risc-t-shirt.svg
-
risc-t-shirt.png
- 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
