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

Previous Forums

Collection of RISC Forums in the past.
Risc Colloquium Nov 14, 2016 from 01:30 PM to 02:30 PM
Prof. Erika Abraham: Symbolic Computation Techniques in Satisfiability Checking
RISC Forum Nov 07, 2016 from 01:30 PM to 02:05 PM Seminar room castle,
David Cerna: visit to the conference SCSS 2016; Christoph Fuerst: Axiomatic Description of Groebner Reduction (thesis defense)
RISC Forum Oct 24, 2016 from 01:30 PM to 02:00 PM Seminar room castle,
Jose Capco: Algebraic extensions and algebraic closures of commutative rings
Risc Colloquium Oct 17, 2016 from 01:30 PM to 02:30 PM Seminar room castle,
Prof. Masahiko Sato: Proof theory of the lambda calculus
RISC Forum Oct 10, 2016 from 01:30 PM to 02:00 PM Seminar room pond,
Ngoc Thieu: Report: Visit CUNY, New York
RISC Forum Jun 20, 2016 from 01:30 PM to 01:50 PM Seminar room castle,
Temur Kutsia: Current research
RISC Forum Jun 13, 2016 from 01:30 PM to 01:50 PM
Makhul Mehdi: Dirac-Motzkin conjecture and Orchard problem for circles
RISC Forum Jun 06, 2016 from 01:30 PM to 02:00 PM Seminar room castle,
Josef Schicho: On the Lecture "Algebraic Methods of Kinematics"
RISC Forum May 30, 2016 from 01:30 PM to 01:45 PM Seminar room castle,
Heinrich Rolletschek: More on the Euclidean algorithm in number fields
Risc Colloquium May 09, 2016 from 01:30 PM to 02:30 PM Seminar room castle,
Prof. Martin Kreuzer: Linear Algebra 1.6
Risc Colloquium May 02, 2016 from 01:30 PM to 02:30 PM Seminar room castle,
Prof. Krishnaswami Alladi: The number of prime factors of integers - a selection of charming results both old and new
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.
« November 2019 »
November
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930
Upcoming Events
RISC Forum Nov 18, 2019 01:30 PM - 02:15 PM
RISC Forum Nov 25, 2019 01:30 PM - 01:45 PM
RISC Forum Dec 02, 2019 01:30 PM - 01:45 PM
RISC Forum Dec 09, 2019 01:30 PM - 01:45 PM
RISC Forum Dec 16, 2019 01:30 PM - 01:45 PM
Previous events…
Upcoming events…