====== Lectures: Safety Analysis for Wireless Embedded Networks ======

We are pleased to announce a series of lectures by [[http://www.cs.utah.edu/~regehr/|Dr. John Regehr]] from the University of Utah, USA. His lectures will cover a broad range of safety analysis techniques for wireless embedded networks. More information can be found [[http://ds.informatik.rwth-aachen.de/teaching/ws0910/wsn_safety/|here]].