Dagstuhl Workshop "Formal Verification of Distributed Algorithms" coorganized by Josef Widder

Thursday, Mar 21, 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.