Seminar on Formal Verification of Distributed Algorithms, 1-5 April, Dagstuhl, Germany

Date: Monday, April 1, 2013

Josef Widder is co-organizing Seminar on Formal Verification of Distributed Algorithms on 1-5 April in Dagstuhl, Germany.
More details at http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=13141.

Posted in Events, News