Begin: Wed, 28. of May 2014 ( 4:00 PM)
Location: Fürstenallee 11, Room F0.530
On May 28, 2014, the 3rd SFB 901 seminar in the summer semester will take place.
16:00-16:45 (B4)
Title: Integrating Software and Hardware Verification
Speaker: Tobias Wiersema
<link file:51587 file>Abstract
17:00-17:45 (A2)
Title: A Local Heuristic for Latency-Optimized Distributed Cloud Deployment
Speaker: Matthias Keller
<link file:51585 file>Abstract
