Dagstuhl Workshop "Formal Verification of Distributed Algorithms" coorganized by Josef Widder
Thursday, Mar 21, 2013Josef 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.