Recent Changes
This collection shows recently changed items.
- RISC Forum Jan 17, 2022 from 01:30 PM to 01:45 PM
- Wolfgang Windsteiger : Using Theorema as a Proof Tutor in the Classroom
- RISC Forum Jan 16, 2023 from 01:30 PM to 01:50 PM
- Barbara Qi: Five representations of a phylogenetic tree
- RISC Forum Dec 12, 2022 from 01:30 PM to 01:45 PM
- Lukas Wögerer: Self-introduction
- NO RISC Forum Dec 05, 2022 from 01:30 PM to 01:45 PM
- RISC Forum Nov 28, 2022 from 01:30 PM to 02:15 PM
- Koustav Banerjee: New asymptotics and inequalities related to the partition function (Pre Defence)
- RISC Forum Nov 14, 2022 from 01:30 PM to 01:45 PM
- David Cerna: Excuesions into Inductive Synthesis
- RISC Forum Nov 21, 2022 from 01:30 PM to 02:45 PM
- Nikolai Fadeev: TBA
- RISC Forum Nov 07, 2022 from 01:30 PM to 02:00 PM
- Wolfgang Schreiner: The RISCAL Software, Some Recent Developments...
- NO RISC Forum Oct 31, 2022 from 01:30 PM to 01:45 PM
- Originally planned talk by Nicolas Smoot will be shifted to later.
- RISC Forum Oct 17, 2022 from 01:30 PM to 01:45 PM
- Hans-Wolfgang Loidl (Heriot-Watt University, Edinburgh): Challenges and Opportunities in Parallel Symbolic Computation
- RISC Forum Jan 09, 2023 from 01:30 PM to 01:50 PM
- Eriola Hoxhaj: Progress report
- RISC Forum Oct 24, 2022 from 01:30 PM to 01:45 PM
- Georg Ehling: Self-introduction
- RISC Forum Oct 10, 2022 from 01:30 PM to 01:45 PM
- Prof. Paule: Welcome to the new Semester; organizational Items.
- Computer Algebra Systems
- NO RISC Forum Jan 02, 2023 from 01:30 PM to 01:45 PM
- lecture-free time
- NO RISC Forum Dec 26, 2022 from 01:30 PM to 01:45 PM
- Christmas holidays
- NO RISC Forum Dec 19, 2022 from 01:30 PM to 01:55 PM
- lecture free time (Christmas)
- RISC Forum Jun 27, 2022 from 01:30 PM to 01:45 PM
- Sebastian Falkensteiner: My Research at RISC in a nutshell
- RISC Forum Jun 13, 2022 from 01:30 PM to 01:50 PM
- Nikolai Fadeev: Behind the curtains of Mathematica
- RISC Forum Jun 20, 2022 from 01:30 PM to 01:45 PM
- Myriam Dupraz: self introduction