Events

  • February 11–15 2013

    RiSE Winter School on Games Theory and Distributed Algorithms at IST, Austria.

  • November 11–16 2012

    Seminar on Games and Decisions for Rigorous Systems Engineering at Dagstuhl, Germany.

  • September 24–28 2012

    puma2012 Joint Workshop with PUMA on program and model analysis, type systems, theorem proving, model checking, abstract interpretation, and synthesis. This year the event was accompanied by a workshop on scientific writing.

    The talk slides and can found here and photo gallery is here. The workshop took place at Goldegg, Austria.

  • September 14, 2012

    Joint Workshop with CMACS, Washington, DC, USA.

  • July 7–8 2012

    (EC)2 Workshop on Exploiting Concurrency Efficiently and Correctly, collocated with CAV at Berkeley, USA.

  • May 21–22 2012

    Joint Alpine Verification Meeting and RiSE meeting at Passau, Germany.
    See photo gallery here.

  • February 6–10 2012

    ARiSE and VCLA joint Winter School on Verification at Vienna University of Technology.

  • October 3–7 2011 Joint workshop with PUMA

    The workshop was held in Traunkirchen with a number of talks given by PUMA and ARiSE members.
    Visit the event's photo gallery.

  • March 14–15 2011 Joint Event: Alpine Verification Meeting 2011 and RiSE Kick-off Meeting

    Prof. Edmund M. Clarke This is a joint event of both the Alpine Verification Meeting (AVM) 2011 and the RiSE Kick-off Meeting.

    The AVM is a meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations.

    Also, this will be an initiating meeting for the Austrian Society for Rigorous Systems Engineering, founded in 2010.

    The event opens with a keynote talk by Edmund Clarke (Carnegie Mellon Univ.) on “Statistical Model Checking for Cyber-Physical Systems”.

    Further information is available at the event's website.

  • January 20 2011 Moshe Vardi: “And Logic Begat Computer Science: When Giants Roamed the Earth”

    Prof. Moshe Y. Vardi During the past fifty years there has been extensive, continuous, and growing interaction between logic and computer science. In fact, logic has been called "the calculus of computer science".

    This non-technical talk held at TU Vienna provided an overview of the unusual effectiveness of logic in computer science by surveying the history of logic in computer science, going back all the way to Aristotle and Euclid, and showing how logic actually gave rise to computer science.

    Moshe Y. Vardi is the George Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology Institute at Rice University. He is the co-recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Gödel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, and the Blaise Pascal Medal.

    Further information is available in the announcements on the faculty's homepage and the university's homepage.

  • October 18–19 2010 Alpine Verification Meeting 2010

    AVM Group Picture The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations.

    The final program is available here.

  • October 10–16 2010 Joint workshop with PUMA

    The workshop was held in Szentendre with a number of talks given by PUMA and ARiSE members.
    See here for the full programme.

  • May 6–7 2010 Computer Science Symposium "Reactive Modeling in Science and Engineering"

    Symposium The symposium is taking place at the IST Campus on May 6–7 as part of the event series in May and June on the occasion of the first birthday of the Institute. Among the renowned speakers addressing current chapters in Computer Science is Turing Award Winner Joseph Sifakis.

  • May 5 2010 Press Conference: "Rigorous Systems Engineering: Der Abschied vom Absturz"

    Press Conference IST President Prof. Thomas A. Henzinger presented details of the Computer Science symposium "Reactive Modeling in Science and Engineering" to journalists from the Austrian media at the Cafe Landtmann in Vienna.
    In addition, Prof. Helmut Veith (TU Wien) and Prof. Roderick Bloem (TU Graz) introduced ARiSE at the press conference.

    For more on the press conference see the press release (German). A picture of the three panel members (from left: T. Henzinger, R. Bloem, H. Veith) is also available for download here.

  • Since March 4 2010 Joint IST / TU Wien Course "Advanced Distributed Algorithms"

    This is a PhD-level graduate course on distributed algorithms. The emphasis is on proving upper and lower bounds on complexity measures and impossibility results, as well as proving the correctness of distributed algorithms.

  • Since March 2 2010 IST / TU Wien Rigorous Systems Engineering Seminar

    The seminar meets on Tuesdays at 16:30, alternately at IST Austria and TU Vienna.

  • February 22–23 2010 ARiSE Winter Workshop, TU Graz

    At our first ARISE workshop, current research topics of the ARISE members and their students were presented and discussed (the program can be found here). The event was rounded off with a bowling competition.