Personal tools
You are here: Home / Recent Changes

Recent Changes

This collection shows recently changed items.
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 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
How to Reach Us
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 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 Apr 29, 2013 from 01:30 PM to 02:20 PM Seminar Room,
Karoly Erdei, Werner Landerl: SAG - Current status and future plans
Mailer Adapter Mailer
E-Mails Form Input
Text Field Funding options from your home country
Please check which funding possibilities do exist from your home country for a PhD study in Austria and explain your attempts to secure such funding (if any).
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 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 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 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 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 26, 2012 from 01:30 PM to 02:10 PM Seminar Room,
Karoly Erdei, Werner Landerl: SAG - Current status and future plans
Git collaboration use cases
Here you find a number of use cases and how they are realize with git.
April 2018 »
April
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
30
Upcoming Events
RISC Forum Nov 18, 2019 01:30 PM - 02:15 PM
RISC Forum Nov 25, 2019 01:30 PM - 01:45 PM
RISC Forum Dec 02, 2019 01:30 PM - 01:45 PM
RISC Forum Dec 09, 2019 01:30 PM - 01:45 PM
RISC Forum Dec 16, 2019 01:30 PM - 01:45 PM
Previous events…
Upcoming events…