↓ Skip to Main Content
Press
Contact
Search for:
ARiSE Society
RiSE Network
About the Network
SHiNE Organization and Subprojects
Members
Principal Investigators
Postdocs
PhD Students
RiSE Fellows
World Collaborations Map
News
All News
Press Coverage
Events
Seminar
Calendar
Publications
Jobs
Workshop
Winter School
ARiSE
Austrian Society for
Rigorous Systems Engineering
News
Helmut Veith Memorial Workshop, Jan 28-31, Obertauern, Austria
16 PhD Positions on Logical Methods in Computer Science, TU Wien, TU Graz and JKU Linz
RiSE/SHiNE Winter School 2018: Feb 5-9, Vienna
RiSE Seminar
Wed, May 30
Warren Hunt
Wed, May 23
Alexey Bakhirkin
Wed, May 16
Melkior Ornik
Wed, May 09
Stefan Schmid
Tue, May 08
Stefan Ratschan
RiSE Events
Helmut Veith Memorial Workshop, Jan 28-31, Obertauern, Austria
RiSE/SHiNE Winter School 2018: Feb 5-9, Vienna
Alpine Verification Meeting 2018: Sep 24-27, Wagrain, Austria