↓ 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
  • RiSE Seminar
  • Calendar
  • Publications
  • Jobs
  • RiSE Workshop

ARiSE

Austrian Society for
 
Rigorous Systems Engineering

ARiSE – In the Heart of Europe

News

  • Open position for a full professorship in “Computer Aided Verification”, TU Wien
  • Alpine Verification Meeting 2017: Sep 18-21, Hungary
  • RISE4CPS: July 22-23, co-located with CAV’17

RiSE Seminar

  • Wed, Nov 22 Dana Drachsler-Cohen
  • Thu, Nov 09 Piotrek Hofman
  • Thu, Sep 28 Goran Frehse
  • Tue, Sep 26 Veselin Raychev
  • Wed, Sep 13 Miriam García Soto

RiSE Events

  • Alpine Verification Meeting 2017: Sep 18-21, Hungary
  • RISE4CPS: July 22-23, co-located with CAV’17
  • The Third Workshop on Automated Inductive Theorem-Proving, 17-18 Nov, Vienna
Admin
  • Home
  • ARiSE – About the Society
  • RiSE – About the Network
  • Jobs
  • Press
  • Contact
© 2017 ARiSE
↑
Responsive Theme powered by WordPress