Previous Forums
Collection of RISC Forums in the past.
- RISC Forum Oct 14, 2013 from 01:30 PM to 02:10 PM — Seminar Room pond, RISC,
- Axel Bacher: Self-introduction; Franz Winkler: Report on Sabbatical in SS 2013
- RISC Forum Oct 07, 2013 from 01:30 PM to 01:45 PM
- Karoly Erdei: Some hints on using computing environment
- Risc Colloquium Jun 28, 2013 from 11:30 AM to 12:30 PM — Seminar Room pond, RISC,
- Prof. Bernd Sturmfels (UC Berkeley): The Convex Hull of a Space Curve
- Risc Colloquium Jun 24, 2013 from 01:30 PM to 02:30 PM — Seminar Room,
- Prof. Tobias Nipkow (TU Muenchen): Teaching Semantics with a Proof Assistant
- RISC Forum Jun 10, 2013 from 01:30 PM to 02:05 PM — Seminar Room,
- Hamid Rahkooy: On Berkeley Visit; Alexander Maletzky: Efficient Rewriting by Object Reuse and Compiling (Master Thesis)
- RISC Forum May 27, 2013 from 01:30 PM to 02:00 PM — Seminar Room,
- Wolfgang Schreiner: The LogicGuard Project
- RISC Forum May 06, 2013 from 01:30 PM to 01:40 PM — Seminar Room,
- Marc Mezzarobba: Self-introduction
- RISC Forum Apr 29, 2013 from 01:30 PM to 02:20 PM — Seminar Room,
- Karoly Erdei, Werner Landerl: SAG - Current status and future plans
- RISC Forum Apr 22, 2013 from 01:30 PM to 01:40 PM — Seminar Room,
- Mykola Skrypskyj: Cloud Computing to Simulate the Movement of Pollutants in the Atmosphere
- RISC Forum Apr 15, 2013 from 01:30 PM to 01:40 PM — Seminar Room,
- Liangjie Ye: Self-introduction
- RISC Forum Apr 08, 2013 from 01:30 PM to 02:30 PM — Seminar Room,
- Prof. Franz Winkler: Research Visit at Macquarie University in Sydney; Wolfgang Windsteiger: plans for move to new building
- RISC Forum Mar 11, 2013 from 01:30 PM to 01:45 PM — Seminar Room,
- Heinrich Rolletschek: Mutually self-referential sentences and undecidability
- RISC Forum Jan 28, 2013 from 01:30 PM to 01:45 PM — Seminar Room,
- Matteo Gallet: Course on integer-valued polynomials
- RISC Forum Jan 21, 2013 from 01:30 PM to 01:50 PM — Seminar Room,
- Andrea Serafini: Mining rules through Markov Logical Networks
- RISC Forum Jan 14, 2013 from 01:30 PM to 01:50 PM — Seminar Room,
- Dr. Temur Kutsia: project SToUT: Symbolic Computation Techniques for Unranked Terms
- RISC Forum Jan 07, 2013 from 01:30 PM to 01:40 PM — Seminar Room,
- Prof. Franz Winkler: Visit at UC Berkeley and MSRI
- RISC Forum Dec 03, 2012 from 01:30 PM to 02:20 PM — Seminar Room,
- Patrick Wijeram: student organization IAESTE Madalina Erascu: PhD thesis defense: Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms
- RISC Forum Nov 26, 2012 from 01:30 PM to 02:10 PM — Seminar Room,
- Karoly Erdei, Werner Landerl: SAG - Current status and future plans
- RISC Forum Nov 12, 2012 from 01:30 PM to 02:00 PM — Seminar Room,
- Karoly Erdei: SSH tunel and VNC Server in use
- RISC Forum Nov 05, 2012 from 01:30 PM to 01:45 PM — Seminar Room,
- Alexander Hasselhuhn: Self-Introduction; Georg Grasegger: CMI Summer School