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

Previous Forums

Collection of RISC Forums in the past.
security Jun 26, 2017 from 01:30 PM to 02:30 PM Seminar room castle/in front of castle,
Security instruction and exercise in fire extinguishing
RISC Forum Jun 19, 2017 from 01:30 PM to 02:00 PM Seminar room castle,
Prof. Peter Paule: Special Functions from Riemann's Point of View
RISC Forum Jun 12, 2017 from 01:30 PM to 01:45 PM Seminar room castle,
Nicolas Smoot: Research Report
RISC Forum May 22, 2017 from 01:30 PM to 02:00 PM Seminar room castle,
Dr. Tudor Jebelean: Experiments on Natural-Style Proving using Cylindrical Algebraic Decomposition
RISC Forum May 15, 2017 from 01:30 PM to 01:35 PM
Sebastian Falkensteiner: Self-Introduction
RISC Forum May 08, 2017 from 01:30 PM to 01:45 PM Seminar room castle,
Wolfgang Windsteiger: 30 years RISC
RISC Forum Apr 03, 2017 from 01:30 PM to 01:45 PM Seminar room castle,
Jose Capco: Robots!
RISC Forum Mar 27, 2017 from 01:30 PM to 01:45 PM Seminar room castle,
Alexander Maletzky: Theory Exploration in Theorema: Recent Approaches to Gröbner Bases
RISC Forum Mar 20, 2017 from 01:30 PM to 01:45 PM Seminar room castle,
Dr. Diane Shi Yahui: How to construct the generating function of the Rogers-Ramanujan type partition
RISC Forum Mar 13, 2017 from 01:30 PM to 01:45 PM RISC seminar room,
Ralf Hemmecke: Dancing Samba with Ramanujan Partition Congruences
Risc Colloquium Feb 07, 2017 from 11:00 AM to 12:30 PM
Prof. George E. Andrews: The Man Who Knew Infinity: the Movie, the Man, and the Mathematics
RISC Forum Jan 23, 2017 from 01:30 PM to 02:15 PM Seminar room castle,
Peter Paule: announcement `10 years DESY-RISC colloquium'; David Cerna: Clausal analysis in proof theory
RISC Forum Jan 16, 2017 from 01:30 PM to 01:40 PM
Nguyen Khanh Linh Tran: Self-Introduction
RISC Forum Jan 09, 2017 from 01:30 PM to 01:50 PM
Prof. Peter Paule: announcements, report on projects
RISC Forum Dec 05, 2016 from 01:30 PM to 02:00 PM Seminar room castle,
Wolfgang Schreiner: Verifying Algorithms via Checking Finite Instances
RISC Forum Nov 28, 2016 from 01:30 PM to 02:00 PM Seminar room castle,
Thieu Vo Ngoc: Report on PhD thesis progress
RISC Forum Nov 21, 2016 from 01:30 PM to 02:00 PM Seminar room castle,
Self-introduction by Antonio Jimenez Pastor, Jan Legersky, Lin Jiu and Nicolas Smoot
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
« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930
Upcoming Events
RISC Forum Oct 09, 2017 01:30 PM - 01:45 PM — Seminar room castle
Previous events…
Upcoming events…