FORSYTE - Formal Methods in Systems Engineering

TU Vienna Honorary Doctorate to Ed Clarke

veith@forsyte.at — Fri, 13 Jan 2012 17:22:30 +0000

We are glad to announce that TU Vienna will award an honorary doctorate to Ed Clarke.

Edmund M. Clarke is among the leading computer scientists of our times. As a professor at Harvard, and, since 1982, at Carnegie Mellon University, he and his group have not only laid the theoretical and logical foundations of model checking (ACM Turing Award, 2007), but also pioneered model checking as a powerful tool for industrial hardware and software engineering.

On January 26, 2012, as part of the festive opening of the Vienna Center for Logic and Algorithms, Prof. Clarke will be awarded an honorary doctorate from TU Vienna in recognition of his contributions to Computer Science.

Below: Ed Clarke at the Opening Press Conference of the RiSE Network in March 2011

Opening of Vienna Center for Logic and Algorithms (VCLA) on Jan 25

veith@forsyte.at — Fri, 13 Jan 2012 17:18:54 +0000

The Vienna Center for Logic and Algorithms is an initiative of the Faculty of Informatics and funded by a three-year competitive grant of Vienna University of Technology. Embedded into the primary research area Computational Intelligence and the funding priority Computational Logic of the Faculty, the center is promoting international scientific collaboration in logic and algorithms.

We will celebrate the opening of VCLA with a Symposium on January 25. See the VCLA website for details.

Happy New Year 2012!

veith@forsyte.at — Fri, 06 Jan 2012 17:33:40 +0000

The FORSYTE team is wishing our friends, colleagues and students a Happy New Year!

Winter School on Verification

admin — Thu, 08 Dec 2011 08:30:35 +0000

The Austrian Society for Rigorous Systems Engineering (ARiSE) and the Vienna Center for Logic and Algorithms (VCLA) are organizing a joint winter school on verification at Vienna University of Technology from 6-10 February 2012. Apart from ARiSE/VCLA students, the school will be open to outside students.

Details are available from the VCLA website.

Joint PUMA/ARiSE Workshop in Traunkirchen

admin — Mon, 10 Oct 2011 13:21:11 +0000

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):

Helmut Veith is a founding member of the Austrian Society for Rigorous Systems Engineering

admin — Fri, 28 May 2010 10:33:27 +0000

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.

CfP: Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2 2010)

admin — Tue, 30 Mar 2010 23:32:40 +0000

The annual Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) is a forum that brings together researchers working on formal methods for concurrency, and those working on advanced parallel applications. Its goal is to stimulate incubation of ideas leading to future concurrent system design an verification tools that are essential in the multi-core era.