Previous Forums
Collection of RISC Forums in the past.
- 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
- RISC Forum Oct 29, 2012 from 01:30 PM to 01:45 PM — Seminar Room,
- Matteo Gallet:Self-introduction and Macaulay2 mini-course Trieste
- RISC Forum Oct 22, 2012 from 01:30 PM to 01:50 PM — Seminar Room,
- Alexander Baumgartner: Self-introduction; Mykola Skrypskyj: Self-Introduction
- RISC Colloquium Oct 15, 2012 from 01:30 PM to 02:30 PM — Seminar Room,
- Prof. Scott McCallum: Improvements and Extensions to CAD-Based Quantifier Elimination
- RISC Forum Oct 08, 2012 from 01:30 PM to 01:40 PM — Seminar Room,
- Sandra and Christina Enengl: Self-introduction
- RISC Forum Oct 01, 2012 from 01:30 PM to 01:45 PM — Seminar Room,
- Matteo Gallet: Summer School Perugia
- RISC Colloquium Sep 24, 2012 from 01:30 PM to 02:30 PM — Seminar Room,
- Prof. Petr Lisonek: Classical modular polynomials over GF(2)
- Risc Colloquium Aug 01, 2012 from 10:15 AM to 11:15 AM — Seminar Room,
- Prof. Alexander Levin: New developments in the theory of difference ideals
- 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