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

Previous Forums

Collection of RISC Forums in the past.
RISC Forum Apr 15, 2024 from 01:30 PM to 01:45 PM
NN: TBN
RISC Forum Apr 08, 2024 from 01:30 PM to 01:45 PM
Silviu Radu: Finding rational upper and lower bound for the evaluation of modular functions at a given point
NO RISC Forum Apr 01, 2024 from 01:30 PM to 01:45 PM
Holiday (Easter)
NO RISC Forum Mar 25, 2024 from 01:30 PM to 01:45 PM
lecture-free
RISC Forum Mar 18, 2024 from 01:30 PM to 01:45 PM
Carsten Schneider: Symbolic Computation and Feynman Integrals -- Recent Challenges
RISC Forum Mar 11, 2024 from 01:30 PM to 01:45 PM
Wolfgang Schreiner: The SLANG Semantics-Based Language Generator
RISC Forum Mar 04, 2024 from 01:30 PM to 01:45 PM
Carsten Schneider: Start of Semester, Organizational Items
RISC Forum Jan 29, 2024 from 01:30 PM to 02:30 PM
N.N.: TBN
RISC Forum Jan 22, 2024 from 01:30 PM to 01:45 PM
Eriola Hoxhaj: Dupin Cyclides
RISC Forum Jan 15, 2024 from 01:30 PM to 01:45 PM
Cleo Pau: Symbolic Techniques for, Approximate Reasoning
RISC Forum Jan 08, 2024 from 01:30 PM to 01:45 PM
Wolfgang Schreiner: The RISCTP Software - A MESON Prover with Equality and Theory Support
RISC Forum Dec 11, 2023 from 01:30 PM to 01:45 PM
Georg Ehling: Unification in Quantitative Equational Theories
RISC Forum Dec 04, 2023 from 01:30 PM to 01:45 PM
Silviu Radu
RISC Forum Nov 27, 2023 from 01:30 PM to 01:45 PM
Josef Schicho: What is generic? Three answers.
RISC Forum Nov 20, 2023 from 01:30 PM to 02:00 PM
Jakob Obrovsky: Self-introduction; Nikolai Fadeev: TBN
RISC Forum Nov 13, 2023 from 01:30 PM to 01:45 PM
Temur Kutsia
RISC Forum Nov 06, 2023 from 01:30 PM to 02:30 PM
Fire-Safety-Drill
NO RISC Forum Oct 30, 2023 from 01:30 PM to 01:45 PM
Funeral Ceremony Diego Dominici
RISC Forum Oct 23, 2023 from 01:30 PM to 01:45 PM
Abilio de Freitas: Computer Algebra and Three-loop Massive QCD Form Factors
RISC Forum Oct 16, 2023 from 01:30 PM to 01:45 PM
Organizatorial Items
« December 2024 »
December
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
Upcoming Events
RISC Forum Dec 09, 2024 01:30 PM - 01:45 PM
RISC Forum Dec 16, 2024 01:30 PM - 01:45 PM
NO RISC Forum Dec 23, 2024 01:30 PM - 01:45 PM
NO RISC Forum Dec 30, 2024 01:30 PM - 01:45 PM
NO RISC Forum Jan 06, 2025 01:30 PM - 01:45 PM
Previous events…
Upcoming events…