May 2010
May 28, 2010No Comments
The Austrian Society for Rigorous Systems Engineering (ARiSE) was founded in 2010 to further the research in formal methods for the design of correct computer systems. It brings together top researchers in formal methods in Austria in order to foster collaboration and a common research platform.
Continue reading
Latest News
CAV 2013 in St. Petersburg!
Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.
[Read More...]Florian Zuleger in the Austrian Newspaper “Der Standard”
Florian gave an interview about his research on bound computation to the Austrian daily newspaper “Der Standard”.
[Read More...]Joint Workshop between CMACS and RiSE in Washington, DC
Adjoint to the Austrian science talks in Washington, DC, our group participated in a joint workshop between CMACS and RiSE.
[Read More...]