On May 28, 2014, the 3rd SFB 901 seminar in the summer semester will take place.
We will have two talks in this session:
16:00-16:45 (B4)
Title: Integrating Software and Hardware Verification
Speaker: Tobias Wiersema
Abstract
17:00-17:45 (A2)
Title: A Local Heuristic for Latency-Optimized Distributed Cloud Deployment
Speaker: Matthias Keller
Abstract