Press conference on Computer Science Symposium

Presentation of ARiSE network

Three panel members from left: T. Henzinger, R. Bloem, H. Veith.

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. 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.

In addition, Prof. Helmut Veith (TU Wien) and Prof. Roderick Bloem (TU Graz) introduced ARiSE (Austrian Rigorous Systems Engineering) at the press conference. This association brings together scientists from four Austrian universities and IST Austria forming a network for cooperation in this dynamic new field of Computer Science.

Privacy Overview

This website uses cookies. Below you can provide individual consent regarding the use of cookies. Cookies under the category "necessary" are always enabled since they are technically necessary to access the website. You can find more information on the use of cookies in the data protection statement of ISTA

Necessary

Always Enabled

Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website.

Cookie	Duration	Description
cookielawinfo-checkbox-analytics	1 year	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-necessary	1 year	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
CookieLawInfoConsent	1 year	This cookie only appears if you makes changes to the categories (e.g disable the category “Analytics”).
pll_language	1 year	The ISTA website is a multilingual website, WordPress requires a default language to be selected and set by a cookie in order to display the website, which is recorded by the pll_language cookie by Polylang. Furthermore this cookie is also used to remember the language selected by the user when returning to the website.
viewed_cookie_policy	1 year	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

Analytics

Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc.

Cookie	Duration	Description
_pk_id*	13 months	Matomo tracking cookie stores a unique user id.
_pk_ses*	13 months	Matomo tracking cookie stores a unique session id.

Press conference on Computer Science Symposium

Presentation of ARiSE network

Subscribe to the ISTA Newsletter

FOLLOW US