ICE-TCS Lectures Series - Marcel Kyas - Towards Formal Methods for Wireless Networks

On Friday, the 21st of August, Marcel Kyas (Freie Universitaet Berlin, Germany) delivers an ICE-TCS seminar.

The talk, which is entitled Towards Formal Methods for Wireless Networks, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1).

The abstract for the talk is available here.