Aaron Bradley is visiting our group for June 2013, and teaching a course on IC3.

After a postdoc in Daniel Kroening’s group, FORSYTE alumnus Michael Tautschnig is joining Queen Mary as a Lecturer. Congratulations!

Doron Peled is visiting our group for a month in May 2013.

We are co-organizing the Austrian Computer Science Day 2013 at IST Austria. http://ist.ac.at/austrian-computer-science-day-2013/

Josef Widder is organizing an interdisciplinary Dagstuhl workshop http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=13141 This is part of a continuing effort in the RiSE project http://rise.or.at to establish closer links between distributed algorithms and computer-aided verification.