October 2011
October 10, 2011No Comments
From October 3–7 2011 PUMA and ARiSE held a joint workshop in Traunkirchen. Further information is available from the workshop’s website. Photos by Damien Zufferey (full gallery):
Continue reading
Latest News
CAV 2013 in St. Petersburg!
October 10, 2012
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”
October 3, 2012
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
September 27, 2012
Adjoint to the Austrian science talks in Washington, DC, our group participated in a joint workshop between CMACS and RiSE.
[Read More...]Full news archive
See all news.