Previous Forums
Collection of RISC Forums in the past.
- Risc Colloquium Oct 30, 2017 from 01:30 PM to 02:30 PM — Seminar room castle,
- Prof. Michael Singer: Groups and the Gamma Function
- RISC Forum Oct 23, 2017 from 01:30 PM to 01:40 PM — Seminar room castle,
- Dr. Ali Uncu: Self-Introduction
- RISC Forum Oct 09, 2017 from 01:30 PM to 01:45 PM — Seminar room castle,
- Sebastian Falkensteiner: Sphere packings
- RISC Forum Oct 02, 2017 from 01:30 PM to 01:40 PM — Seminar room castle,
- Jiayue Qi: Self-introduction
- 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