Recent Changes
This collection shows recently changed items.
- RISC-Forum Oct 14, 2024 from 01:30 PM to 02:15 PM
- Mauricio Ayala: Mechanizing Combinatorial Applications of Compactness
- 2024-2025: Winter Semester
- 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
- RISC Forum May 13, 2024 from 01:30 PM to 01:45 PM
- Wolfgang Windsteiger: EFFICIENT CHECKING OF SIDE-CONDITIONS IN THEOREMA
- RISC Forum Jun 03, 2024 from 01:30 PM to 01:45 PM
- Abilio De Freitas: Three-loop Massive QCD Form Factors
- RISC Forum Apr 29, 2024 from 01:30 PM to 01:45 PM
- Georg Ehling: Solving quantitative equations
- RISC Forum May 06, 2024 from 01:30 PM to 01:45 PM
- Jakob Obrovsky: Solving Difference Equations in RΠΣ-Extensions
- RISC Forum Mar 18, 2024 from 01:30 PM to 01:45 PM
- Carsten Schneider: Symbolic Computation and Feynman Integrals -- Recent Challenges
- RISC Forum Jun 17, 2024 from 01:30 PM to 01:45 PM
- Maitreyo Bhattacharjee: self introduction
- RISC Forum at RISC Software GmbH Jun 24, 2024 from 01:30 PM to 04:30 PM — RISC Software GmbH,
- Alexander Maletzky: Introduction to Deep Learning: Hands-on Workshop in Computer Vision
- RISC Forum Jun 10, 2024 from 01:30 PM to 02:30 PM
- Univ.-Prof. Dr. Richard Küng: A (soft) intro to quantum computing (Colloquium Talk)
- RISC Forum May 27, 2024 from 01:30 PM to 01:45 PM
- Gabriela Fereira: self introduction
- RISC Forum Apr 22, 2024 from 01:30 PM to 01:45 PM
- Nikolai Fadeev: The RICA package: a toolbox to compute Mellin inverses and asymptotics of binomial sums — an update
- Login Data Zoom
- https://jku.zoom.us/j/94919458950?pwd=V2FMU2l3b2JFMmtCamgzMXlhNkRYQT09 Meeting-ID: 949 1945 8950 Passwort: 135891 The privacy policy, terms of use, and assistance can be found at https://help.jku.at/im/en/it-systeme/zoom-videokonferenzen
- Computer Algebra Systems
- RISC Forum Mar 11, 2024 from 01:30 PM to 01:45 PM
- Wolfgang Schreiner: The SLANG Semantics-Based Language Generator
-
risc-logo-text.eps
- inkscape --export-eps=risc-logo-text.eps risc-logo-text.svg (The .eps file is scalable.)
-
risc-logo-text.svg
- NO RISC Forum May 20, 2024 from 01:30 PM to 01:45 PM
- Holiday (Pentecost)
- RISC Forum Apr 15, 2024 from 01:30 PM to 01:45 PM
- NN: TBN
