Previous Forums
Collection of RISC Forums in the past.
- Risc Colloquium Jun 25, 2012 from 01:30 PM to 02:15 PM
- Daniel Varro: Developing Design Tools for Critical Embedded Systems: A Model Transformation Playground
- RISC Forum Jun 18, 2012 from 01:30 PM to 02:00 PM
- Christian Dönch: PhD-Thesis
- Risc Colloquium Jun 04, 2012 from 01:30 PM to 02:30 PM — Seminar Room,
- Prof. Tran Quoc-Nam: Algebraic and Statistic Computation for Model Checking in Bioinformatics
- RISC Forum May 21, 2012 from 01:30 PM to 01:45 PM — Seminar Room,
- Christian Dönch: Stay in Washington
- RISC Forum May 14, 2012 from 01:35 PM to 01:55 PM — Seminar Room,
- Johannes Middeke: On the Computation of Pi-flat Outputs for Differential-delay Systems
- RISC Forum Apr 23, 2012 from 01:30 PM to 01:50 PM — Seminar Room,
- Karoly Erdei: Short announcement about the mailing system; Wolfgang Schreiner: LogicGuard Projekt
- RISC Forum Apr 16, 2012 from 01:30 PM to 02:15 PM — Seminar Room,
- Matteo Gallet: Presentation as a PhD candidate
- RISC Forum Mar 26, 2012 from 01:30 PM to 02:30 PM — RISC seminar room,
- Speaker: Prof. Matthias Beck, San Francisco State University Title: Integer-point Enumeration in Polyhedra
- RISC Forum Mar 19, 2012 from 01:30 PM to 02:00 PM — Seminar Room,
- Anna Kotyk: Self-Introduction; Gabor Guta: Phd-Thesis: pre-defense
- RISC Forum Mar 12, 2012 from 01:30 PM to 02:20 PM
- James Sellers: Self-Introduction; Sandra Enengl: Application talk; Christina Enengl: Application talk.
- RISC Forum Jan 30, 2012 from 01:30 PM to 02:00 PM — Seminar Room,
- Johannes Dirnberger (RISC Software company): MEDVIS 3D: Blood Flow Simulation in Intracranial Aneurysms
- RISC Forum Jan 23, 2012 from 01:30 PM to 02:30 PM — RISC seminar room,
- James Davenport, University of Bath: Branch cuts - not just a technical detail
- RISC Forum Jan 16, 2012 from 01:30 PM to 02:10 PM — Seminar Room,
- Carsten Schneider: Particle Physics at RISC; Muhammad Taimoor Khan: Specification and Verification of MiniMaple Programs
- RISC Forum Dec 12, 2011 from 01:30 PM to 02:20 PM — Seminar Room,
- Hassan Noori: Self-Introduction; Zafeirakis Zafeirakopoulos et. al: Nesin Math Village; Zafeirakis Zafeirakopoulos: Polyhedral Geometry and a bit of Combinatorics
- RISC Colloquium Dec 05, 2011 from 01:30 PM to 02:30 PM — Seminar Room,
- Prof. Dr. Joachim von zur Gathen: Census of Polynomials
- RISC Forum Nov 28, 2011 from 01:30 PM to 01:45 PM — Seminar Room,
- Manuel Kauers: Using new computer of JKU
- RISC Forum Nov 21, 2011 from 01:30 PM to 02:00 PM — Seminar Room,
- Madalina Erascu: Optimizing the Square Root Algorithm
- RISC Forum Nov 14, 2011 from 01:30 PM to 01:40 PM — Seminar Room,
- Mark Round: Self-Introduction; Dr. Mirzaakbar Hudayberdiev: Self-Introduction
- RISC Forum Nov 07, 2011 from 01:30 PM to 02:00 PM — Seminar Room,
- Michael Krieger: R&D in Advanced Computing Technologies at RISC Software GmbH
- RISC Forum Oct 24, 2011 from 01:30 PM to 02:00 PM — Seminar Room,
- Karoly Erdei: Introduction to Computing Systems