↓ Skip to Main Content
  • Press
  • Contact
ARiSE
  • 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

ARiSE – In the Heart of Europe

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, Jun 06 RiSE Invited Lecture: Joost-Pieter Katoen
  • Wed, May 30 RiSE Invited Lecture: Warren Hunt
  • Tue, May 29 RiSE Invited Lecture: Joel Ouaknine
  • Wed, May 23 Alexey Bakhirkin
  • Wed, May 16 Melkior Ornik

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
Admin
  • Home
  • ARiSE – About the Society
  • RiSE – About the Network
  • Jobs
  • Press
  • Contact
© 2018 ARiSE
↑
Responsive Theme powered by WordPress