News
Job announcement: RiSE has several open PhD and Postdoc positions.
Scientific News
- May 21, 2013Prof. Donald Knuth will be visiting JKU for a week in May!
- April 23 – April 24, 2013(visit) Martin Aigner ⇾ Armin Biere
Application - April 3 2013Travel and Co-Advising
RiSE funds visits of PhD students between PIs sites.
Read how-to - Februar 11–15 2013RiSE Winter School 2013
Introduction to Game Theory and Distributed Algorithms
website - December 2012Congratulations to Laura Kovács on her successful defence of habilitation thesis
"Symbol Elimination in Program Analysis"
in Applied and Theoretical Computer Science!
photo - November 11–16 2012Dagstuhl Seminar on Games and Decisions for Rigorous Systems Engineering
website - September 24–28 2012Joint PUMA/ARiSE Workshop in Goldegg
website
photo gallery - February 6–10 2012ARiSE and VCLA joint Winter School on Verification at Vienna University of Technology.
- October 3–7 2011Joint PUMA/ARiSE Workshop in Traunkirchen
website
photo gallery - April 10 2011Workshop of Rigorous Systems Engineering affiliated with EUROSYS'11
- March 14–15 2011Alpine Verification Meeting 2011 and RiSE Kick-off Meeting at IST Austria.
- March 10 2011Laurent Doyen is giving a talk on "Energy and Mean-Payoff Games" in RiSE Seminar.
- February 24 2011Ruzica Piskac is giving a talk on "Software Synthesis using Automated Reasoning" in RiSE Seminar.
- December 2 2010Étienne André is giving a talk on "An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems" in IST / TU Wien RiSE Seminar.
- November 25 2010Olivier Serre is giving a talk on "Higher-order recursion schemes and the monadic closure" in IST / TU Wien RiSE Seminar
- November 18 2010Benoît Delahaye is giving a talk on "Constraint Markov Chains" in IST / TU Wien RiSE Seminar.
- November 11 2010Christoph Lenzen is giving a talk on "Gradient Clock Synchronization" in IST / TU Wien RiSE Seminar.
- October 14 2010Mathieu Tracol is giving a talk on "Verifying omega-regular properties of probabilistic systems, and simple processes on probabilistic automata" in IST / TU Wien RiSE Seminar.
- October 10–16 2010Joint workshop with PUMA held in Szentendre.
- October 7 2010Udi Boker is giving a talk on "Temporal Quantitative Specification" in IST / TU Wien RiSE Seminar.
- June 22 2010Muralidhar Talupur is giving a talk on "Going with the Flow: Parameterized Verification using Message Flows" in IST / TU Wien RiSE Seminar.
- June 15 2010Helmut Seidl is giving a talk on "Semi-Definite Programming for Inferring Quadratic Invariants" in IST / TU Wien RiSE Seminar.
- June 1 2010Jean-Francois Raskin is giving a talk on "Compositional algorithms for LTL synthesis" in IST / TU Wien RiSE Seminar.
Press Coverage
- March 15 2011Der Standard (German)
Mit nationalem Netzwerk zur Weltspitze bei Software-Prüfung – PDF - December 4 2010Der Standard (German)
NFN "RiSE: Rigorous systems engineering" funded by FWF – PDF - November 22 2010APA-OTS (German)
Wiener Wissenschaftsfonds (WWTF) prämiert exzellente IKT-ForscherInnen – PDF - November 17 2010Der Standard (German)
ERC-Advanced Grant an Forscher des IST Austria und Mathematiker der Uni Wien – PDF - June 11 2010Falter - heureka Wissenschaftsmagazin (German)
Computerwissenschaft: Die sind weltweit spitze! – PDF - May 7 2010SG.hu (Hungarian)
ARiSE - új platform biztonságos rendszereknek – PDF - May 6 2010oe1.ORF.at Wissen (German)
Neues Informatik-Netzwerk soll "Kräfte bündeln" – PDF – MP3 - May 6 2010APA (German)
Computerprogramme und biologische Abläufe – PDF - May 6 2010Format (German)
Systemfehler: Heimische Computerprofis spüren Bugs auf noch bevor sie entstehen – PDF - May 6 2010ORF Futurezone (German)
ARiSE: Neue Plattform für sichere Systeme – PDF - May 6 2010Der Standard (German)
"ARiSE" - Neues Informatik-Netzwerk soll "Kräfte bündeln" – PDF - May 4 2010Der Standard (German)
Der Anfang vom Ende der Abstürze – PDF - May 3 2010APA (German)
Software-Programmierung: Aus Kunst wird Können – PDF - May 3 2010Der Standard (German)
Software-Programmierung: Aus Kunst wird Können – PDF - April 30 2010ORF.at Science (German)
Nie wieder Absturz – PDF - December 16 2009Computerwelt (German)
Führender Wissenschafter an TU Wien berufen – PDF
