Personal tools
You are here: Home / RISC Forum / Previous Forums

Previous Forums

Collection of RISC Forums in the past.
Risc Colloquium Apr 25, 2016 from 01:30 PM to 02:30 PM Seminar room castle,
Prof. Krishnaswami Alladi: Paul Erdös---one of the most influential mathematicians of our times
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 Apr 11, 2016 from 01:30 PM to 02:30 PM Seminar room castle,
David Cerna: Conference SCSS16; Xinhua Xiong: Self-introduction; Tudor Jebelean: Proof-based Synthesis of Sorting Algorithms for Trees
Risc Colloquium Apr 04, 2016 from 01:30 PM to 02:20 PM
Dr.~Dimitris Simos: Information Security through Combinatorial Designs and Symbolic Computation: Recent Results and Challenges Ahead
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 25, 2016 from 01:30 PM to 01:50 PM Seminar room pond,
Prof. Franz Winkler: Work on Algebraic Differential Equations
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 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 Dec 14, 2015 from 01:30 PM to 01:55 PM Seminar room pond,
Ngoc Thieu: Groebner Basis Bibliography project.
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 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 Nov 09, 2015 from 01:30 PM to 02:00 PM Seminar room pond,
Alexander Baumgartner: Anti-Unification Algorithms: Design, Analysis, and Implementation
RISC Forum Oct 19, 2015 from 01:30 PM to 01:45 PM Seminar room pond,
Vo Ngoc Thieu: CASC-conference Aachen
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
« July 2020 »
July
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031