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

Previous Forums

Collection of RISC Forums in the past.
RISC Forum May 19, 2014 from 01:30 PM to 01:45 PM Seminar Room Schloss Hagenberg,
Peter Stadelmeyer: Multidisciplinary Optimization for Aircraft Structures - Mathematics and Software
Risc Colloquium May 12, 2014 from 01:30 PM to 02:30 PM Seminar Room Schloss Hagenberg,
Dr. Evelyne Hubert: Computation of rational invariants
RISC Forum May 05, 2014 from 01:30 PM to 02:15 PM Seminar Room Schloss Hagenberg,
Muhammad Taimoor Khan: PhD-Thesis
RISC Forum Apr 28, 2014 from 01:30 PM to 02:10 PM Seminar Room Schloss Hagenberg,
Karoly Erdei: Firefox privacy and security settings; Karoly Erdei: The RISC PGP key server
RISC Forum Mar 31, 2014 from 01:30 PM to 02:00 PM Seminar Room Schloss Hagenberg,
Josef Schicho: Symbolic Computation in Kinematics
RISC Forum Mar 17, 2014 from 01:30 PM to 01:50 PM Seminar Room Schloss Hagenberg,
Georg Grasegger: Research visit at the University of Alcalá
RISC Forum Mar 10, 2014 from 01:30 PM to 01:40 PM Seminar Room Schloss Hagenberg,
Miriam Schussler: Self-introduction
RISC Forum Jan 20, 2014 from 01:30 PM to 02:10 PM Seminar Room pond, RISC,
Karoly Erdei: Useful privacy and security settings for Thunderbird/Icedove
RISC Forum Dec 09, 2013 from 01:30 PM to 02:05 PM Seminar Room pond, RISC,
Karoly Erdei: Using GPG - Part. II.: GPG with Thunderbird and Gmail
Risc Colloquium Dec 02, 2013 from 01:30 PM to 02:30 PM Seminar Room pond, RISC,
Alberto Lastra: On a sufficient condition for the summability of formal power series
Risc Colloquium Nov 25, 2013 from 01:30 PM to 02:30 PM Seminar Room pond, RISC,
Dr. Cezary Kaliszyk: Learning-assisted automated reasoning for higher-order logic. (On invitation by Prof. Buchberger)
RISC Forum Nov 18, 2013 from 01:30 PM to 02:05 PM Seminar Room pond, RISC,
Karoly Erdei: Using Gnu Privacy Guard, Part I
Risc Colloquium Nov 11, 2013 from 01:30 PM to 02:30 PM Seminar Room pond, RISC,
Prof. Erich Kaltofen: Symbolic Computation and Complexity Theory
RISC Forum Nov 04, 2013 from 01:30 PM to 01:50 PM
Vo Ngoc Thieu: self-introduction; Ralf Hemmecke: Git server at RISC
RISC Forum Oct 28, 2013 from 01:30 PM to 01:50 PM Seminar Room pond, RISC,
Jiu Lin: self-introduction; Rika Yatchak: self-introduction; Huang Hui: self-introduction
RISC Forum Oct 21, 2013 from 01:30 PM to 01:50 PM Seminar Room pond, RISC,
Felix Breuer: Self-introduction; Brandt Kronholm: self-introduction; Zhang Yi:self-introduction
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
« April 2024 »
April
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
2930
Upcoming Events
RISC Forum Apr 29, 2024 01:30 PM - 01:45 PM
RISC Forum May 06, 2024 01:30 PM - 01:45 PM
RISC Forum May 13, 2024 01:30 PM - 01:45 PM
NO RISC Forum May 20, 2024 01:30 PM - 01:45 PM
RISC Forum May 27, 2024 01:30 PM - 01:45 PM
Previous events…
Upcoming events…